Новости    Библиотека    Энциклопедия    Биографии    Карта сайта    Ссылки    О проекте




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

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. Теорема доказана. На основании этой теоремы можно утверждать, что некоторое число не может быть построено с помощью только циркуля и линейки, как только установлено, что это число является корнем кубического уравнения с рациональными коэффициентами, не имеющего рациональных корней. Теперь мы можем перейти к рассмотрению двух других проблем древности; заметим, что каждая из них облекается в алгебраическую форму не столь непосредственно, как уже рассмотренная.

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




ИНТЕРЕСНО:

Многомерный математический мир… в вашей голове

В школах Великобритании введут китайские учебники математики

Найдено самое длинное простое число Мерсенна, состоящее из 22 миллионов цифр

Как математик помог биологам совершить важное открытие

Математические модели помогут хирургам

Почему в математике чаще преуспевают юноши

Физики-практики откровенно не любят математику

В индийской рукописи нашли первое в истории упоминание ноля

Вавилонская глиняная табличка оказалась древнейшей «тригонометрической таблицей» в мире

Ученые рассказали о важной роли игр с пальцами в обучении детей математике
Пользовательского поиска

© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2018
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'MathemLib.ru: Математическая библиотека'
Рейтинг@Mail.ru