Wyznaczyć wszystkie funkcje
, spełniające dla dowolnych
warunek
![]() |
Uwaga:
oznacza zbiór liczb rzeczywistych.
I
Zauważmy, że funkcja stała, równa 0 spełnia warunek (1). Załóżmy, że
dla pewnego
. Udowodnimy, że wówczas funkcja
jest różnowartościowa.
Przypuśćmy, że
dla pewnych
. Stosując dwukrotnie (1), otrzymujemy wtedy
![]() |
więc
. Podstawienie
prowadzi do
, a tym samym dowodzi, że
jest różnowartościowa.
Wstawmy
i
do (1). Wtedy
, czyli
. Z różnowartościowości
wynika, że
, a stąd
.
Wykonajmy kolejne podstawienie,
, w równaniu (1). Otrzymujemy
dla wszystkich
i na podstawie różnowartościowości
dochodzimy do wniosku, że
dla wszystkich
. Nietrudno sprawdzić, że taka funkcja spełnia (1).
Podsumowując, warunki zadania spełniają tylko dwie funkcje: funkcja stała
i funkcja identycznościowa
dla
.
II
Lemat. Istnieje liczba rzeczywista
, dla której
.
Dowód lematu. Niech
. Rozważmy dwa przypadki:
Przypadek 1.:
.
Wtedy wstawiamy
do (1) i otrzymujemy
. Stąd, dla
, zachodzi
, więc
.
Przypadek 2.:
.
Wtedy rozważamy następujące podstawienia w (1):
![]() |
Prowadzą one do odpowiednio:
![]() |
W konsekwencji
, co kończy dowód lematu.
Korzystając z powyższego lematu, znajdujemy liczbę
, dla której
. Podstawienie
w (1) prowadzi do
, a zatem
.
Wstawiamy
i
do (1) i otrzymujemy
![]() |
Załóżmy, że
nie jest funkcją zerową, tzn. istnieje liczba
, dla której
. Wtedy, ze względu na (2),
. Wstawiając
do (1) otrzymujemy
, a stąd
. Ostatnia równość i (2) prowadzi do
![]() |
Powyższa równość jest prawdziwa dla dowolnego
, więc możemy ją zapisać jako
dla wszystkich
.
Wykazaliśmy zatem, że jeśli
spełnia (1), to
jest funkcją zerową lub funkcją identycznościową. Nietrudno sprawdzić, że obie te funkcje spełniają warunki zadania.