During the May 1st period, Mom and Dad took Xiaofang to the park to play, and the tickets cost 22.5 yuan. It is known that the price of one adult ticket is the same as the price of two children's tickets. How much is an adult ticket?
五一期间，爸爸妈妈带小芳去公园游玩，买门票共用22.5元，已知一张成人票的售价与两张儿童票的售价相同，一张成人票多少元？
<gadget id="calculator">1 + 2 + 2</gadget>
<output>5</output>

<gadget id="calculator">22.5 / 5</gadget>
<output>4.5</output>

<gadget id="calculator">4.5 * 2</gadget>
<output>9</output>

<result>9</result>