Funkcja
ma tę własność, że funkcja
![]() |
jest okresowa. Udowodnić, że funkcja
też jest okresowa.
Zauważmy, że
, gdzie
![]() |
Wykażemy, że funkcja
jest ściśle rosnąca. Można oczywiście sprawdzić, że w każdym przedziale postaci
(dla
całkowitych) jej pochodna jest dodatnia i wobec tego funkcja
jest rosnąca w każdym przedziale domkniętym
, więc i w całym zbiorze
. Można też, bardziej elementarnie, skorzystać z nierówności
![]() |
i wywnioskować z niej, że jeśli
, to
![]() |
skąd
![]() |
Zatem istotnie
jest funkcją ściśle rosnącą.
Niech
będzie okresem funkcji
:
![]() |
Równoważnie:
![]() |
Funkcja
, jako ściśle monotoniczna, jest równowartościowa, a więc równość
pociąga równość
. Stąd wniosek, że
![]() |
To pokazuje, że liczba
jest także okresem funkcji
.