Главная    Почта    Новости    Каталог    Одноклассники    Погода    Работа    Игры     Рефераты     Карты
  
по Казнету 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