The law of cosines:
, ,
when solved for the cosines, give:
, ,
So the identity becomes to show that
On the left side multiply numerator and denominator by LCD = 2abc
Cancel terms that add to zero and collect like terms:
Rearrange the terms of the numerator to factor by grouping,
factor 2ab out of the denominator:
Factor first two terms in numerator as the difference of squares.
Factor -c² out of last two terms in numerator:
Factor (b²-a²) out of numerator:
Cancel (b²-a²)'s
That is the right side of the identity.
Edwin