<s>[INST] $\tan A + \tan B + \tan C = \tan A\tan B\tan C\,$ in a triangle I want to prove this (where each angle may be negative or greater than $180^\circ$):

When $A+B+C = 180^\circ$ \begin{equation*} \tan A  + \tan B + \tan C = \tan A\:\tan B\:\tan C. \end{equation*}

We know that
\begin{equation*}\tan(A+B) = \frac{\tan A+\tan B}{1-\tan A\tan B}\end{equation*} and that \begin{equation*}\text{and that}~A+B = 180^\circ-C.\end{equation*}
Therefore $\tan(A+B) = -\tan C.$
From here, I got stuck.
 [/INST] HINT:
Using $\displaystyle \tan(A+B)=\frac{\tan A+\tan B}{1-\tan A\tan B},$
we can prove $$\tan(A+B+C)=\frac{\sum_\text{cyc}\tan A-\prod \tan A}{1-\sum_\text{cyc}\tan A\tan B}$$
Now, if $A+B+C=n180^\circ,$ where $n$ is any integer we know $\tan(n180^\circ)=0$
</s>