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元，已知一张大人票价与三张小孩票价相等，问一张大人票价多少钱？
<gadget id="calculator">3 * 2</gadget>
<output>6</output>

<gadget id="calculator">6 + 1</gadget>
<output>7</output>

<gadget id="calculator">17.5 / 7</gadget>
<output>2.5</output>

<gadget id="calculator">2.5 * 3</gadget>
<output>7.5</output>

<result>7.5</result>