Kącik początkującego olimpijczyka
Twierdzenie Bézouta
O licznych zastosowaniach faktu, że dla każdego wielomianu w sumie algebraicznej
można wyłączyć przed nawias wyrażenie
Rozważmy wielomian Korzystając ze wzoru

możemy zapisać

(przyjmujemy, że dla
większych od stopnia wielomianu
). Dzięki tej tożsamości mamy trzy następujące twierdzenia.
Twierdzenie 2. Jeśli wielomian ma współczynniki całkowite, to dla różnych liczb całkowitych
i
zachodzi podzielność liczb całkowitych
W szczególności, jeśli
to
dla całkowitych
i
Twierdzenie 1 już zostało wykazane. Aby udowodnić twierdzenie 2, wystarczy zauważyć, że w wyrażeniu wszystkie współczynniki są jednocześnie współczynnikami wielomianu
więc są całkowite. Zatem wartość tego wyrażenia jest również liczbą całkowitą.
Kolej na dowód twierdzenia Bézouta. Niech będzie stałą. Wtedy wyrażenie
jest wielomianem zmiennej
a zapis
jest dzieleniem wielomianu
przez dwumian
z resztą
Uwaga. Jeśli wielomian o współczynnikach całkowitych ma pierwiastek całkowity
to wielomian
również ma współczynniki całkowite.
Dowód pozostawiamy Czytelnikowi.