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.

Solutions Collecting From Web of "How to prove this trignometrical Identities?"

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]$$

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.$

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.