Polynomring über Körper/Eine Variable/Division mit Rest/Fakt/Beweis

Beweis

Wir beweisen die Existenzaussage durch Induktion über den Grad von ${}P$. Wenn der Grad von ${}T$ größer als der Grad von ${}P$ ist, so ist ${}Q=0$ und ${}R=P$ eine Lösung, so dass wir dies nicht weiter betrachten müssen. Bei ${}\operatorname {grad} \,(P)=0$ ist nach der Vorbemerkung auch ${}\operatorname {grad} \,(TP)=0$, also ist ${}T$ ein konstantes Polynom, und damit ist (da $T\neq 0$ und ${}K$ ein Körper ist) ${}Q=P/T$ und ${}R=0$ eine Lösung. Sei nun ${}\operatorname {grad} \,(P)=n$ und die Aussage für kleineren Grad schon bewiesen. Wir schreiben ${}P=a_{n}X^{n}+\cdots +a_{1}X+a_{0}$ und ${}T=b_{k}X^{k}+\cdots +b_{1}X+b_{0}$ mit ${}a_{n},b_{k}\neq 0,\,k\leq n$. Dann gilt mit ${}H={\frac {a_{n}}{b_{k}}}X^{n-k}$ die Beziehung

${}{\begin{aligned}P'&:=P-TH\\&=0X^{n}+{\left(a_{n-1}-{\frac {a_{n}}{b_{k}}}b_{k-1}\right)}X^{n-1}+\cdots +{\left(a_{n-k}-{\frac {a_{n}}{b_{k}}}b_{0}\right)}X^{n-k}+a_{n-k-1}X^{n-k-1}+\cdots +a_{0}.\end{aligned}}$

Dieses Polynom ${}P'$ hat einen Grad kleiner als ${}n$ und darauf können wir die Induktionsvoraussetzung anwenden, d.h. es gibt ${}Q'$ und ${}R'$ mit

$P'=TQ'+R'{\text{ mit }}\operatorname {grad} \,(R')<\operatorname {grad} \,(T){\text{ oder }}R'=0.$

Daraus ergibt sich insgesamt

${}P=P'+TH=TQ'+TH+R'=T(Q'+H)+R'\,,$

so dass also ${}Q=Q'+H$ und ${}R=R'$ eine Lösung ist. Zur Eindeutigkeit sei ${}P=TQ+R=TQ'+R'$ mit den angegebenen Bedingungen. Dann ist ${}T(Q-Q')=R'-R$. Da die Differenz ${}R'-R$ einen Grad kleiner als ${}\operatorname {grad} \,(T)$ besitzt, ist aufgrund der Gradeigenschaften diese Gleichung nur bei ${}R=R'$ und ${}Q=Q'$ lösbar.

Zur bewiesenen Aussage