Proof of sin^2 x + cos^2 x = 1