六一儿童节，爸爸妈妈带小明去公园玩，买门票共用去17.5元，已知一张大人票价与三张小孩票价相等，问一张大人票价多少钱?