Wyznaczyć wszystkie funkcje
przekształcające zbiór dodatnich liczb całkowitych w zbiór dodatnich liczb całkowitych takie, że dla każdych dwóch dodatnich liczb całkowitych
oraz
istnieje niezdegenerowany trójkąt, którego boki mają długości
![]() |
(Trójkąt niezdegenerowany to taki, którego wierzchołki nie leżą na jednej prostej.)
Odpoowiedź: jedyną funkcją spełniającą warunki zadania jest funkcja tożsamościowa,
.
Sprawdzimy, że funkcja
spełnia warunki zadania. Dla funkcji tej i dla dowolnych dodatnich liczb całkowitych
i
zachodzą nierówności:
![]() |
czyli liczby
,
oraz
są długościami boków pewnego niezdegenerowanego trójkąta.
Niech teraz
będzie dowolną funkcją spełniającą warunki zadania. Wykażemy, że dla każdej dodatniej liczby całkowitej
zachodzi równość
.
Najpierw udowodnimy, że
. W tym celu, dla dowolnej dodatniej liczby całkowitej
, rozważmy liczby całkowite 1,
oraz
. Są one długościami boków pewnego niezdegenerowanego trójkąta, zatem spełniona jest nierówność
, czyli
![]() |
Wynika stąd, że gdyby zachodziła nierówność
, wówczas funkcja
byłaby funkcją okresową o okresie
. Byłaby zatem funkcją ograniczoną, czyli dla pewnej dodatniej liczby
zachodziłaby nierówność
dla
. Niech
będzie dodatnią liczbą całkowitą spełniającą nierówność
. Wówczas
co przeczy temu, że istnieje niezdegenerowany trójkąt, którego boki mają długości
,
oraz
. Zatem nie może zachodzić
. Dowiedliśmy w ten sposób, że
.
Niech
będzie dodatnią liczbą całkowitą. Rozważmy trójkąt o bokach mających długości
,
oraz
. Zachodzi nierówność
![]() |
z której wynika, że
. W szczególności oznacza to, że funkcja
jest różnowartościowa.
Niech
. Zauważmy, że
, gdyż
. Ponieważ dla każdej dodatniej liczby całkowitej
liczby 2,
oraz
są długościami boków pewnego niezdegenerowanego trójkąta, więc zachodzi nierówność
![]() |
czyli
![]() |
Stosując indukcję udowodnimy, że
dla
. Wykazaliśmy już, że
. Z kolei
. Załóżmy, że
dla
, gdzie
. Wówczas z (1) wynika, że
jest jedną z liczb
![]() |
Z tego, że funkcja
jest różnowartościowa oraz
wynika, że
![]() |
Tym samym dowiedliśmy, że
dla
.
Aby zakończyć rozwiązanie zadania należy wykazać, że
. Zauważmy, że
![]() |
czyli, wobec różnowartościowości funkcji
, mamy
. Zatem
i
dla
. Tym samym dowiedliśmy, że
dla każdej dodatniej liczby całkowitej
.