The identity is .

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

   (Apply quotient identity: )

                  (Cancel common terms)

                                        (Apply Pythagorean identity: )

is an identity.