- In the right triangle BCD, from the definition of cosine: or,
- Subtracting this from the side b, we see that
- In the triangle BCD, from the definition of sine: or
- In the triangle ADB, applying the Pythagorean Theorem
- Substituting for BD and DA from (2) and (3)
- Multiplying out the parentheses:
- Rearranging the terms:
- Factoring out a
^{2} - Looking at the terms in the parentheses above, recall that this is one of the trig identities, which states that
(See Pythagorean trig identites.)

So the terms in the parentheses can be removed since mutiplying a^{2}by one leaves it unchanged.

(C) 2011 Copyright Math Open Reference.

All rights reserved

All rights reserved