On Children's Day, Mom and Dad took Xiaoming to the park to play, and bought tickets for 17.5 yuan. It is known that the price of one adult ticket is equal to the price of three children's tickets. How much is the price of one adult ticket.
六一儿童节，爸爸妈妈带小明去公园玩，买门票共用去17.5元，已知一张成人票价与3张儿童的票价相等，问一张成人票价多少元．
<gadget id="calculator">1 / 3</gadget>
<output>1/3 = around 0.333333</output>

<gadget id="calculator">1 + 1 + (1/3)</gadget>
<output>7/3 = around 2.333333</output>

<gadget id="calculator">17.5 / (7/3)</gadget>
<output>7.5</output>

<result>7.5</result>