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 .