Sinx-cosy/(siny+cosx)=siny-cosx/(sinx+cosy);
sinx-cosy/(siny+cosx)-siny-cosx/(sinx+cosy)=0
(sinx-cosy)*(sinx+cosy)-(siny-cosx)*(siny+cosx);
(sinx-cosy)*(sinx+cosy)=(siny-cosx)*(siny+cosx);
sin^2x-cos^2y=sin^y-cos^2x;
sin^2x+cos^2x=sin^2y+cos^2y;
1=1
таким образом тождество доказано)