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
.