How to prove this trignometrical Identities? The following two identities comes from my trigonometry module without any sort of proof,
If $A + B + C = \pi $ then,
$$\tan A + \tan B + \tan C = tan A \cdot tan B \cdot tan C$$
and,
$$ \tan \frac{A}{2} \cdot \tan \frac{B}{2} + \tan \frac{B}{2} \cdot \tan \frac{C}{2} + \tan \frac{C}{2} \cdot \tan \frac{A}{2} = 1 $$
PS:I am not much sure about whether the first one is fully correct or not, so if not please suggest the correct one and also I will be grateful if somebody suggest a suitable method (may be using mathematica) to verify an identity like this prior to proving.
 A: If $A+B+C= \pi \Longrightarrow \tan(A+B) = \tan(\pi -C) =-\tan(C)$. So we have $$\tan(A+B)= \frac{\tan(A) + \tan(B)}{1 - \tan(A)\cdot \tan(B)} = -\tan(C) $$ $$\Longrightarrow \tan(A)+\tan(B) = -\tan(C) \cdot \Bigl[1 - \tan(A)\tan(B)\Bigr]$$ from which the first one follows.
And for the second one, we have $\displaystyle\frac{A}{2} + \frac{B}{2} =\frac{\pi}{2}- \frac{C}{2} \Longrightarrow \tan\Bigl(\frac{A+B}{2}\Bigr)= \cot\Bigl(\frac{C}{2}\Bigr)$ Now expanding we have $$\tan\Bigl(\frac{A+B}{2}\Bigr)= \frac{\tan\Bigl(\frac{A}{2}\Bigr) + \tan\Bigl(\frac{B}{2}\Bigr)}{1- \tan\Bigl(\frac{A}{2}\Bigr)\cdot \tan\Bigl(\frac{B}{2}\Bigr)} = \cot\Bigl(\frac{C}{2}\Bigr)$$ Multiplying both sides by $\tan\frac{C}{2}$ we have $$\tan\Bigl(\frac{C}{2}\Bigr) \cdot \Bigl[ \tan\Bigl(\frac{A}{2}\Bigr) + \tan\Bigl(\frac{B}{2}\Bigr) \Bigr] = 1 \cdot \Bigl[ 1 - \tan\Bigl(\frac{A}{2}\Bigr) \cdot \tan\Bigl(\frac{B}{2}\Bigr)\Bigr]$$
A: Hints:
Prelude.
a. If $\alpha+\beta+\gamma=\pi$, then $\gamma=\pi-\alpha-\beta$.
b. $\tan(\pi-\theta)=-\tan(\theta)$
c. $\tan(\alpha+\beta)=\frac{\tan(\alpha)+\tan(\beta)}{1-\tan(\alpha)\tan(\beta)}$
d. $\tan\left(\frac{\pi}{2}-\theta\right)=\frac1{\tan(\theta)}$
Act I.
$$\tan(\alpha)+\tan(\beta)-\frac{\tan(\alpha)+\tan(\beta)}{1-\tan(\alpha)\tan(\beta)}=-\tan(\alpha)\tan(\beta)\frac{\tan(\alpha)+\tan(\beta)}{1-\tan(\alpha)\tan(\beta)}$$
Can the left-hand side be made to look like the right-hand side?
Act II.
$$\tan\left(\frac{\alpha}{2}\right)\tan\left(\frac{\beta}{2}\right)+\left(\tan\left(\frac{\alpha}{2}\right)+\tan\left(\frac{\beta}{2}\right)\right)\left(\frac{\tan\left(\frac{\alpha}{2}\right)+\tan\left(\frac{\beta}{2}\right)}{1-\tan\left(\frac{\alpha}{2}\right)\tan\left(\frac{\beta}{2}\right)}\right)^{-1}$$
Simplify the above expression.
A: More generally, we have from De Moivre's theorem
$$\cos(\alpha_1+\alpha_2+\cdots+\alpha_n)=
\text{Re}\prod_{k=1}^n(\cos \alpha_k + i \sin \alpha_k)$$
and
$$\sin(\alpha_1+\alpha_2+\cdots+\alpha_n)=
\text{Im}\prod_{k=1}^n(\cos \alpha_k + i \sin \alpha_k)$$
and so
$$\tan(\alpha_1+\alpha_2+\cdots+\alpha_n)=
\frac{ \text{Im}\prod_{k=1}^n ( 1 + i \tan \alpha_k) }{  \text{Re}\prod_{k=1}^n(1 + i \tan\alpha_k) }.$$
Consider the case $n=3.$
