Die Summe der beiden Polynome wird berechnet, indem die Koeffizienten \(a_k\) bzw. \(b_k\) der Potenzen \(x^k\) von \(a(x)\) bzw. \(b(x)\) addiert werden. Ist die Potenz \(x^k\) in einem der Polynome nicht vorhanden, dann besitzt der zugehörige Koeffizient \(a_k\) bzw. \(b_k\) den Wert \(0_\mathcal{R}\).
Bei der Summe \(a(x)+b(x)\) handelt es sich um das Nullpolynom. Beim Polynom \(b(x)\) handelt es sich entsprechend um das additive Inverse des Polynoms \(a(x)\).
Ersetzen der Polynome \(a(x)\), \(b(x)\) und \(c(x)\) durch die entsprechenden Summen
(2)
Ausrechnen von \(a(x)+b(x)\) gemäß Definition der Addition von Polynomen
(3)
Addition von \(c(x)\) gemäß Definition der Addition von Polynomen
(4)
Die Gleichheit \((a_k+b_k)+c_k = a_k+(b_k+c_k)\) gilt aufgrund der Assoziativität der Addition im Ring \(\mathcal{R}\), aus dem sämtliche Koeffizienten stammen
(5)
Aufteilen der Summe \(a(x)+\bigl(b(x)+c(x)\bigr)\) auf zwei separate Summen mithilfe der Definition der Addition von Polynomen
(6)
Aufteilen der Summe \(b(x)+c(x)\) auf zwei separate Summen mithilfe der Definition der Addition von Polynomen
(7)
Ersetzen der Summen durch die Polynome \(a(x)\), \(b(x)\) und \(c(x)\)
Kommutativität
Die Addition von Polynomen \(a(x)\) und \(b(x)\) ist kommutativ; es gilt:
\[ a(x) + b(x) = b(x) + a(x). \]
Die Kommutativität der Addition von Polynomen kann wie folgt durch Nachrechnen gezeigt werden:
Die Umformung gilt, da die Addition im Ring \(\mathcal{R}\) assoziativ und kommutativ ist
(3)
Ausrechnen von \(0+a_0\) ergibt \(a_0\), da \(0\) das neutrale Element der Addition im Ring \(\mathcal{R}\) ist.
(4)
Definition des Polynoms \(a(x)\)
Inverses Element
Das inverse Element eines Polynoms \(a(x)\) bezüglich der Polynomaddition ist das Polynom \(-a(x)\), bei dessen Koeffizienten \(-a_k\) es sich um die additiven Inversen der Koeffizienten \(a_k\) des Polynoms \(a(x)\) handelt; es gilt:
Analog kann gezeigt werden, dass das Polynom \(-a(x)\) ebenfalls rechtsinvers zum Polynom \(a(x)\) ist, und dass es sich somit um das additive Inverse handelt:
Ausrechnen der Terme \((-a_k)+a_k\) bzw. \(a_k+(-a_k)\) ergibt \(0\), da es sich im Ring \(\mathcal{R}\) bei \(-a_k\) um das additive Inverse von \(a_k\) handelt