The identity is .

To take the left hand side expression for prove that right hand side expression.

        (Apply Pythagorean identity: )

   (Apply formula: )

                           (Cancel common terms)

is an identity.