In een driehoek met hoeken
en
geldt:
- Als één van de hoeken groter is dan
dan is de cotangens ervan negatief en klopt de eigenschap zeker.
- Veronderstel dus dat alle hoeken scherp zijn, dan is de tangens functie convex en volgt uit de stelling van Jensen dat:
.
- Men kan eenvoudig controleren dat
en dus is
.
- Als we het omgekeerde nemen vinden we dat
.