I have a set of trigonometric equations as follows:
$$\cos^2(x)+\sin^2(y)=1$$ $$\cos(y)\sin(y)=\cos(x)\sin(x)$$
I have tried to plot these two graphs on desmos and it seems that two functions agree on the line $x=y+n\pi$. However, I don't see any clue in getting this relation and I am hard stuck right now.
Could anyone give me some hint on this? Thanks!
edit:Nevermind--I can use double angle formula as @MarkBennet said
– Edi Aug 29 '20 at 20:28