"Six Day" Children's Day, father and mother took Xiaoming Amusement Park, bought tickets to share 87.5 yuan, it is known that the fare of one adult ticket is equal to the fare of three children's tickets, how much is the fare of one child's ticket money?
"六一"儿童节，爸爸、妈妈带小明游乐园，买门票共用去87.5元，已知一张成人票的票价与三张儿童票的票价相等，一张儿童票的票价是多少钱？
<gadget id="calculator">3 + 3 + 1</gadget>
<output>7</output>

<gadget id="calculator">87.5 / 7</gadget>
<output>12.5</output>

<result>12.5</result>