Du forventes å kunne dette beviset til eksamen
For et polynom og et tall gjelder: hvis og bare hvis er en faktor i (nullpunktsetningen/faktorteoremet).
Forutsetninger:
- Polynomdivisjon (se «Polynomdivisjon»): deler du et hvilket som helst polynom på , finnes det ALLTID en kvotient og en rest slik at – der resten er et TALL, siden divisoren har grad .
- Divisjonsidentiteten gjelder for ALLE verdier av , også for selv. Sett inn :
- Dette viser noe generelt, uavhengig av hvilket polynom er: resten i divisjonen med er alltid nøyaktig lik .
- Første retning: anta ER en faktor i . Da er per definisjon resten (ingenting blir til overs ved divisjonen). Siden fra forrige steg, må .
- Andre retning: anta . Fra steget over vet vi , så . Divisjonsidentiteten blir da:
- Uten rest betyr det nøyaktig at er en faktor i . Begge retninger er dermed vist.
er en faktor i