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)
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)
- Nepero, teorema di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
![Modifica su Wikidata](https://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](https://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](https://upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png)