НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

предыдущая главасодержаниеследующая глава

2. Одна теорема о кубических уравнениях

Заключительная часть только что приведенного алгебраического рассуждения была приспособлена к специальному уравнению, которым мы занимались. Но если мы хотим исследовать две другие проблемы древности, то желательно основываться на некоторой теореме общего характера. С алгебраической точки зрения все три проблемы связаны с решением кубического уравнения. Отлично известно, что если х1, х2, х3 - три корня кубического уравнения

z3 + az2 + bz + с = 0, (4)

то они связаны между собой соотношением

х1 + х2 + х3 = -а*. (5)

* (Многочлен z3 + az2 + bz + с можно представить в виде произведения трех множителей (z - x1) (z - х2) (z - х3), где x1, х2, х3 - корни уравнения (4) (см. стр. 130). Отсюда следует тождество

z3 + az2 + bz + с = z3 - (x1 + х2 + х3)z2 + (х1х2 + х2х3 + х1х3) z - х1х2х3,

и так как коэффициенты при одинаковых степенях должны быть равны между собой, то

-a = х1 + х2 + х3, b = х1х2 + х2х3 + х1х3, c = -х1х2х3.

)

Рассмотрим кубическое уравнение (4), в котором коэффициенты а, b, с пусть будут рациональными числами. Может, конечно, случиться, что один из корней уравнения есть рациональное число: например, уравнение х3 - 1 = 0 имеет один корень 1 - рациональный, тогда как два других, удовлетворяющих квадратному уравнению х2 + х + 1 = 0,- мнимые. Но мы сейчас докажем такую общую теорему: если кубическое уравнение с рациональными коэффициентами не имеет рациональных корней, то ни один из его корней не может быть построен с помощью циркуля и линейки, исходя из рационального поля F0.

Доказательство будем вести, как и раньше, косвенным методом. Допустим, что число х, являющееся корнем уравнения (4), допускает построение. Тогда х должно принадлежать некоторому полю Fk, последнему в цепи постепенно расширяемых полей F0, F1, ..., Fk.

Мы, как раньше, имеем право допустить, что никакой корень уравнения (4) не принадлежит полю Fk-1. (Что k не есть нуль, следует как раз из условия теоремы: х не может быть рациональным числом.) Итак, х может быть записано в виде

x = p + q√ω

причем р, q, ω принадлежат полю Fk-1, но ω не принадлежит Fk-1. Такое же самое рассуждение, какое было проведено в предыдущем пункте, приводит к заключению, что число

y = p - q√ω.

также принадлежащее Fk, является корнем уравнения (4). Мы видим, как раньше, что q≠0; значит, х≠y.

Из равенства (5) мы теперь заключаем, что третий корень уравнения (4) дается формулой u = - а - х - y. Но так как x + y = 2р, то, значит,

u = - а - 2р.

Радикал √ω здесь исчез, так что оказывается, что и принадлежит полю Fk-1. Это противоречит сделанному допущению, согласно которому k есть наименьшее целое число, такое, что некоторое поле Fk содержит корень уравнения (4). Придется отвергнуть сделанное допущение, раз оно привело к противоречию, и признать, что ни один из корней уравнения (4) не принадлежит никакому полю Fk. Теорема доказана. На основании этой теоремы можно утверждать, что некоторое число не может быть построено с помощью только циркуля и линейки, как только установлено, что это число является корнем кубического уравнения с рациональными коэффициентами, не имеющего рациональных корней. Теперь мы можем перейти к рассмотрению двух других проблем древности; заметим, что каждая из них облекается в алгебраическую форму не столь непосредственно, как уже рассмотренная.

предыдущая главасодержаниеследующая глава











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru
Поможем с курсовой, контрольной, дипломной
1500+ квалифицированных специалистов готовы вам помочь