由已知的条件,可以得到:
cosx=siny=cos(π/2-y),而x,y的范围是0到π/2,所以x=π/2-y,
另外由第二条式子sin(x-y)=cos(x)=sin(π/2-x) 得到x-y=π/2-x,
结果就出来了.