Somma di arcotangenti

[Pachisi]

Trovare la somma di

$ arctan(1)+arctan(2)+arctan(3) $.

[kobeilprofeta]

$pi$

[Pachisi]

Esatto!
Magari la dimostrazione lasciatela a chi non lo ha gia` visto.

[Sk_Anonymous]

Una dimostrazione grafica

[Pachisi]

Molto interessante. Non l'avevo mai vista.

[kobeilprofeta]

Una non grafica?

[Pachisi]

Intendevo che non avevo mai visto la dimostrazione grafica. A questo punto, se volete, mettete anche una non grafica.

[kobeilprofeta]

Sì, sì... La mia era una proposta verso gli altri, non una domanda non si era capito

[Pachisi]

Ho mal interpretato io.

[veciorik]

Qui ho trovato varie soluzioni http://math.stackexchange.com/questions/197393.
A me piace questa, dove basta il teorema di pitagora:

Disegno le diagonali e l'altezza passante per il centro di un parallelogramma avente base 5, altezza 2 e lato obliquo $sqrt(5)=sqrt(1^2+2^2)$. I 6 angoli al centro hanno le tangenti specificate 1, 2, 3 e assommano a $2pi$.

[gugo82]

"Pachisi":Trovare la somma di

$ arctan(1)+arctan(2)+arctan(3) $.

Ricordiamo la formula della somma di arcotangenti:
\[
\arctan x + \arctan y = \arctan \left( \frac{x+y}{1-xy}\right)\quad \mod \pi
\]
(che si ricava dalla formula di addizione della tangente) e notiamo che, in particolare, risulta:
\[
\arctan x + \arctan y = \arctan \left( \frac{x+y}{1-xy}\right)\qquad \text{, se } |xy|<1\; ;
\]
inoltre, ricordiamo anche che:
\[
\arctan x + \arctan \frac{1}{x} = \frac{\pi}{2}\qquad \text{, se } x>0\; .
\]
Ciò premesso, abbiamo:
\[
\left. \begin{split}
\arctan 2 &= \frac{\pi}{2} - \arctan \frac{1}{2}\\
\arctan 3 &= \frac{\pi}{2} - \arctan \frac{1}{3}
\end{split}\right\}\quad \Rightarrow \quad \arctan 2+\arctan 3 = \pi - \left( \arctan \frac{1}{2} +\arctan \frac{1}{3}\right)
\]
e dunque:
\[
\begin{split}
\arctan 1 + \arctan 2+ \arctan 3 &= \pi + \arctan 1 - \left( \arctan \frac{1}{2} +\arctan \frac{1}{3}\right)\\
&= \pi +\arctan 1 - \arctan \left( \frac{\frac{1}{2} + \frac{1}{3}}{1-\frac{1}{6}}\right)\\
&= \pi +\arctan 1 - \arctan \left( \frac{5/6}{5/6}\right)\\
&= \pi +\cancel{\arctan 1}-\cancel{\arctan 1}\\
&=\pi\; .
\end{split}
\]