Proving (if $x + y +z = 90$) -
$$\cos x (\cos (y - z) - \cos (y +z)) + \cos y (\cos (x - z) - \cos (x + z)) + \cos z (\cos (x -y)- cos (x + y)) = 2 \cos x \cos y \cos z$$
I've no idea about the solution of the Equation. I can't take common and the difference inside the cosine ratios are difficult to be removed.
Question - Prove that -
$$\cot\frac{A}{2} + \cot \frac{B}{2} + \cot \frac{C}{2} = \cot \frac{A}{2} \cot \frac{B}{2} \cot \frac {C}{2}$$ When $A + B + C = 180^o$
I tried to solve it like this here -
Let $\frac{A}{2} = x$, $\frac{B}{2} = y$, and $\frac{C}{2} = z$
Let $\alpha$ = $\cot x + \cot y + \cot z$ $$\Rightarrow \alpha = \frac{\sin y \sin z \cos x + \sin x \cos y \sin z + \sin x \sin y \cos z}{ \sin x \sin y \sin z}$$ $$\Rightarrow \alpha = \frac{\cos x (\cos (y - z) - \cos (y +z)) + \cos y (\cos (x - z) - \cos (x + z)) + \cos z (\cos (x -y)- cos (x + y))}{2 \sin x \sin y \sin z}$$
Now, If I'd be able to prove the numerator as $2 \cos x \cos y \cos z$, then I'd be able to make the whole equation = $\cot \frac{A}{2} \cot \frac{B}{2} \cot \frac {C}{2}$
Hint: use the formulas $$\cot\left(\frac{\alpha}{2}\right)=\sqrt{\frac{s(s-a)}{(s-b)(s-c)}}$$ etc Then Show that $$\sqrt{\frac{s(s-a)}{(s-b)(s-c)}}+\sqrt{\frac{s(s-b)}{(s-a)(s-c)}}+\sqrt{\frac{s(s-c)}{(s-a)(s-b)}}=\sqrt{\frac{s(s-a)s(s-b)s(s-c)}{(s-b)(s-c)(s-a)(s-c)(s-a)(s-b)}}$$ Write the left-hand side as: $$\sqrt{\frac{s^2(s-a)^2}{s(s-a)(s-b)(s-c)}}+\sqrt{\frac{s^2(s-b)^2}{s(s-a)(s-b)(s-c)}}+\sqrt{\frac{s^2(s-c)^2}{s(s-a)(s-b)(s-c)}}$$ and this is $$\frac{1}{A}(s(s-a)+s(s-b)+s(s-c))$$