Tangenttilause

Tangenttilause on euklidisen geometrian perustulos.^[1] Sen mukaan kolmiossa, jonka kaksi kulmaa ovat ${\displaystyle \alpha }$ ja ${\displaystyle \beta }$ ja näitä vastaavien sivujen pituudet ovat ${\displaystyle a}$ ja ${\displaystyle b}$, on voimassa:

${\displaystyle {\frac {a+b}{a-b}}={\frac {\tan {\frac {\alpha +\beta }{2}}}{\tan {\frac {\alpha -\beta }{2}}}}}$.

Sinilauseen mukaan

${\displaystyle {\frac {a}{\sin \alpha }}={\frac {b}{\sin \beta }}.}$

Olkoon

${\displaystyle d={\frac {a}{\sin \alpha }}={\frac {b}{\sin \beta }},}$

jolloin

${\displaystyle a=d\sin \alpha {\text{ ja }}b=d\sin \beta .\,}$

Tällöin

${\displaystyle {\frac {a-b}{a+b}}={\frac {d\sin \alpha -d\sin \beta }{d\sin \alpha +d\sin \beta }}={\frac {\sin \alpha -\sin \beta }{\sin \alpha +\sin \beta }}.}$

Kun käytetään identiteettiä

${\displaystyle \sin(\alpha )\pm \sin(\beta )=2\sin \left({\frac {\alpha \pm \beta }{2}}\right)\cos \left({\frac {\alpha \mp \beta }{2}}\right),\;}$

saadaan

${\displaystyle {\frac {a-b}{a+b}}={\frac {2\sin {\tfrac {1}{2}}\left(\alpha -\beta \right)\cos {\tfrac {1}{2}}\left(\alpha +\beta \right)}{2\sin {\tfrac {1}{2}}\left(\alpha +\beta \right)\cos {\tfrac {1}{2}}\left(\alpha -\beta \right)}}={\frac {\tan[{\frac {1}{2}}(\alpha -\beta )]}{\tan[{\frac {1}{2}}(\alpha +\beta )]}}.}$

• Sinilause
• Kosinilause
• Kotangenttilause