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.