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 ![{\displaystyle {\frac {b+c}{b-c}}={\frac {\tan {\displaystyle {\frac {\beta +\gamma }{2}}}}{\tan {\displaystyle {\frac {\beta -\gamma }{2}}}}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfb1a61380926f73d03b52065f6b057f560b407a)
![{\displaystyle {\frac {c+a}{c-a}}={\frac {\tan {\displaystyle {\frac {\gamma +\alpha }{2}}}}{\tan {\displaystyle {\frac {\gamma -\alpha }{2}}}}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f809381b3d6a10542b8573882dd556f478af2cd)
![{\displaystyle {\frac {a+b}{a-b}}={\frac {\tan {\displaystyle {\frac {\alpha +\beta }{2}}}}{\tan {\displaystyle {\frac {\alpha -\beta }{2}}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44468a622af1cd824b421b0c210b4ec92b39349f)
Dimostrazione
Siano
,
,
le lunghezze dei lati di un triangolo, e siano
,
,
le ampiezze degli angoli opposti, rispettivamente.
![{\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}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd11e6741b83475752bc57a908d3d959c76ef014)
Per il teorema dei seni
,
e
. Sostituendo si ottiene:
(1)
Consideriamo il secondo membro: usando le formule di prostaferesi, la formula di duplicazione del seno e l'identità
diventa
![{\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}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e23421c5f73152464ca2f81e7ada9d2b65b5f4b)
Consideriamo il primo addendo del numeratore del primo membro:
Usando la formula di bisezione del coseno, le formule di prostaferesi, le identità
e
, otteniamo:
![{\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 )=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc20dcad3ace56fa13413570b4fb213aec648d1d)
![{\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 .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5bd1620f8f1ed771b54535eda7e841e0cd893cc)
Allo stesso modo si ottiene che
![{\displaystyle \displaystyle \sin ^{2}\alpha -\sin ^{2}\beta +\sin ^{2}\gamma =2\sin \alpha \cos \beta \sin \gamma .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01f2163bb41cd6b76e386d88cd65caac8c38accb)
Sostituendo le espressioni trovate per il primo e il secondo membro nella (1) e usando la formula di somma del seno, otteniamo
![{\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}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad7ad61c83039937004ae0a6e1cffc12ca9821bc)
Usando la formula di duplicazione del seno otteniamo
![{\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}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdeb62b3ba3e228d84c33c8df0195c2758320ae4)
Collegamenti esterni
- Nepero, teorema di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
![Modifica su Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png)
- (EN) law of tangents, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
![Modifica su Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png)
- (EN) Eric W. Weisstein, Law of Tangents, su MathWorld, Wolfram Research.
![Modifica su Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png)
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica