Tangenttilause on euklidisen geometrian perustulos. Sen mukaan kolmiossa, jonka kaksi kulmaa ovat α {\displaystyle \alpha } ja β {\displaystyle \beta } ja näitä vastaavien sivujen pituudet ovat a {\displaystyle a} ja b {\displaystyle b} , on voimassa:
Sinilauseen mukaan
Olkoon
jolloin
Tällöin
Kun käytetään identiteettiä
saadaan