Niech
będzie liczbą całkowitą dodatnią, a
taką funkcją ciągłą, że
. Udowodnić, że istnieje
takie, że
.
Rozpatrujemy funkcję
określoną i ciągłą w przedziale
. Suma
![]() |
z założenia jest zerem, a więc albo wszystkie jej składniki są równe zeru, albo pewne dwa składniki są różnych znaków. W każdym razie istnieją liczby całkowite
takie, że
. Z ciągłości funkcji
wynika, że w pewnym punkcie
należącym do przedziału o końcach
,
przyjmuje ona wartość
(własność Darboux). Równość
jest zaś równoważna temu, że
. Znaleźliśmy więc punkt
, o który chodziło w zadaniu.
Uwaga: Nie jest trudno pokazać, że podane twierdzenie nie jest prawdziwe dla żadnej liczby
, która nie jest całkowita. Wystarczy wziąć dowolną funkcję
okresową o okresie
, ciągłą i taką, że
,
, i przyjąć
. Tak określona funkcja spełnia warunek
, ale nie spełnia równości
dla żadnego
; równość taka bowiem oznaczałaby, że
, co jest sprzeczne z założeniem okresowości funkcji
.