Главная    Почта    Новости    Каталог    Одноклассники    Погода    Работа    Игры     Рефераты     Карты
  
по Казнету new!
по каталогу
в рефератах

О некоторых применениях алгебры матриц



 Другие рефераты
Политическая борьба в Риме в 60 г. до н.э. Политическая история Полоцкого княжества 12 века Политическая программа декабристов О неопределенных бинарных квадратичных формах

О дипломной работе «О некоторых применениях алгебры матриц».
    Студентки 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]- целое число. Таким
образом, в рассма
12
скачать работу


 Другие рефераты
Применение магнитов
Пастернак Б.Л.
Особенности проявления коммуникативных способностей у детей подросткового возраста
Глобализация


 

Отправка СМС бесплатно

На правах рекламы


ZERO.kz
 
Модератор сайта RESURS.KZ