The identity is

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

(Subtract: )

               (Simplify)

               (Apply Pythagorean identity: )

                           (Divide: ) \ \

  is an identity.