Wyznaczyć wszystkie funkcje
odwzorowujące zbiór wszystkich liczb wymiernych
w siebie spełniające następujące warunki:
a)
,
b)
dla
.
Jeśli funkcja
spełnia warunki a) i b), to funkcja
określona wzorem
spełnia warunki
a') 
oraz
,
, tj.
b')
.
Podstawmy w ostatniej równości
. Otrzymamy
![]() |
więc na mocy a')
![]() |
Stąd
![]() |
Podstawiając w ostatniej równości kolejno
,
wyznaczymy pamiętając o a')
![]() |
![]() |
Przez oczywiste rozumowanie indukcyjne wynika stąd oraz z (*), że
![]() |
dla każdej liczby całkowitej
, oraz
![]() |
dla liczby całkowitej
oraz wymiernej
.
Niech teraz
będzie liczbą całkowitą,
- liczbą naturalną.
Dla wyznaczenia
podstawmy w równości b)
,
.
![]() |
Ponieważ
i
, więc
![]() |
![]() |
Jeśli
, to
, skąd wynika, że
![]() |
Wobec tego
![]() |
Oznacza to, że jeśli funkcja
spełnia warunki a') i b'), to
dla każdego
wymiernego. Wobec tego jeśli funkcja
spełnia warunki a) i b), to
. Z drugiej strony oczywiście funkcja
określona tym wzorem spełnia warunki a) i b). Jedynym rozwiązaniem zadania jest więc funkcja
, określona wzorem
.