Il giorno domenica 17 gennaio 2016 12:41:40 UTC+1, jprintemps ha scritto:
> dimostrare..
Visto che Kiuhnm ha gia' usato il modo migliore, ne scrivo uno ... di serie B o C.
Sia x = atan(1) + atan(2) + atan(3).
Usando la formula di addizione della tangente:
tan (a+b) = [tan(a)+tan(b)/[1-tan(a)*tan(b)]
e ponendo: a = atan(1), b = atan(2), c = atan(3), si ha:
tan(x) = tan[atan(1) + atan(2) + atan(3)] = tan(a+b+c) = tan[(a+b)+c] =
= [tan(a+b) + tan(c)]/[1 - tan(a+b)*tan(c)]. (1)
ma:
tan (a+b) = [tan(a)+tan(b)/[1-tan(a)*tan(b)] = (1+2)/(1-2) = -3; tan(c) = 3
quindi l'ultimo termine della (1) fa: (-3+3)/(1+9) = 0
Cioe' tan(x) = 0. Ma x e' necessariamente maggiore di zero in quanto somma di angoli tutti positivi e maggiori di zero. Inoltre l'angolo piu' grande dei tre, ovvero atan(3), e' inferiore a 120° in quanto arcotangente di un numero positivo, percio' la somma dei tre angoli e' inferiore a 360°.
L'unico angolo maggiore di 0 ed inferiore di 360° la cui tangente e' nulla e' 180° ed e' quindi questo il valore x cercato.
--
BlueRay