Dane są liczby dodatnie
,
. Wykazać równoważność zdań:
![]() |
![]() |
Załóżmy prawdziwość zdania (2). Podstawiając
otrzymujemy nierówność
![]() |
czyli
, czyli jeszcze inaczej:
![]() |
Ponieważ
jest liczbą dodatnią, wynika stąd warunek (1).
Na odwrót, z warunku (1) wyprowadzamy (2), jak następuje. Niech
będzie dowolną liczbą większą od
. Oznaczmy różnicę
przez
; jest to liczba dodatnia. Przekształcamy lewą stronę nierówności w warunku (2):
![]() |
Jeśli spełniony jest warunek (1), to liczba
jest większa od
, więc na mocy powyższego oszacowania wartość wyrażenia
jest większa od
. Liczba
była wybrana dowolnie; mamy więc zdanie (2).
Wykazane implikacje (2)
(1) oraz (1)
(2) składają się na dowód żądanej równoważności.