Niech
będzie takim wielomianem dwóch zmiennych, że dla każdej liczby rzeczywistej
zachodzi równość
. Dowieść, że istnieje taki wielomian
, że ma miejsce tożsamość
![]() |
Uporządkujmy wielomian
względem malejących potęg zmiennej
.
, gdzie
są wielomianami zmiennej
. Traktując
jako pewną wartość ustaloną możemy obliczyć iloraz i resztę z dzielenia wielomianu
przez wielomian
(traktowany jako wielomian zmiennej
).
Otrzymamy
![]() |
gdzie
,
są wielomianami zmiennej
. Podstawiając w powyższej równości
,
otrzymamy
![]() |
gdyż
dla każdego
. Wobec założenia o wielomianie
mamy więc
![]() |
dla każdego rzeczywistego
. Podstawiając w miejsce
liczbę
otrzymamy
![]() |
skąd po dodaniu do poprzedniego równania otrzymamy
. Wielomian
przyjmuje wartość
dla nieskończenie wielu argumentów, gdyż
może być dowolną liczbą z przedziału
. Wynika stąd, że
jest wielomianem zerowym. Mamy więc
dla każdego
, skąd analogicznie wnioskujemy, że
jest wielomianem zerowym. Wobec tego
, gdzie
.