Основные теоремы о системах линейных уравнений

Основные теоремы о системах линейных уравнений. Исследование системы линейных уравнений.

Пусть задана система линейных уравнений Ax b, где A- основная матрица, x- столбец переменных, b - столбец свободных членов.

С помощью элементарных преобразований строк в основной матрице можно построить максимальную систему единичных столбцов.

Кроме того, удалим из расширенной матрицы нулевые строки. Тогда можно считать, что расширенная матрица системы уравнений имеет вид, где в последней строке ведущий элемент обозначен через. Для ненулевого числа возможны два случая а находится до черты, т.е. лежит в основной матрице. Следовательно, в этом случае мы можем написать общее решение совместной системы.

Заметим, что все переменные будут связаны ранг основной матрицы равен числу переменных системы. б находится после черты тогда система несовместна и ранг основной матрицы меньше ранга расширенной матрицы на единицу. Тем самым, мы доказали теорему. Теорема. Пусть - ведущий элемент последней строки приведенной ступенчатой матрицы. Тогда а система совместна находится до черты б система несовместна находится после черты в система является определенной находится до черты и все переменные связанные г система является неопределенной находится до черты и имеется хотя бы одна свободная переменная. 20. Критерии совместности и определенности.

Из приведенной теоремы немедленно вытекают следующие два критерия. Критерий совместности теорема Кронеккера-Капелли. Система Ax b линейных уравнений является совместной ранг основной матрицы равен рангу расширенной матрицы, т.е. rA rAb. Критерий определенности. Система Ax b линейных уравнений от n переменных является определенной ранг основной матрицы равен рангу расширенной матрицы и равен числу переменных в системе, т.е. rA rAb n. 30. Связь между решениями совместной неоднородной и связанной с ней однородной системами линейных уравнений.

Допустим, что дана совместная система линейных уравнений Ax b.1Пусть 0, 1, 2 - частные решения системы 1 ее общее решение. Тогда справедливы равенства A1t b, A2t b. Вычитая почленно из первого второе, на основании известных свойств, получаем 0 A1t - A2t A1t - 2t A1 - 2t, т.е. разность между двумя частными решения системы 1 является решением связанной с ней однородной системы Ax 0.2Если теперь - общее решение системы 2, то имеем A t 0, следовательно, b b 0 A0t A t A0t t A0 t, т.е. сумма частного решения системы 1 и общего решения системы 2 является решением системы 1. Таким образом, справедлива Теорема.

Общее решение совместной неоднородной системы 1 является суммой частного решения системы 1 и общего решения системы 2. Поскольку общее решение однородной системы может быть записано в виде линейной комбинации ФСР, то получаем, что общее решение системы 1 можно записать в следующей параметрической форме 0 11 22 mm, где 0 - какое-нибудь частное решение системы 1 1, 2 m - ФСР системы 2, 1, 2 m - действительные параметры m n - rA. 8. Корни многочлена схема Горнера теорема Безу 10. Корни многочлена.

Определение. Число c называется корнем многочлена f, если fc0. Другими словами, число c является корнем многочлена f, если a0cn a1cn-1 an - 1c an 0. Это равенство означает, что число c является корнем уравнения a0 xn a1xn-1 an - 1 x an 0, при подстановке вместо x числа c получается верное равенство. Поэтому корень многочлена f и корень соответствующего уравнения fx 0 - это одно и то же. Схема Горнера позволяет проверять, является ли данное число c корнем данного многочлена или нет с ее помощью мы как раз и вычисляем значение fc. Если требуется проверить несколько значений c, то для экономии выкладок строят не три отдельные схемы, а одну - объединенную.

Например, для многочлена f 3x5 - 5x4 - 7x2 12 и чисел c 1 1,2 составляется таблица 3-50-701213-2-2-9-93-13-88-1515-32312-3- 60Конечно, при заполнении третьей и четвертой строки таблицы работает только первая строка - строка коэффициентов многочлена f. Мы видим, в частности, что из трех рассмотренных чисел только c 2 является корнем данного многочлена. 20. Теорема Безу. Теорема Безу. Пусть f - многочлен, c - некоторое число. 1. f делится на двучлен x - c тогда и только тогда, когда число c является его корнем. 2. Остаток от деления f на x - c равен fc. Доказательство. Сначала мы докажем второе утверждение.

Для этого разделим f c остатком на x - c f x - cq r по определению остатка, многочлен r либо равен 0, либо имеет степень, меньшую степени x - c, т.е. меньшую 1. Но степень многочлена меньше 1 только в случае, когда она равна 0, и поэтому в обоих случаях r на самом деле является числом - нулем или отличным от нуля. Подставив теперь в равенство f x - cq r значение x c, мы получим fс с - cqс r 0, так что действительно r fc, и первое утверждение доказано.

Теперь первое утверждение почти очевидно.

В самом деле, утверждение f делится на x - c означает, что остаток от деления равен 0. Но остаток, по доказанному, равен fc, так что f делится на x - c означает то же самое, что и fc 0. Теорема Безу дает возможность, найдя один корень многочлена, искать далее корни многочлена, степень которого на 1 меньше если fc 0, то f x - cq, и остается решить уравнение qx 0. Иногда этим приемом - он называется понижением степени - можно найти все корни многочлена.

В частности, подобрав один корень кубического уравнения, можно его полностью решить - после понижения степени достаточно решить полученное квадратное уравнение. Решим в качестве примера уравнение x4 - x3 - 6x2 - x 3 0. Целые корни многочлена f x4 - x3 - 6x2 - x 3 должны быть делителями свободного члена, так что это могут быть только числа 1 и 3. При этом 1 не является корнем многочлена f, поскольку сумма его коэффициентов, очевидно, не равна 0. При x -1 имеем схему 1-1-6-1 3-11-2-430Мы видим, что -1 - корень f, и в частном получается многочлен g x3 - 2x2 - 4x 3. Значение x 1 второй раз проверять незачем если бы число 1 было корнем g, то оно было бы и корнем f, что неверно.

А -1 проверить обязательно - ничто не мешает ей быть также и корнем частного g 1-2-43-11-3-14Следовательно, g-1 0. Составим схему Горнера для x 3 1-2-43311-10Следовательно, g3 0, и при делении g на x - 3 получается многочлен x2- x - 1, корни которого 2. Таким образом, многочлен f, а значит, и исходное уравнение имеет 4 корня -1, 3 и 2. 30. Следствия из теоремы Безу. Теорема Безу позволяет частично ответить и на важный теоретический вопрос - Сколько корней может иметь многочлен Теорема.

Многочлен степени n имеет в любом поле не более n корней. Доказательство. Пусть многочлен f степени n имеет k корней, и c -один из его корней. Предположим противное - пусть k n. По теореме Безу, f x - cg, и частное g имеет степень n - 1. Всякий корень f, отличный от c, является одновременно и корнем g если fa 0, то a - cga 0, откуда ga 0, так как a c. Другими словами, многочлен g имеет, по меньшей мере k - 1 n - 1 корень, т.е. число его корней также больше его степени. Но с многочленом g можно провести те же рассуждения, и на втором шагу получить новый многочлен h, число корней которого также больше его степени.

Продолжая таким же образом, мы придем к многочлену степени 2, имеющему больше 2 корней, чего не может быть. Полученное противоречие показывает, что предположение k n неверно, и следовательно, k не больше n, что и требовалось доказать.

Из теоремы о числе корней вытекают два исключительно важных и для теории, и для практики утверждения. Следствие 1. Два многочлена степени, не большей n, принимают одинаковые значения при n 1 значении x тогда и только тогда, когда при каждой степени x они имеют одинаковые коэффициенты. Следствие 2. Два многочлена принимают одинаковые значения при всех значениях x тогда и только тогда, когда при каждой степени x они имеют одинаковые коэффициенты. 9. Разложение многочлена в произведение неприводимых множителей и его единственность 10. Основная теорема арифметики кольца kx. Любой многочлен положительной степени можно разложить в произведение неприводимых сомножителей, и такое представление единственно с точностью до ассоциированности и порядка сомножителей.

Доказательство. 1. Существование.

Индукцией по n докажем, что каждый многочлен f степени n 1 можно разложить в произведение неприводимых сомножителей. Основанием индукции при n 1 служит тривиальное разложение f f. Сделав индуктивное предположение, рассмотрим многочлен f степени n. Если f - неприводим, то разложение имеет вид f f если же f - приводим, то его можно записать в виде f gh, где степени g, h меньше степени f. По предположению индукции многочлены g и h можно разложить на неприводимые сомножители g p1p2 ps, h q1q2 qt, поэтому f p1p2 psq1q2 qt. 2. Единственность.

Предположим, что некоторый многочлен f имеет два разложения на неприводимые сомножители f p1p2 ps, f q1q2 qt, тогда p1p2 ps q1q2 qt. Левая часть последнего равенства делится на p1, значит, правая часть также делится на p1. По основному свойству неприводимого многочлена на p1 делится либо q1, либо q2 либо qt. Изменяя, если надо нумерацию сомножителей, можно считать, что p1 делит q1, и поскольку q1 неприводим, то они ассоциированы, т.е. для некоторого числа c верно p1 cq1. Значит, сокращая на p1 обе части равенства p1p2 ps p1q2 qt, получаем p2 ps cq2 qt. Обозначим данное произведение через m, и заметим, что deg m deg f. По предположению индукции можно считать, что для m выполнено утверждение теоремы, т.е. левая часть последнего равенства отличается от правой либо перестановкой сомножителей, либо их ассоциированностью, значит, и в исходном равенстве p1p2 ps q1q2 qt s t и одна часть отличается от другой только порядком сомножителей и их ассоциированностью.

Пример.

Разложить x6 - 1 на неприводимые множители над Q. Решение. x6 - 1 x3 - 1x3 1 x - 1 x2 x 1x 1 x2 - x 1. 20. Каноническое разложение числа. Обозначим через k - множество неприводимых нормированных многочленов над полем k. Тогда произвольный многочлен f представим в виде произведения, где ai 0, pi k, ck. Указанное разложение однозначно определяется многочленом f и называется его каноническим разложением число ai называется показателем pi в каноническом разложении.

Канонические разложения удобны для доказательства различных свойств делимости и вычисления НОД и НОК. Приведем важнейшие из них. 10. f делит g a1 b1, a2 b2 an bn. Доказательство. Пусть g fh, a1 b1, h. Тогда b1 a1 c1 b1, что невозможно. Обратное утверждение очевидно. 20. Пусть имеются канонические разложения многочленов f и g f, g. Тогда НОДf, g , НОКf, g , где ci min ai, bi, di max ai, bi. Доказательство. Пусть, где ci min ai, bi. Тогда по свойству 10 многочлен является делителем многочленов f и g и всякий общий делитель f и g делит многочлен. Следовательно, НОДf, g. Аналогично доказывается и второе утверждение.

Из свойства 20 немедленно вытекает свойство 30. Связь между НОД и НОК. НОДf, g НОКf, g f g. 10. Теорема о строении простого алгебраического расширения 10. Понятие минимального многочлена. Пусть - алгебраическое число над полем k, т.е. корень ненулевого многочлена с коэффициентами из поля k. Определение. Нормированный многочлен, k, x над полем k называется минимальным многочленом числа, если выполнены условия а x - неприводим над полем k, т.е. не разлагается в произведение многочленов положительной степени с коэффициентами из k б 0, т.е корень многочлена x. Примеры. i - 1i , Q, xx2 1x2 - 5x2 2x - 1x4 - 4x2 1620. Основные свойства минимальных многочленов. 1. Если fx kx и f 0, то fx делится на минимальный многочлен х числа. Доказательство.

В самом деле, предположив, что f не делится на, запишем f g r, deg r deg на основании теоремы о делении с остатком.

Откуда r0. Поскольку многочлены r и взаимно просты, то у них не может быть общих корней - противоречие. 2. Допустим, что - алгебраическое число, а gx - нормированный многочлен наименьшей положительной степени такой, что gx kx и g 0. Тогда gx - минимальный многочлен числа. Доказательство немедленно вытекает из свойства 1. 3. Минимальный многочлен алгебраического числа над данным полем определен однозначно. Для доказательства достаточно применить свойство 2. Определение.

Степень минимального многочлена числа называется степенью числа обозначение deg k . 4. k deg k 1. Доказательство немедленно получается из определений. 5. Если - алгебраическое число степени n, то 1 2, n-1 линейно независимы над полем k, т.е. c0, c1, cn-1 k c0 c1 cn-1n-1 0 возможно только в случае c0 c1 cn-1 0. Доказательство. Действительно, если указанные степени числа линейно зависимы, то это число является корнем некоторого многочлена над k, степени меньшей чем . 6. Пусть - алгебраическое число, fx kx и f 0. Тогда дробь представима в виде g для некоторого gx kx. Доказательство.

В самом деле, многочлены f и взаимно просты иначе f делился бы на, значит, по теореме о линейном представлении НОД для некоторых многочленов g и h над k верно равнство fg h 1. Откуда f g 1, что и требовалось. 30. Строение простых алгебраических расширений. Определение. Пусть k - подполе в L L. Наименьшее подполе в L, содержащее число и подполе k, обозначаемое k, называется простым расширением поля k говорят также, что k получено присоединением к полю k числа. Из приведенных свойств легко вывести теорему.

Теорема о строении простого алгебраического расширения. Для любого алгебраического числа над полем k линейное пространство k обладает базисом из элементов вида 1 2 n-1, где n degk. Доказательство. Легко понять, что k состоит из дробей fg, где fx, gx - многочлены над полем k и g 0. Обозначим через k - кольцо значений многочленов в точке, т.е. k ffx kx. Из свойства 6 вытекает равенство k k. Из теоремы о делении с остатком следует, что значение произвольного многочлена над полем k в точке является линейной комбинацией над полем k указанных в теореме степеней элемента. Наконец, из свойства 5 следует линейная независимочть над полем k этих степеней. 40. Освобождение от иррациональности в знаменателе дроби.

Разберем различные способы решения задачи об освобождении от иррациональности в знаменателе дроби. Принципиальная возможность ее решения вытекает из теоремы о строении простого алгебраического расширения.

Пример 1. Освободиться от иррациональности в знаменателе дроби. Решение. Обозначим через c число, и воспользуемся известной формулой суммы членов геометрической прогрессии 1 c c2 c3 c4 c5 - 1c - 1 1c - 1, следовательно Пример 2. Освободиться от иррациональности в знаменателе дроби. Решение. Обозначим через c число, и запишем сначала дробь в виде суммы простейших. Теперь, используя схему Горнера, каждую из указанных дробей можно заменить на многочлен относительно c. Сначала разделим c5 - 2 на c 1 10000-2-11-11-11-3 следовательно, c4 - c3 c2 - c 1. Теперь разделим c5 - 2 на c 2 10000-2-21-24-816-34 следовательно, c4 - 2c3 4c2 - 8c 16. Тогда получаем 34c4 - c3 c2 - c 1 - 3c4 - 2c3 4c2 - 8c 16 31c4 - 40c3 22c2 - 10c - 14, т.е Пример 3. Освободиться от иррациональности в знаменателе дроби. Решение.

Обозначим через c число. Найдем линейное представление НОД многочленов fx x3 - 2 и gx 1 2x - x2 fx - gxx 2 rx, где rx 5x -5gx rxx - 2 - 5. Из этих равенств, получаем линейное представление НОД fx и gx fxx - 2 gxx2 1 5. Подставляя в последнее равенство вместо x число c, получим c2 1, следовательно Пример 4. Освободиться от иррациональности в знаменателе дроби. Решение.

Обозначим через c число и применим метод неопределенных коэффициентов. По теореме о строении простого алгебраического расширения существуют рациональные числа x, y, z такие, что xc2 yc z или 89 c2 16c - 11xc2 yc z. Раскрывая скобки и используя равенство c3 2, получаем 89 32x 2y - 11z 2x - 11y 16zc -11x 16y zc2. Так как числа 1, c, c2 линейно независимы над Q имеем 32x 2y - 11z 89, 2x - 11y 16z 0, -11x 16y z 0. Решением последней системы является набор чисел 3, 2, 1. Значит, получаем ответ.