MathLabs

Problem 2

If aa, bb, and cc are the sides and α\alpha, β\beta, and γ\gamma are the respective angles of a triangle for which a+b=tan⁡γ2(atan⁡α+btan⁡β)a+b=\tan\frac{\gamma}{2}\left(a\tan\alpha+b\tan\beta\right), prove that the triangle is isosceles.
Step 1 of 6: Clear the tangents from the hypothesis
In plain words

Turning a mixed tangent identity into one polynomial equation in sines and cosines makes the angle-addition formulas usable in the next step.

(a+b)cos⁡αcos⁡βcos⁡γ2=asin⁡αcos⁡βsin⁡γ2+bcos⁡αsin⁡βsin⁡γ2(a+b)\cos\alpha\cos\beta\cos\frac{\gamma}{2} = a\sin\alpha\cos\beta\sin\frac{\gamma}{2} + b\cos\alpha\sin\beta\sin\frac{\gamma}{2}
Detailed analysis

Write tan⁡α=sin⁡αcos⁡α\tan\alpha=\frac{\sin\alpha}{\cos\alpha}, tan⁡β=sin⁡βcos⁡β\tan\beta=\frac{\sin\beta}{\cos\beta}, tan⁡γ2=sin⁡(γ/2)cos⁡(γ/2)\tan\frac{\gamma}{2}=\frac{\sin(\gamma/2)}{\cos(\gamma/2)} in a+b=tan⁡γ2(atan⁡α+btan⁡β)a+b=\tan\frac{\gamma}{2}(a\tan\alpha+b\tan\beta), then multiply both sides by cos⁡αcos⁡βcos⁡γ2\cos\alpha\cos\beta\cos\frac{\gamma}{2} to clear every denominator.