How do you verify #sin^2 x + sin^2(pi/2 -x) = 1#?
On the trig unit circle:
Construct a right angled triangle with angles
Then the side opposite the angle
By Pythagoras theorem, the sum of the squares of the lengths of these sides is equal to the square of the length of the hypotenuse.