Давайте рассмотрим многочлен \( P(x) = x^n - a^n \), где \( n \in \mathbb{N} \). Мы хотим доказать, что этот многочлен делится на \( x - a \) и найти частное от деления.
- Доказательство делимости.
Согласно теореме о вычитании многочленов, если \( P(a) = 0 \), то \( P(x) \) делится на \( x - a \). Посчитаем значение многочлена \( P(x) \) в точке \( x = a \):
\[ P(a) = a^n - a^n = 0. \]
Так как \( P(a) = 0 \), мы можем утверждать, что многочлен \( x^n - a^n \) действительно делится на \( x - a \).
- Нахождение частного от деления.
Чтобы понять, на что делится \( P(x) \), мы можем воспользоваться формулой разности квадратов для случая, когда \( n \) четное, и методом индукции для общего случая.
Для \( n = 1 \): \[ P(x) = x - a, \] частное равно \( 1 \).
Для \( n = 2 \): \[ x^2 - a^2 = (x - a)(x + a), \] здесь частное равно \( x + a \).
Теперь, предположим, что для некоторого \( k \in \mathbb{N} \) многочлен \( x^k - a^k \) делится на \( x - a \) и его частное равно \( Q_k(x) \).
Для \( n = k + 1 \): \[ x^{k+1} - a^{k+1} = x^{k+1} - a x^k + a x^k - a^{k+1} = (x - a)(x^k + a^k) + a(x^k - a^k). \]
Используя индукционный предпосыл, \( x^k - a^k = (x - a)Q_k(x) \), мы можем переписать:
\[ x^{k+1} - a^{k+1} = (x - a)(x^k + a^k) + a(x - a)Q_k(x). \]
Таким образом, в конечном итоге мы можем выразить \( P(x) \) как:
\[ P(x) = (x - a)Q_{n}(x), \] где \( Q_n(x) = x^{n-1} + x^{n-2}a + x^{n-3}a^2 + ... + a^{n-1} \).
Таким образом, многочлен \( x^n - a^n \) делится на \( x - a \), а частное от деления равно \( Q_n(x) = x^{n-1} + x^{n-2}a + x^{n-3}a^2 + ... + a^{n-1} \).