如何证明方程的解可表为{(x=x0-bt,y=y0+at)|t为任意整数}