Dane są takie trzy liczby nieujemne
, że suma każdych dwóch jest nie mniejsza od pozostałej. Dowieść, że
![]() |
Zastosujemy nierówność
![]() |
którą można wyprowadzić z własności funkcji pierwiastkowej, albo udowodnić bezpośrednio jak następuje. Podnosząc obustronnie do kwadratu otrzymujemy nierówność równoważną
![]() |
którą następnie przekształcamy do postaci
![]() |
Cztery powyższe nierówności są oczywiście równoważne, a ostatnia jest spełniona dla wszystkich nieujemnych
,
.
W nierówności (1) podstawiamy
,
i dostajemy
![]() |
Analogicznie
![]() |
i
![]() |
Po dodaniu tych nierówności otrzymujemy
![]() |
Uwaga. Jeśli liczby
,
,
są różne, to każdą z powyższych nierówności można zastąpić przez nierówność ostrą.