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 2 of 6: Group by aa and bb using angle addition
In plain words

Recognizing cos⁡θcos⁡ϕ−sin⁡θsin⁡ϕ\cos\theta\cos\phi-\sin\theta\sin\phi as cos⁡(θ+ϕ)\cos(\theta+\phi) collapses four trig terms into two clean cosine factors.

acos⁡βcos⁡(α+γ2)+bcos⁡αcos⁡(β+γ2)=0a\cos\beta\cos\left(\alpha+\frac{\gamma}{2}\right) + b\cos\alpha\cos\left(\beta+\frac{\gamma}{2}\right) = 0
Detailed analysis

Move every term to one side and factor: the aa-terms combine as acos⁡β(cos⁡αcos⁡γ2−sin⁡αsin⁡γ2)a\cos\beta(\cos\alpha\cos\frac{\gamma}{2}-\sin\alpha\sin\frac{\gamma}{2}) and the bb-terms as bcos⁡α(cos⁡βcos⁡γ2−sin⁡βsin⁡γ2)b\cos\alpha(\cos\beta\cos\frac{\gamma}{2}-\sin\beta\sin\frac{\gamma}{2}). Each parenthesis equals cos⁡(θ+γ2)\cos(\theta+\frac{\gamma}{2}) by the cosine addition formula, giving the stated identity.