Liczby
,
,
należą do przedziału
. Udowodnić, że
![]() |
Wykażemy, że dla dowolnych liczb
,
,
należących do przedziału
zachodzi nierówność
![]() |
Istotnie: jeśli
, to powyższa nierówność jest spełniona. Dla
zależność (1) jest równoważna nierówności
, którą można zapisać jako
![]() |
Ostatnia nierówność jest spełniona - wynika ona bezpośrednio z zależności
,
,
. To kończy dowód własności (1).
Analogicznie dowodzimy, że
![]() |
Dodając stronami nierówności (1) oraz (2) uzyskujemy tezę.