高中三角函数证明y=-t^2/2 + 1/2