Pythagorean identity

Angle sum and difference identities

Derive