Разложение полинома на множители - История изменений

СВ в 13:04, 25 октября 2026

2026-10-25T13:04:54Z

← Предыдущая		Версия 13:04, 25 октября 2026
Строка 22:		Строка 22:

	[[Файл:p01-03-01-factorization-tree.svg\|frame\|none\|800px\|alt=Шесть линейных множителей полинома 2(x − 1)³(x + 2)²(x − 5), сгруппированных по кратностям 3, 2 и 1\|Рис. 1. Шесть линейных множителей полинома <math>f(x)=2(x-1)^3(x+2)^2(x-5)</math>: одинаковые множители собраны в степени, а сумма кратностей <math>3+2+1=6</math> равна степени полинома.]]		[[Файл:p01-03-01-factorization-tree.svg\|frame\|none\|800px\|alt=Шесть линейных множителей полинома 2(x − 1)³(x + 2)²(x − 5), сгруппированных по кратностям 3, 2 и 1\|Рис. 1. Шесть линейных множителей полинома <math>f(x)=2(x-1)^3(x+2)^2(x-5)</math>: одинаковые множители собраны в степени, а сумма кратностей <math>3+2+1=6</math> равна степени полинома.]]

			[[Файл:p01-03-02-multiplicity-graph.svg\|frame\|none\|800px\|alt=График 2(x − 1)³(x + 2)²: касание оси в точке −2 и переход через ось в точке 1\|Рис. 2. Что даёт кратность: при <math>x=-2</math> множитель <math>(x+2)^2</math> не меняет знак — кривая касается оси; при <math>x=1</math> множитель <math>(x-1)^3</math> меняет знак — кривая переходит на другую сторону.]]

	----		----

	Конспект: [[Алгебра и геометрия]]		Конспект: [[Алгебра и геометрия]]

СВ в 13:03, 25 октября 2026

2026-10-25T13:03:41Z

← Предыдущая		Версия 13:03, 25 октября 2026
Строка 20:		Строка 20:
	Т.к. кольцо полиномов над полем {{---}} область целостности, то можно сократить обе части равенства на <math>x - c_1</math>, получив <math>a_0(x - c_2)(x - c_3) \dots (x - c_n) = a_0(x - c_2^\prime)(x - c_3^\prime) \dots (x - c_n^\prime)</math>. В силу индуктивного предположения эти разложения совпадают. Следовательно совпадают и исходные разложения <math>f(x)</math>.		Т.к. кольцо полиномов над полем {{---}} область целостности, то можно сократить обе части равенства на <math>x - c_1</math>, получив <math>a_0(x - c_2)(x - c_3) \dots (x - c_n) = a_0(x - c_2^\prime)(x - c_3^\prime) \dots (x - c_n^\prime)</math>. В силу индуктивного предположения эти разложения совпадают. Следовательно совпадают и исходные разложения <math>f(x)</math>.
	}}		}}

			[[Файл:p01-03-01-factorization-tree.svg\|frame\|none\|800px\|alt=Шесть линейных множителей полинома 2(x − 1)³(x + 2)²(x − 5), сгруппированных по кратностям 3, 2 и 1\|Рис. 1. Шесть линейных множителей полинома <math>f(x)=2(x-1)^3(x+2)^2(x-5)</math>: одинаковые множители собраны в степени, а сумма кратностей <math>3+2+1=6</math> равна степени полинома.]]

	----		----

	Конспект: [[Алгебра и геометрия]]		Конспект: [[Алгебра и геометрия]]

СВ в 16:33, 12 октября 2026

2026-10-12T16:33:26Z

← Предыдущая		Версия 16:33, 12 октября 2026
Строка 20:		Строка 20:
	Т.к. кольцо полиномов над полем {{---}} область целостности, то можно сократить обе части равенства на <math>x - c_1</math>, получив <math>a_0(x - c_2)(x - c_3) \dots (x - c_n) = a_0(x - c_2^\prime)(x - c_3^\prime) \dots (x - c_n^\prime)</math>. В силу индуктивного предположения эти разложения совпадают. Следовательно совпадают и исходные разложения <math>f(x)</math>.		Т.к. кольцо полиномов над полем {{---}} область целостности, то можно сократить обе части равенства на <math>x - c_1</math>, получив <math>a_0(x - c_2)(x - c_3) \dots (x - c_n) = a_0(x - c_2^\prime)(x - c_3^\prime) \dots (x - c_n^\prime)</math>. В силу индуктивного предположения эти разложения совпадают. Следовательно совпадают и исходные разложения <math>f(x)</math>.
	}}		}}

			----

			Конспект: [[Алгебра и геометрия]]

StudentL: Новая страница: «{{Теорема |id=pol |statement= В алгебраически замкнутом поле любой полином $a_0x^n + a_1x^{n-1} + \dots + a_n <...»$

2021-12-27T10:32:43Z

Новая страница: «{{Теорема |id=pol |statement= В алгебраически замкнутом поле любой полином <math>a_0x^n + a_1x^{n-1} + \dots + a_n <...»

Новая страница

{{Теорема
|id=pol
|statement=
В алгебраически замкнутом поле любой полином <math>a_0x^n + a_1x^{n-1} + \dots + a_n </math>, <math>a_0 \neq 0</math>, <math>n \geqslant 1</math>, имеет разложение на линейные множители вида <math>a_0(x - c_1)(x - c_2) \dots (x - c_n)</math>, и такое разложение единственное.
|proof=
Оба утверждения будут доказаны с помощью метода математической индукции по степени полинома.

''Доказательство возможности разложения''. Полином первой степени <math>a_0x + a_1</math> при <math>a_0 \neq 0</math> в любом поле имеет корень <math>c = - \frac{a_1}{a_0}</math>, и <math> a_0x + a_1 = a_0(x - c) </math>.
Пусть теперь <math>n > 1</math>. В силу алгебраической замкнутости полином <math>f(x)</math> имеет по крайней мере один корень <math>c_1</math> и, следовательно, <math>f(x) = (x - c_1) \cdot f_1(x)</math>, где <math>f_1(x) = a_0x^{n-1} + b_1x^{n - 2} + \dots + b_{n-1}</math> {{---}} полином степени <math>n - 1</math>. В силу индуктивного предположения <math>f_1(x) = a_0(x - c_2) \dots (x - c_n)</math>, откуда <math>f(x) = a_0(x - c_1)(x - c_2) \dots (x - c_n)</math>.

''Доказательство единственности разложения''. При <math>n = 1</math> если <math>a_0x + a_1 = a_0(x - c) = a_0(x - c^\prime)</math>, то <math>a_0(c - c^\prime) = 0</math>, откуда <math>c = c^\prime</math>, т.к. <math>a_0 \neq 0</math>.

Пусть теперь <math>n > 1</math> и есть два разложения <math>f(x) = a_0(x - c_1)(x - c_2) \dots (x - c_n) = a_0(x - c_1^\prime)(x - c_2^\prime) \dots (x - c_n^\prime)</math>. $\\$ Положим <math> x = c_1</math>, получим

<math>f(c_1) = 0 = a_0(c_1 - c_1^\prime)(c_1 - c_2^\prime) \dots (c_1 - c_n^\prime)</math>. Т.к. <math>a_0 \neq 0</math>, то без потери общности можно считать, что <math>c_1 = c_1^\prime</math>

и <math>a_0\boldsymbol{(x - c_1)}(x - c_2) \dots (x - c_n) = a_0\boldsymbol{(x - c_1)}(x - c_2^\prime) \dots (x - c_n^\prime)</math>.

Т.к. кольцо полиномов над полем {{---}} область целостности, то можно сократить обе части равенства на <math>x - c_1</math>, получив <math>a_0(x - c_2)(x - c_3) \dots (x - c_n) = a_0(x - c_2^\prime)(x - c_3^\prime) \dots (x - c_n^\prime)</math>. В силу индуктивного предположения эти разложения совпадают. Следовательно совпадают и исходные разложения <math>f(x)</math>.
}}

Разложение полинома на множители - История изменений

СВ в 13:04, 25 октября 2026

СВ в 13:03, 25 октября 2026

СВ в 16:33, 12 октября 2026

StudentL: Новая страница: «{{Теорема |id=pol |statement= В алгебраически замкнутом поле любой полином a_0x^n + a_1x^{n-1} + \dots + a_n <...»

StudentL: Новая страница: «{{Теорема |id=pol |statement= В алгебраически замкнутом поле любой полином $a_0x^n + a_1x^{n-1} + \dots + a_n <...»$