О некоторых применениях алгебры матриц
Другие рефераты
О дипломной работе «О некоторых применениях алгебры матриц».
Студентки 6 курса МФ специальности «математика» Лакуновой З.
В данной дипломной работе рассматривается новые применения матриц в
теории систем линейных уравнений, теории чисел и теории алгебраических
уравнений малых степеней.
В §1 дается новый (матричный) вывод правила Крамера для решения любых
квадратных систем линейных уравнений с неравным нулю определителем.
В §2 получено тождество (1) , которое используется для доказательства
некоторых теоретико-числовых фактов (предложения 1-4); при этом основную
роль играют матрицы- циркулянты и их определители. Здесь попутно доказана
теорема о среднем арифметическом и среднем геометрическом трех
положительных чисел.
В §3 дается новый вывод правила Кардано для решения кубических
уравнений; его можно назвать «матричным выводом» , поскольку он опирается
на свойства циркулянта (третьего порядка).
Считаю, что результаты получения в дипломной работе студентки Лакуновой
З. удовлетворяют требованиям, предъявляемым к дипломным работам, и могут
быть допущены к защите.
Предварительная оценка – «хорошо»
д.ф.-м.н., проф.каф. Г и ВА
/В.Н.Шокуев/
§1. О правиле Крамера
В литературе известны разные способы решения Крамеровой системы
линейных алгебраических уравнений. Один из них – матричный способ – состоит
в следующем.
Пусть дана Крамерова система, т.е. квадратная система [pic] линейных
уравнений с неизвестными [pic]
[pic] (1)
Определитель которой отличен от нуля:
[pic] (2)
Систему (1) можно представить в виде одного матричного уравнения
[pic] (3)
где [pic]- матрица коэффициентов при неизвестных системы (1),
[pic] (4)
[pic]- столбец (Матрица-столбец) неизвестных
[pic]- столбец свободных членов системы (1)
Так как [pic], то матрица [pic] невырожденная и для нее существует обратная
матрица [pic]. Умножив равенство (3) на [pic] (слева), получим
(единственное) решение системы в следующей матричной форме (в
предположении, что она совместима и [pic]- ее решение)
[pic],
где обратная матрица [pic] имеет вид:
[pic]
([pic]-алгебраическое дополнение элемента [pic] в определителе [pic])
Другой известный способ можно назвать методом алгебраических
дополнений. Его использование предполагает владение понятием
алгебраического дополнения [pic] как и в матричном способе, теоремой о
разложении определителя по столбцу (строке), теоремами о замещении и об
аннулировании.
Предлагаемый нами новый метод опирается на теорему Коши-Бине об
определителе произведения матриц.
Суть этого метода можно понять легко, если сначала рассмотрим случай
[pic]. Очевидно, что при [pic] выполняются следующие матричные равенства
(если задана система (1)):
[pic]
[pic]
[pic]
Переходя к определителям в этих равенствах и обозначив определители правых
частей соответственно через [pic] получим формулы Крамера:
[pic] [pic] [pic] ([pic])
[pic] [pic] (Правило Крамера)
Переход к общему случаю Крамеровых систем (1) порядка [pic] ничего по
существу не меняет. Просто следует заметить, что матрица [pic] с
определителем [pic] получается из единичной матрицы заменой [pic]-го
столбца столбцом неизвестных:
[pic] (5)
Теперь из [pic] равенств
[pic] [pic],
где [pic]- матрица, получающаяся заменой [pic]- го столбца матрицы [pic]
столбцом свободных членов системы (1), причем к формулам Крамера, взяв
определители от обеих частей в каждом равенстве:
[pic], откуда ввиду [pic] имеем
[pic] [pic].
(здесь [pic] получается из [pic], как и [pic] из [pic]).
Другой, еще более короткий способ отыскания решения системы (1)
состоит в следующем (по-прежнему [pic]): пусть система (1) совместна и
числа [pic] (после переобозначений) образуют ее решение. Тогда при [pic]
имеем, используя два линейных свойства определителя:
[pic] [pic]
Можно начать и с определителя [pic], в котором вместо свободных
членов в [pic]-м столбце подставлены их выражения согласно (1); используя
соответствующие свойства определителя, получим:
[pic] ([pic]),
откуда и получаются формулы Крамера.
Замечание. Проверка того, что значения неизвестных, определяемые по
формуле Крамера удовлетворяют системе (1), (т.е. образуют решение системы),
производится одним из известных способов.
§2. Применение циркулянтов малых порядков в теории чисел.
Матрица вида:
[pic]
- называется циклической матрицей или циркулянтом (третьего порядка), а ее
определитель – циклическим определителем. Циклическим определителем
некоторые авторы называют также циркулянтом.
Пусть дан циклический определитель (Циркулянт)
[pic].
Прибавив первые две строки к третьей, получим:
[pic].
Вынесем общий множитель [pic] из последней строки:
[pic].
Так как
[pic],
то
[pic].
С другой стороны, по определению детерминанта имеем:
[pic]
Следовательно, выполняется тождество
[pic](1)
Имеет место следующее предложение.
Предложение 1. Уравнение
[pic] (2)
не имеет решений в натуральных числах [pic]
Доказательство: Если [pic]- вещественные положительные числа, не все
равные между собой, то
[pic] (3)
Пусть [pic]- не все равные между собой положительные числа. Тогда
существуют положительные числа [pic] и [pic], не все равные между собой,
такие, что [pic]. К этим числам применим тождество (1). Так как не все
числа [pic] между собой равны, то последний сомножитель правой части
тождества (1) есть число положительное и, следовательно,
[pic],
[pic]. (4)
Так как [pic], то неравенство (4) дает неравенство (3). (Неравенство (3)
можно переписать в виде [pic]; получим известный факт о том, что среднее
арифметическое трех положительных, не равных между собой чисел больше их
среднего геометрического).
Пусть [pic] и [pic]- натуральные числа, удовлетворяющие уравнению
(2). Представляются две возможности: либо числа [pic] все равны между
собой, либо не все эти числа равны друг другу.
В первом случае все они должны быть равны 1, так как она
положительные и [pic], и мы имели бы:
[pic]- противоречие.
Значит, не все три числа [pic] равны между собой; поэтому в силу
неравенства (3) имеем
[pic],
откуда
[pic].
Таким образом, доказано что уравнение
[pic]
не имеет решений в натуральных числах [pic].
Предложение 2. Уравнение
[pic]
разрешимо в натуральных числах [pic].
Доказательство: удовлетворяют нашему уравнению. Если не все три числа
[pic] между собой равны, то как мы видели в ходе доказательства Предложения
(1), выполняется неравенство
[pic]
- противоречие. Таким образом, должно быть [pic], и из нашего уравнения
следует, что каждое из этих чисел равно 1, так что [pic].
Поэтому получаем
[pic].
Итак, мы доказали, что заданное уравнение имеет бесконечно много
решений в натуральных числах [pic].
Предложение 3. Произведение двух чисел, каждое из которых является суммой
двух квадратов, представимо в виде суммы двух квадратов.
Доказательство: Рассмотрим следующее произведение двух циклических
матриц (второго порядка)
[pic]
где [pic]- мнимая единица. Переходя к определителям, получим равенство
[pic]. (5)
Предложение 4. Если число представляемое в виде суммы двух квадратов,
делится на простое число, являющееся суммой двух квадратов, то частное
также является суммой двух квадратов.
Доказательство: Пусть число [pic] делится на простое число [pic] вида
[pic]:
[pic].
Требуется доказать, что частное [pic] имеет вид [pic].
Предположим, что задача уже решена, т.е.
[pic], (6)
и с помощью анализа попробуем найти искомые числа [pic] и [pic].
Гипотетическое равенство (6) подсказывает целесообразность рассмотрения
матричных равенств.
[pic]
и
[pic]
перемножив правые части этих равенств, получим:
[pic]
[pic]
отсюда имеем:
[pic]
[pic]
[pic] (7)
[pic] (8)
[pic]. (9)
Так как [pic]- простое число и [pic] делит [pic], то равенство (9)
показывает, что [pic] или [pic] делится на [pic].
Пусть [pic]. Тогда из тождества
[pic],
верного в силу (5) следует, что на [pic] делится и число [pic], а поскольку
[pic]- простое, [pic], так что в силу (7) [pic]- целое число. Таким
образом, в рассма
| |  скачать работу |
Другие рефераты
| 
