Teorema di Nepero

Niente fonti!
Questa voce o sezione sull'argomento geometria non cita le fonti necessarie o quelle presenti sono insufficienti.

In matematica, il teorema di Nepero afferma le seguenti identità, utilizzando la notazione standard per gli elementi di un triangolo:

Un triangolo generico con le comuni notazioni
b + c b c = tan β + γ 2 tan β γ 2 ; {\displaystyle {\frac {b+c}{b-c}}={\frac {\tan {\displaystyle {\frac {\beta +\gamma }{2}}}}{\tan {\displaystyle {\frac {\beta -\gamma }{2}}}}};}
c + a c a = tan γ + α 2 tan γ α 2 ; {\displaystyle {\frac {c+a}{c-a}}={\frac {\tan {\displaystyle {\frac {\gamma +\alpha }{2}}}}{\tan {\displaystyle {\frac {\gamma -\alpha }{2}}}}};}
a + b a b = tan α + β 2 tan α β 2 . {\displaystyle {\frac {a+b}{a-b}}={\frac {\tan {\displaystyle {\frac {\alpha +\beta }{2}}}}{\tan {\displaystyle {\frac {\alpha -\beta }{2}}}}}.}

Dimostrazione

Siano a {\displaystyle a} , b {\displaystyle b} , c {\displaystyle c} le lunghezze dei lati di un triangolo, e siano α {\displaystyle \alpha } , β {\displaystyle \beta } , γ {\displaystyle \gamma } le ampiezze degli angoli opposti, rispettivamente.

b + c b c = ( b + c ) 2 ( b + c ) ( b c ) = a 2 ( b + c ) 2 a 2 ( b + c ) ( b c ) = a 2 b 2 c 2 ( b + c a ) 2 = ( a 2 + b 2 c 2 ) + ( a 2 b 2 + c 2 ) ( a 2 + b 2 c 2 ) ( a 2 b 2 + c 2 ) ( b + c a ) 2 . {\displaystyle {\frac {b+c}{b-c}}={\frac {(b+c)^{2}}{(b+c)(b-c)}}={\frac {a^{2}(b+c)^{2}}{a^{2}(b+c)(b-c)}}={\frac {a^{2}}{b^{2}-c^{2}}}\left({\frac {b+c}{a}}\right)^{2}={\frac {(a^{2}+b^{2}-c^{2})+(a^{2}-b^{2}+c^{2})}{(a^{2}+b^{2}-c^{2})-(a^{2}-b^{2}+c^{2})}}\left({\frac {b+c}{a}}\right)^{2}.}

Per il teorema dei seni a = 2 R sin α {\displaystyle a=2R\sin \alpha } , b = 2 R sin β {\displaystyle b=2R\sin \beta } e c = 2 R sin γ {\displaystyle c=2R\sin \gamma } . Sostituendo si ottiene:

( a 2 + b 2 c 2 ) + ( a 2 b 2 + c 2 ) ( a 2 + b 2 c 2 ) ( a 2 b 2 + c 2 ) ( b + c a ) 2 = ( sin 2 α + sin 2 β sin 2 γ ) + ( sin 2 α sin 2 β + sin 2 γ ) ( sin 2 α + sin 2 β sin 2 γ ) ( sin 2 α sin 2 β + sin 2 γ ) ( sin β + sin γ sin α ) 2 . {\displaystyle {\frac {(a^{2}+b^{2}-c^{2})+(a^{2}-b^{2}+c^{2})}{(a^{2}+b^{2}-c^{2})-(a^{2}-b^{2}+c^{2})}}\left({\frac {b+c}{a}}\right)^{2}={\frac {(\sin ^{2}\alpha +\sin ^{2}\beta -\sin ^{2}\gamma )+(\sin ^{2}\alpha -\sin ^{2}\beta +\sin ^{2}\gamma )}{(\sin ^{2}\alpha +\sin ^{2}\beta -\sin ^{2}\gamma )-(\sin ^{2}\alpha -\sin ^{2}\beta +\sin ^{2}\gamma )}}\left({\frac {\sin \beta +\sin \gamma }{\sin \alpha }}\right)^{2}.\qquad \qquad } (1)

Consideriamo il secondo membro: usando le formule di prostaferesi, la formula di duplicazione del seno e l'identità α + β + γ = π {\displaystyle \displaystyle \alpha +\beta +\gamma =\pi } diventa

( 2 sin β + γ 2 cos β γ 2 2 sin β + γ 2 cos β + γ 2 ) 2 = ( cos β γ 2 cos β + γ 2 ) 2 . {\displaystyle \left({\frac {\displaystyle 2\sin {\frac {\beta +\gamma }{2}}\cos {\frac {\beta -\gamma }{2}}}{\displaystyle 2\sin {\frac {\beta +\gamma }{2}}\cos {\frac {\beta +\gamma }{2}}}}\right)^{2}=\left({\frac {\displaystyle \cos {\frac {\beta -\gamma }{2}}}{\displaystyle \cos {\frac {\beta +\gamma }{2}}}}\right)^{2}.}

Consideriamo il primo addendo del numeratore del primo membro: sin 2 α + sin 2 β sin 2 γ . {\displaystyle \displaystyle \sin ^{2}\alpha +\sin ^{2}\beta -\sin ^{2}\gamma .}

Usando la formula di bisezione del coseno, le formule di prostaferesi, le identità α + β + γ = π {\displaystyle \displaystyle \alpha +\beta +\gamma =\pi } e cos ( π / 2 x ) = sin x {\displaystyle \displaystyle \cos(\pi /2-x)=\sin x} , otteniamo:

sin 2 α + sin 2 β sin 2 γ = 1 cos 2 α + 1 cos 2 β 1 + cos 2 γ = 1 cos 2 α + 1 2 cos 2 β + 1 2 + cos 2 γ = cos 2 γ 1 2 ( cos 2 α + cos 2 β ) = {\displaystyle \sin ^{2}\alpha +\sin ^{2}\beta -\sin ^{2}\gamma =1-\cos ^{2}\alpha +1-\cos ^{2}\beta -1+\cos ^{2}\gamma =1-{\frac {\cos 2\alpha +1}{2}}-{\frac {\cos 2\beta +1}{2}}+\cos ^{2}\gamma =\cos ^{2}\gamma -{\frac {1}{2}}(\cos 2\alpha +\cos 2\beta )=}
= cos 2 γ + cos γ cos ( α β ) = cos γ ( cos γ + cos ( α β ) ) = 2 cos γ cos α β + γ 2 cos α + β + γ 2 = 2 sin α sin β cos γ . {\displaystyle =\cos ^{2}\gamma +\cos \gamma \cos(\alpha -\beta )=\cos \gamma (\cos \gamma +\cos(\alpha -\beta ))=2\cos \gamma \cos {\frac {\alpha -\beta +\gamma }{2}}\cos {\frac {-\alpha +\beta +\gamma }{2}}=2\sin \alpha \sin \beta \cos \gamma .}

Allo stesso modo si ottiene che

sin 2 α sin 2 β + sin 2 γ = 2 sin α cos β sin γ . {\displaystyle \displaystyle \sin ^{2}\alpha -\sin ^{2}\beta +\sin ^{2}\gamma =2\sin \alpha \cos \beta \sin \gamma .}

Sostituendo le espressioni trovate per il primo e il secondo membro nella (1) e usando la formula di somma del seno, otteniamo

b + c b c = 2 sin α sin β cos γ + 2 sin α cos β sin γ 2 sin α sin β cos γ 2 sin α cos β sin γ ( cos β γ 2 cos β + γ 2 ) 2 = sin ( β + γ ) sin ( β γ ) ( cos β γ 2 cos β + γ 2 ) 2 . {\displaystyle {\frac {b+c}{b-c}}={\frac {2\sin \alpha \sin \beta \cos \gamma +2\sin \alpha \cos \beta \sin \gamma }{2\sin \alpha \sin \beta \cos \gamma -2\sin \alpha \cos \beta \sin \gamma }}\left({\frac {\displaystyle \cos {\frac {\beta -\gamma }{2}}}{\displaystyle \cos {\frac {\beta +\gamma }{2}}}}\right)^{2}={\frac {\sin(\beta +\gamma )}{\sin(\beta -\gamma )}}\left({\frac {\displaystyle \cos {\frac {\beta -\gamma }{2}}}{\displaystyle \cos {\frac {\beta +\gamma }{2}}}}\right)^{2}.}

Usando la formula di duplicazione del seno otteniamo

b + c b c = sin ( β + γ ) sin ( β γ ) ( cos β γ 2 cos β + γ 2 ) 2 = 2 sin β + γ 2 cos β + γ 2 2 sin β γ 2 cos β γ 2 ( cos β γ 2 cos β + γ 2 ) 2 = tan β + γ 2 tan β γ 2 . {\displaystyle {\frac {b+c}{b-c}}={\frac {\sin(\beta +\gamma )}{\sin(\beta -\gamma )}}\left({\frac {\displaystyle \cos {\frac {\beta -\gamma }{2}}}{\displaystyle \cos {\frac {\beta +\gamma }{2}}}}\right)^{2}={\frac {\displaystyle 2\sin {\frac {\beta +\gamma }{2}}\cos {\frac {\beta +\gamma }{2}}}{\displaystyle 2\sin {\frac {\beta -\gamma }{2}}\cos {\frac {\beta -\gamma }{2}}}}\left({\frac {\displaystyle \cos {\frac {\beta -\gamma }{2}}}{\displaystyle \cos {\frac {\beta +\gamma }{2}}}}\right)^{2}={\frac {\displaystyle \tan {\frac {\beta +\gamma }{2}}}{\displaystyle \tan {\frac {\beta -\gamma }{2}}}}.}

Collegamenti esterni

  • Nepero, teorema di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013. Modifica su Wikidata
  • (EN) law of tangents, su Enciclopedia Britannica, Encyclopædia Britannica, Inc. Modifica su Wikidata
  • (EN) Eric W. Weisstein, Law of Tangents, su MathWorld, Wolfram Research. Modifica su Wikidata
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica