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.





