Znaleźć wszystkie wielomiany
o współczynnikach rzeczywistych, mające następującą własność: jeśli
jest liczbą wymierną, to
![]() |
jest liczbą wymierną.
Zauważmy najpierw, że warunki zadania są spełnione przez każdy wielomian postaci
, gdzie
i
są liczbami wymiernymi.
Udowodnimy, że są to wszystkie wielomiany o własności podanej w zadaniu.
Niech
będzie wielomianem spełniającym warunki zadania. Dla liczby wymiernej
rozważamy wielomian
. Wielomian
przyjmuje wartości wymierne dla wszystkich argumentów rzeczywistych
, jest więc wielomianem stałym równym
. Stąd wynika, że dla dowolnej liczby całkowitej
zachodzi równość
, czyli
![]() |
Niech
, gdzie
oraz
. Wówczas
oraz dla dowolnej liczby całkowitej n zachodzi równość
![]() |
Zatem wielomian
przyjmuje wartość
dla wszystkich argumentów całkowitych, musi więc być wielomianem zerowym, a w konsekwencji
.