Nog een goniometrische ongelijkheid

In een driehoek met hoeken \alpha,\beta en \gamma geldt:

    \[\cot \alpha.\cot \beta.\cot \gamma \leq \frac{\sqrt{3}}{9}\]

  • Als één van de hoeken groter is dan 90^{\circ} 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:  \tan \alpha +\tan \beta +\tan \gamma \geq 3\tan(\frac{\alpha+\beta+\gamma}{3})=3\sqrt{3}.
  • Men kan eenvoudig controleren dat \tan \alpha +\tan \beta +\tan \gamma =\tan \alpha .\tan \beta .\tan \gamma en dus is  \tan \alpha .\tan \beta .\tan \gamma \geq 3\sqrt{3}.
  • Als we het omgekeerde nemen vinden we dat  \cot \alpha .\cot \beta .\cot \gamma \leq \frac{1}{ 3\sqrt{3}}=\frac{\sqrt{3}}{9}.