Вступ

квадратична формаканонічний вигляд рівняння

Спочатку теорія квадратичних форм використовувалася для дослідження кривих і поверхонь, що задаються рівняннями другого порядку, що містять дві або три змінні. Пізніше ця теорія знайшла інші додатки. Зокрема, при математичне моделюванняекономічних процесів цільові функції можуть містити квадратичні доданки. Численні додатки квадратичних форм зажадали побудови загальної теоріїколи кількість змінних дорівнює будь-якому, а коефіцієнти квадратичної форми не завжди є речовими числами.

Теорія квадратичних форм вперше була розвинена французьким математиком Лагранжем, якому належать багато ідей у ​​цій теорії, зокрема, він ввів важливе поняття наведеної форми, за допомогою якого їм було доведено кінцівку числа класів бінарних квадратичних форм заданого дискримінанта. Потім ця теорія значно була розширена Гауссом, який ввів багато нових понять, на основі яких йому вдалося отримати докази важких і глибоких теорем теорії чисел, що вислизали від його попередників у цій галузі.

Метою роботи є вивчення видів квадратичних форм та способів приведення квадратичних форм до канонічного виду.

У цій роботі поставлені такі завдання: вибрати необхідну літературу, розглянути визначення та основні теореми, вирішити низку завдань з цієї теми.

Приведення квадратичної форми до канонічного вигляду

Витоки теорії квадратичних форм лежать у аналітичної геометрії, А саме в теорії кривих (і поверхонь) другого порядку. Відомо, що рівняння центральної кривої другого порядку на площині, після перенесення початку прямокутних координат до центру цієї кривої, має вигляд

що в нових координатах рівняння нашої кривої матиме «канонічний» вигляд

у цьому рівнянні коефіцієнт при добутку невідомих дорівнює, отже, нулю. Перетворення координат (2) можна тлумачити, очевидно, як лінійне перетворення невідомих, до того ж невироджене, оскільки визначник з його коефіцієнтів дорівнює одиниці. Це перетворення застосовується до лівої частини рівняння (1), і тому можна сказати, що ліва частина рівняння (1) невиродженим лінійним перетворенням (2) перетворюється на ліву частину рівняння (3).

Численні додатки зажадали побудови аналогічної теорії для випадку, коли число невідомих замість двох дорівнює будь-якому, а коефіцієнти є або дійсними, або будь-якими комплексними числами.

Узагальнюючи вираз, що стоїть у лівій частині рівняння (1), ми приходимо до такого поняття.

Квадратичною формою від невідомих називається сума, кожен член якої є або квадратом одного з цих невідомих, або твором двох різних невідомих. Квадратична форма називається дійсною або комплексною залежно від того, чи є її коефіцієнти дійсними або можуть бути будь-якими комплексними числами.

Вважаючи, що у квадратичній формі вже зроблено приведення подібних членів, введемо такі позначення для коефіцієнтів цієї форми: коефіцієнт при позначимо через, а коефіцієнт при добутку для - через (порівняти з (1)!).

Оскільки, проте, то коефіцієнт у своїй творі міг би бути позначений і через, тобто. введені нами позначення припускають справедливість рівності

Член можна записати тепер у вигляді

а всю квадратичну форму - у вигляді суми всіляких членів, де і вже незалежно один від одного набувають значення від 1 до:

зокрема, коли виходить член

З коефіцієнтів можна становити, очевидно, квадратну матрицю порядку; вона називається матрицею квадратичної форми, та її ранг - рангом цієї квадратичної форми.

Якщо, зокрема, тобто. матриця – невироджена, те й квадратична форма називається невиродженою. Зважаючи на рівність (4) елементи матриці А, симетричні щодо головної діагоналі, рівні між собою, тобто. матриця А – симетрична. Назад для будь-якої симетричної матриці А порядку можна вказати цілком певну квадратичну форму (5) від невідомих, що має елементи матриці А своїми коефіцієнтами.

Квадратичну форму (5) можна записати в іншому вигляді, використовуючи множення прямокутних матриць. Умовимося спочатку про таке позначення: якщо дана квадратна або взагалі прямокутна матриця А, то через позначатиметься матриця, отримана з матриці А транспонуванням. Якщо матриці А і В такі, що їх твір визначено, має місце рівність:

тобто. матриця, отримана транспонуванням добутку, дорівнює добутку матриць, що виходять транспонуванням співмножників, причому взятих у зворотному порядку.

Насправді, якщо добуток АВ визначено, то буде визначено, як легко перевірити, і добуток: число стовпців матриці дорівнює кількості рядків матриці. Елемент матриці, що стоїть в її рядку і стовпці, в матриці АВ розташований в рядку і стовпці. Він дорівнює тому сумі творів відповідних елементів рядки матриці А і го стовпця матриці В, тобто. дорівнює сумі творів відповідних елементів го стовпця матриці та й рядки матриці. Цим рівність (6) доведено.

Зауважимо, що матриця А тоді й тільки тоді буде симетричною, якщо вона збігається зі своєю транспонованою, тобто. якщо

Позначимо тепер через стовпець, складений із невідомих.

є матрицею, що має рядків та один стовпець. Транспонуючи цю матрицю, отримаємо матрицю

Складену з одного рядка.

Квадратична форма (5) з матрицею може бути записана тепер у вигляді наступного твору:

Справді, твір буде матрицею, що складається з одного стовпця:

Помножуючи цю матрицю зліва на матрицю, ми отримаємо "матрицю", що складається з одного рядка та одного стовпця, а саме праву частину рівності (5).

Що станеться з квадратичною формою, якщо невідомі, що входять до неї, будуть піддані лінійному перетворенню

Звідси по (6)

Підставляючи (9) та (10) у запис (7) форми, отримуємо:

Матриця В буде симетричною, тому що зважаючи на рівність (6), справедливу, очевидно, для будь-якого числа множників, і рівності рівносильної симетричності матриці, маємо:

Таким чином, доведено таку теорему:

Квадратична форма від невідомих, що має матрицю, після виконання лінійного перетворення невідомих з матрицею перетворюється на квадратичну форму від нових невідомих, причому матрицею цієї форми служить твір.

Припустимо тепер, що ми виконуємо невироджене лінійне перетворення, тобто. а тому і - матриці невироджені. Твір виходить у разі множенням матриці на невироджені матриці і тому, ранг цього твору дорівнює рангу матриці. Таким чином, ранг квадратичної форми не змінюється під час виконання невиродженого лінійного перетворення.

Розглянемо тепер, за аналогією із зазначеною на початку параграфа геометричною задачею приведення рівняння центральної кривої другого порядку до канонічного виду (3), питання про приведення довільної квадратичної форми деяким невиродженим лінійним перетворенням на вигляд суми квадратів невідомих, тобто. до такого виду, коли всі коефіцієнти при творах різних невідомих дорівнюють нулю; цей спеціальний видКвадратичної форми називається канонічним. Припустимо спочатку, що квадратичну форму від невідомих вже наведено невиродженим лінійним перетворенням до канонічного виду.

де – нові невідомі. Деякі коефіцієнти можуть. Звісно, ​​бути нулями. Доведемо, що кількість відмінних від нуля коефіцієнтів (11) неодмінно дорівнює рангу форми.

Справді, оскільки ми прийшли до (11) з допомогою невиродженого перетворення, то квадратична форма, яка стоїть правої частини рівності (11), також має бути рангу.

Однак матриця цієї квадратичної форми має діагональний вигляд

і вимога, щоб ця матриця мала ранг, рівносильне припущенню, що на її головній діагоналі стоїть рівно відмінних від нуля елементів.

Перейдемо до підтвердження наступної основний теореми про квадратичні форми.

Будь-яка квадратична форма може бути наведена деяким невиродженим лінійним перетворенням до канонічного вигляду. Якщо при цьому розглядається дійсна квадратична форма, всі коефіцієнти зазначеного лінійного перетворення можна вважати дійсними.

Ця теорема правильна для випадку квадратичних форм від одного невідомого, тому що будь-яка така форма має вигляд канонічного. Ми можемо, отже, вести підтвердження індукцією за кількістю невідомих, тобто. доводити теорему для квадратичних форм від n невідомих, вважаючи її вже доведеною для форм із меншим числом невідомих.

Пуст дана квадратична форма

від n невідомих. Ми намагатимемося знайти таке невироджене лінійне перетворення, яке виділило з квадрат однієї з невідомих, тобто. призвело б до виду суми цього квадрата та деякої квадратичної форми від інших невідомих. Ця мета легко досягається в тому випадку, якщо серед коефіцієнтів, що стоять у матриці форми на головній діагоналі, є відмінні від нуля, тобто. якщо в (12) входить на відміну від нуля коефіцієнтів квадрат хоча б одного з невідомих

Нехай, наприклад, . Тоді, як легко перевірити, вираз, що є квадратичною формою, містить такі ж члени з невідомим, як і наша форма, а тому різниця

буде квадратичною формою, що містить лише невідомі, але не. Звідси

Якщо ми введемо позначення

то отримаємо

де буде тепер квадратичною формою про невідомих. Вираз (14) є шуканий вираз для форми, оскільки він отриманий з (12) невиродженим лінійним перетворенням, саме перетворенням, зворотним лінійному перетворенню (13), яке має своїм визначником і тому не вироджено.

Якщо ж мають місце рівності, то попередньо потрібно здійснити допоміжне лінійне перетворення, що призводить до появи в нашій формі квадратів невідомих. Оскільки серед коефіцієнтів у записи (12) цієї форми мали бути зацікавленими відмінні від нуля, - інакше було б доводити, - то нехай, наприклад, тобто. є сумою члена та членів, до кожного з яких входить хоча б одне з невідомих.

Зробимо тепер лінійне перетворення

Воно буде невиродженим, оскільки має визначник

В результаті цього перетворення член нашої форми набуде вигляду

тобто. у формі з'являться, з відмінними від нуля коефіцієнтами, квадрати відразу двох невідомих, причому вони не можуть скоротитися з жодним з інших членів, так як у кожен з цих останніх входить хоча б одне з невідомих тепер ми перебуваємо в умовах вже розглянутого вище випадку, тобто. Ще одним невиродженим лінійним перетворенням можемо навести форму виду (14).

Для закінчення доказу залишається відзначити, що квадратична форма залежить від меншого, ніж числа невідомих і тому, за припущенням індукції, деяким невиродженим перетворенням невідомих наводиться до канонічного вигляду. Це перетворення, яке розглядається як (невироджене, як легко бачити) перетворення всіх невідомих, при якому залишається без зміни, призводить, отже, (14) до канонічного вигляду. Таким чином, квадратична форма двома або трьома невиродженими лінійними перетвореннями, які можна замінити одним невиродженим перетворенням – їх твором, наводиться до виду суми квадратів невідомих із деякими коефіцієнтами. Число цих квадратів дорівнює, як ми знаємо, рангу форми. Якщо, крім того, квадратична форма дійсна, то коефіцієнти як у канонічному вигляді форми, так і в лінійному перетворенні, що призводить до цього виду, будуть дійсними; насправді, і лінійне перетворення, зворотне (13), і лінійне перетворення (15) мають дійсні коефіцієнти.

Доказ основної теореми закінчено. Метод, використаний у цьому доказі, може бути використаний у конкретних прикладах для дійсного приведення квадратичної форми до канонічного вигляду. Потрібно лише замість індукції, яку ми використовували у доказі, послідовно виділяти викладеним вище методом квадрати невідомих.

Приклад 1. Привести до канонічного вигляду квадратичну форму

Через відсутність у цій формі квадратів невідомих ми виконаємо спочатку невироджене лінійне перетворення

з матрицею

після чого отримаємо:

Тепер коефіцієнти при відмінний від нуля, і тому з нашої форми можна виділити квадрат одного невідомого. Вважаючи

тобто. здійснюючи лінійне перетворення, для якого зворотне матиме матрицю

ми приведемо до вигляду

Поки що виділився лише квадрат невідомого, оскільки форма ще містить твір двох інших невідомих. Використовуючи нерівність нулю коефіцієнта, ще раз застосуємо викладений вище метод. Здійснюючи лінійне перетворення

для якого зворотне має матрицю

ми наведемо, нарешті, форму до канонічного вигляду

Лінійне перетворення, що приводить (16) відразу до виду (17), матиме своєю матрицею твір

Можна і безпосередньою підстановкою перевірити, що невироджене (оскільки визначник дорівнює) лінійне перетворення

перетворює (16) на (17).

Теорія приведення квадратичної форми до канонічного виду побудована за аналогією з геометричною теорією центральних кривих другого порядку, але не може вважатися узагальненням цієї останньої теорії. Насправді, в нашій теорії допускається використання будь-яких невироджених лінійних перетворень, у той час як приведення кривої другого порядку до канонічного виду досягається застосуванням лінійних перетворень спеціального виду,

є обертанням площини. Ця геометрична теорія може бути, однак, узагальнена у разі квадратичних форм від невідомих з дійсними коефіцієнтами. Виклад цього узагальнення, що називається приведенням квадратичних форм до головних осях, буде дано нижче.

Квадратична форма називається канонічною, якщо всі т. е.

Будь-яку квадратичну форму можна призвести до канонічного вигляду за допомогою лінійних перетворень. Насправді зазвичай застосовують такі способи.

1. Ортогональне перетворення простору:

де - Власні значення матриці A.

2. Метод Лагранжа – послідовне виділення повних квадратів. Наприклад, якщо

Потім подібну процедуру роблять з квадратичною формою і т. д. Якщо у квадратичній формі все але є то після попереднього перетворення справа зводиться до розглянутої процедури. Так, якщо, наприклад, то вважаємо

3. Метод Якобі (у разі, коли всі головні мінори квадратичної форми відмінні від нуля):

Будь-яка пряма на площині може бути задана рівнянням першого порядку

Ах + Ву + С = 0,

причому постійні А, не рівні нулю одночасно. Це рівняння першого порядку називають загальним рівнянням прямої.Залежно від значень постійних А,Ві З можливі такі окремі випадки:

C = 0, А ≠0, В ≠ 0 – пряма проходить через початок координат

А = 0, В ≠0, С ≠0 (By + C = 0) - пряма паралельна осі Ох

В = 0, А ≠0, С ≠ 0 (Ax + C = 0) – пряма паралельна осі Оу

В = С = 0, А ≠0 – пряма збігається з віссю Оу

А = С = 0, В ≠0 – пряма збігається з віссю Ох

Рівняння прямої може бути представлене в різному виглядів залежності від будь-яких заданих початкових умов.

Пряма у просторі може бути задана:

1) як лінія перетину двох площин, тобто. системою рівнянь:

A 1 x + B 1 y + C 1 z + D 1 = 0, A 2 x + B 2 y + C 2 z + D 2 = 0; (3.2)

2) двома своїми точками M 1 (x 1 , y 1 , z 1) і M 2 (x 2 , y 2 , z 2), тоді пряма, через них проходить, задається рівняннями:

= ; (3.3)

3) точкою M 1 (x 1 , y 1 , z 1), що їй належить, і вектором a(m, n, р), їй колінеарним. Тоді пряма визначається рівняннями:

. (3.4)

Рівняння (3.4) називаються канонічними рівняннями прямою.

Вектор aназивається напрямним вектором прямий.

Параметричні рівнянняпрямий отримаємо, прирівнявши кожне із відношень (3.4) параметру t:

x=x1+mt, y=y1+nt, z=z1+рт. (3.5)

Вирішуючи систему (3.2) як систему лінійних рівняньщодо невідомих xі y, приходимо до рівнянь прямої в проекціяхабо до наведеним рівнянням прямої:

x = mz + a, y = nz + b. (3.6)

Від рівнянь (3.6) можна перейти до канонічним рівнянням, знаходячи zз кожного рівняння та прирівнюючи отримані значення:

.

Від загальних рівнянь (3.2) можна переходити до канонічних та інших способів, якщо знайти якусь точку цієї прямої та її напрямний вектор n= [n 1 , n 2], де n 1 (A 1 , B 1 , C 1) та n 2 (A 2 , B 2 , C 2) - нормальні вектори заданих площин. Якщо один із знаменників m, nабо ру рівняннях (3.4) виявиться рівним нулю, то чисельник відповідного дробу треба покласти рівним нулю, тобто. система

рівносильна системі ; така пряма перпендикулярна до осі Ох.

Система рівносильна системі x = x 1, y = y 1; пряма паралельна осі Oz.

Будь-яке рівняння першого ступеня щодо координат x, y, z

Ax + By + Cz + D = 0 (3.1)

задає площину, і навпаки: будь-яка площина може бути представлена ​​рівнянням (3.1), яке називається рівнянням площини.

Вектор n(A, B, C), ортогональний площині, називається нормальним векторомплощині. У рівнянні (3.1) коефіцієнти A, B, C одночасно рівні 0.

Особливі випадки рівняння (3.1):

1. D = 0, Ax+By+Cz = 0 – площина проходить через початок координат.

2. C = 0, Ax+By+D = 0 - площина паралельна осі Oz.

3. C = D = 0, Ax + By = 0 – площина проходить через вісь Oz.

4. B = C = 0, Ax + D = 0 - площина паралельна площині Oyz.

Рівняння координатних площин: x = 0, y = 0, z = 0

Пряма може належати та не належати площині. Вона належить площині, якщо хоча б дві точки лежать на площині.

Якщо пряма не належить до площини, вона може бути паралельною їй або перетинати її.

Пряма паралельна площині, якщо вона паралельна іншій прямій, що лежить у цій площині.

Пряма може перетинати площину під різними кутами і, зокрема, перпендикулярною їй.

Крапка по відношенню до площини може бути розташована наступним чином: належати чи не належати їй. Крапка належить площині, якщо вона розташована на прямій, розташованій у цій площині.

У просторі дві прямі можуть або перетинатися, бути паралельними, або бути схрещеними.

Паралельність відрізків прямих зберігається у проекціях.

Якщо прямі перетинаються, то точки перетину їх однойменних проекцій перебувають у одній лінії зв'язку.

Схрещувальні прямі не належать до однієї площини, тобто. не перетинаються та не паралельні.

на кресленні однойменні проекції прямих, взяті окремо, мають ознаки прямих, що перетинаються або паралельних.

Еліпс.Еліпсом називається геометричне місцеточок, для яких сума відстаней до двох фіксованих точок (фокусів) є для всіх точок еліпса одна й та сама постійна величина (ця постійна величина має бути більшою, ніж відстань між фокусами).

Найпростіше рівняння еліпса

де a - велика піввісьеліпса, b- мала піввісь еліпса. Якщо 2 c- відстань між фокусами, то між a, bі c(якщо a > b) існує співвідношення

a 2 - b 2 = c 2 .

Ексцентриситетом еліпса називається відношення відстані між фокусами цього еліпса до довжини великої осі

У еліпса ексцентриситет e < 1 (так как c < a), а його фокуси лежать на великій осі.

Рівняння гіперболи, зображеної малюнку .

Параметри:
a, b – півосі;
- Відстань між фокусами,
- ексцентриситет;
- асимптоти;
- Директриси.
Прямокутник, зображений у центрі малюнка – основний прямокутник, його діагоналі є асимптотами.

Під час розгляду евклідового простору ми вводили визначення квадратичної форми. За допомогою деякої матриці

будується багаточлен другого порядку виду

який називається квадратичною формою, що породжується квадратною матрицею А.

Квадратичні форми тісно пов'язані з поверхнями другого порядку в n – мірному евклідовому просторі. Загальне рівняння таких поверхонь у нашому тривимірному евклідовому просторі в декартовій системі координат має вигляд:

Верхній рядок - це не що інше, як квадратична форма, якщо покласти x 1 = x, x 2 = y, x 3 = z:

- Симетрична матриця (a ij = a ji)

покладемо для спільності, що багаточлен

є лінійна форма. Тоді загальне рівнянняповерхні є сума квадратичної форми, лінійної форми та деякої постійної.

Основним завданням теорії квадратичних форм є приведення квадратичної форми до максимально простому виглядуза допомогою невиродженого лінійного перетворення змінних або, іншими словами, заміни базису.

Згадаймо, що з вивченні поверхонь другого порядку ми дійшли висновку у тому, що шляхом повороту осей координат можна позбутися доданків, що містять добуток xy, xz, yz або x i x j (ij). Далі, шляхом паралельного перенесення осей координат можна позбутися лінійних доданків і в кінцевому підсумку звести загальне рівняння поверхні до вигляду:

У разі квадратичної форми приведення її до вигляду

називається приведенням квадратичної форми до канонічного вигляду.

Поворот осей координат не що інше, як заміна одного базису іншим, чи, іншими словами, лінійне перетворення.

Запишемо квадратичну форму у матричному вигляді. Для цього представимо її так:

L(x,y,z) = x(a 11 x+a 12 y+a 13 z)+

Y(a 12 x+a 22 y+a 23 z)+

Z(a 13 x+a 23 y+a 33 z)

Введемо матрицю - стовпець

Тоді
- де X T = (x, y, z)

Матрична форма запису квадратичної форми. Ця формула, очевидно, справедлива й у випадку:

Канонічний вид квадратичної форми означає, очевидно, що матриця Амає діагональний вигляд:

Розглянемо деяке лінійне перетворення X = SY, де S - квадратна матрицяпорядку n, а матриці - стовпці Х і У є:

Матриця S називається матрицею лінійного перетворення. Зазначимо принагідно, що будь-якій матриці n-ного порядку при заданому базисі відповідає певний лінійний оператор.

Лінійне перетворення X = SY замінює змінні x 1 x 2 x 3 новими змінними y 1 y 2 y 3 . Тоді:

де B = S T A S

Завдання приведення до канонічного виду зводиться до пошуку такої матриці переходу S, щоб матриця набула діагонального вигляду:

Отже, квадратична форма з матрицею Апісля лінійного перетворення змінних перетворюється на квадратичну форму від нових змінних з матрицею У.

Звернемося до лінійних операторів. Кожній матриці при заданому базисі відповідає деякий лінійний оператор А . Цей оператор має, очевидно, деяку систему власних чисел та власних векторів. Причому зазначимо, що в евклідовому просторі система власних векторів буде ортогональною. Ми доводили на попередній лекції, що у базисі власних векторів матриця лінійного оператора має діагональний вигляд. Формула (*), як пам'ятаємо, це формула перетворення матриці лінійного оператора за зміни базису. Припустимо, що власні вектори лінійного оператора А з матрицею А - це вектора у 1, y 2, ..., y n.

А це означає, що якщо власні вектори у 1, y 2, ..., y n взяти за базис, то матриця лінійного оператора в цьому базисі буде діагональною

або В = S -1 А S, де S - матриця переходу від початкового базису ( e) до базису ( y). Причому в ортонормованому базисі матриця S буде ортогональною.

Т. о. для приведення квадратичної форми до канонічного виду необхідно знайти власні числа та власні вектори лінійного оператора А, що має в початковому базисі матрицю А, яка породжує квадратичну форму, перейти до базису власних векторів та в новій системікоординат побудувати квадратичну форму

Звернемося до конкретних прикладів. Розглянемо лінії другого порядку.

або

За допомогою повороту осей координат та подальшого паралельного перенесення осей це рівняння можна привести до вигляду (змінні та коефіцієнти перепозначені х 1 = х, х 2 = у):

1)
якщо лінія центральна, 1  0,  2  0

2)
якщо лінія нецентральна, тобто один із i = 0.

Нагадаємо, види ліній другого порядку. Центральні лінії:

Нецентральні лінії:

5) х 2 = а 2 дві паралельні лінії;

6) х 2 = 0 дві прямі, що зливаються;

7) у 2 = 2рх парабола.

Для нас цікавлять випадки 1), 2), 7).

Розглянемо конкретний приклад.

Привести до канонічного вигляду рівняння лінії та побудувати її:

5х 2 + 4ху + 8у 2 - 32х - 56у + 80 = 0.

Матриця квадратичної форми є
. Характеристичне рівняння:

Його коріння:

Знайдемо власні вектори:

При  1 = 4:
u 1 = -2u 2; u 1 = 2c, u 2 = -c або g 1 = c 1 (2 i – j).

При  2 = 9:
2u 1 = u 2; u 1 = c, u 2 = 2c або g 2 = c 2 ( i+2j).

Нормуємо ці вектори:

Складемо матрицю лінійного перетворення або матрицю переходу до базису g 1 , g 2:

- Ортогональна матриця!

Формули перетворення координат мають вигляд:

або

Підставимо в наше рівняння лінії та отримаємо:

Зробимо паралельне перенесення осей координат. Для цього виділимо повні квадрати по х 1 і у 1:

Позначимо
. Тоді рівняння набуде вигляду: 4х 2 2 + 9у 2 2 = 36 або

Це еліпс з півосями 3 і 2. Визначимо кут повороту осей координат та їхнє зрушення для того, щоб побудувати еліпс у старій системі.

П гострим:

Перевірка: при х = 0: 8у 2 - 56у + 80 = 0 у 2 - 7у + 10 = 0. Звідси у 12 = 5; 2

При у = 0: 5х 2 - 32х + 80 = 0 Тут немає коренів, тобто немає точок перетину з віссю х!

Приведення квадратичної форми до канонічного вигляду.

Канонічний та нормальний вид квадратичної форми.

Лінійні перетворення змінних.

Концепція квадратичні форми.

Квадратичні форми.

Визначення:Квадратичною формою від змінних називається однорідний багаточлен другого ступеня щодо цих змінних.

Змінні можна розглядати як афінні координатиточки арифметичного простору А n або як координати вектора n-вимірного простору V n . Будемо позначати квадратичну форму від змінних як.

Приклад 1:

Якщо квадратичній формі вже виконано приведення подібних членів, то коефіцієнти при позначаються, а при () – . Т.ч., вважається, що. Квадратичну форму можна записати так:

Приклад 2:

Матриця системи (1):

- називається матрицею квадратичної форми.

Приклад:Матриці квадратичних форм прикладу 1 мають вигляд:

Матриця квадратичної форми прикладу 2:

Лінійним перетворенням зміннихназивають такий перехід від системи змінних до системи змінних, при якому старі змінні виражаються через нові за допомогою форм:

де коефіцієнти утворюють невироджену матрицю.

Якщо змінні розглядати як координати вектора в Евклідов просторі щодо деякого базису, то лінійне перетворення (2) можна розглядати як перехід у цьому просторі до нового базису, щодо якого цей же вектор має координати.

Надалі ми розглядатимемо квадратичні форми тільки з дійсними коефіцієнтами. Вважатимемо, що й змінні набувають лише дійсних значень. Якщо квадратичній формі (1) змінні піддати лінійному перетворенню (2), то вийде квадратична форма від нових змінних. Надалі ми покажемо, за належного вибору перетворення (2) квадратичну форму (1) можна призвести до виду, що містить лише квадрати нових змінних, тобто. . Такий вид квадратичної форми називається канонічним. Матриця квадратичної форми у разі діагональна: .

Якщо всі коефіцієнти можуть набувати лише одного з значень: -1,0,1 відповідний вид називається нормальним.

Приклад:Рівняння центральної кривої другого порядку за допомогою переходу до нової системи координат

можна привести до вигляду: , а квадратична форма в цьому випадку набуде вигляду:

Лемма 1: Якщо квадратична форма(1)не містить квадратів змінних, то за допомогою лінійного перетворення її можна привести у форму, що містить квадрат хоча б однієї змінної.

Доказ:За умовою, квадратична форма містить лише члени із творами змінних. Нехай за будь-яких різних значеннях i і j відмінний від нуля, тобто. – один із таких членів, що входять у квадратичну форму. Якщо здійснити лінійне перетворення, проте інші не змінювати, тобто. (визначник цього перетворення відмінний від нуля), то квадратичній формі з'явиться навіть два члени з квадратами змінних: . Ці доданки що неспроможні зникнути під час приведення подібних членів, т.к. кожен із складників містить хоча б одну змінну, відмінну або від або від.

Приклад:

Лемма 2: Якщо квадратна форма (1) містить доданок з квадратом змінної, наприклад ще хоча б один доданок зі змінною , то за допомогою лінійного перетворення, f можна перевести у форму від змінних , що має вигляд: (2), де g – квадратична форма, що не містить змінної .

Доказ:Виділимо у квадратичній формі (1) суму членів, що містять: (3) тут через g 1 позначено суму всіх доданків, що не містять.

Позначимо

(4), де через позначено суму всіх доданків, що не містять.

Розділимо обидві частини (4) на та віднімемо отриману рівність з (3), після приведення подібних будемо мати:

Вираз у правій частині не містить змінної та є квадратичною формою від змінних. Позначимо це вираз через g, а коефіцієнт через, а тоді f дорівнюватиме: . Якщо зробити лінійне перетворення: , визначник якого відмінний від нуля, то g буде квадратичною формою від змінних, і квадратична форма f буде приведена до виду (2). Лемма доведена.

Теорема: Будь-яка квадратична форма може бути приведена до канонічного виду за допомогою перетворення змінних.

Доказ:Проведемо індукцію за кількістю змінних. Квадратична форма має вигляд: , яке вже є канонічним. Припустимо, що теорема правильна для квадратичної форми від n-1 змінних і доведемо, що вона вірна для квадратичної форми від n змінних.

Якщо f не містить квадратів змінних, то по лемі 1 її можна привести до виду, що містить квадрат хоча б однієї змінної, лемі 2 отриману квадратичну форму можна представити у вигляді (2). Т.к. квадратична форма є залежною від n-1 змінних, то за індуктивним припущенням вона може бути приведена до канонічного виду за допомогою лінійного перетворення цих змінних до змінних, якщо до формул цього переходу ще додати формулу, то ми отримаємо формули лінійного перетворення, яке призводить до канонічного виду квадратичну форму, що міститься в рівності (2). Композиція всіх аналізованих змін змінних є шуканим лінійним перетворенням, що призводить до канонічного виду квадратичну форму (1).

Якщо квадратична форма (1) містить квадрат будь-якої змінної, лему 1 застосовувати не потрібно. Наведений спосіб називається методом Лагранжа.

Від канонічного вигляду, де, можна перейти до нормальному виглядуде, якщо, і, якщо, за допомогою перетворення:

Приклад:Привести до канонічного вигляду методом Лагранжа квадратичну форму:

Т.к. квадратична форма f містить квадрати деяких змінних, то лему 1 застосовувати не потрібно.

Виділяємо члени, що містять:

3. Щоб отримати лінійне перетворення, що безпосередньо приводить форму f до виду (4), знайдемо спочатку перетворення, обернені перетворенням (2) і (3).

Тепер, за допомогою цих перетворень збудуємо їхню композицію:

Якщо підставити отримані значення (5) (1), ми відразу ж отримаємо уявлення квадратичної форми у вигляді (4).

Від канонічного вигляду (4) за допомогою перетворення

можна перейти до нормального вигляду:

Лінійне перетворення, що приводить квадратичну форму (1) до нормального вигляду, виражається формулами:

Бібліографія:

1. Воєводін В.В. Лінійна алгебра. СПБ: Лань, 2008, 416 с.

2. Беклемішев Д. В. Курс аналітичної геометрії та лінійної алгебри. М: Фізматліт, 2006, 304 с.

3. Кострікін А.І. Введення до алгебри. Частина II. Основи алгебри: підручник для вузів, -М. : Фізико-математична література, 2000, 368 с.

Лекція №26 (ІІ семестр)

Тема: Закон інерції. Позитивно певні форми.

визначає на площині криву. Група членів називається квадратичною формою, – лінійною формою. Якщо квадратичній формі містяться тільки квадрати змінних, то такий її вид називається канонічним, а вектори ортонормованого базису, в якому квадратична форма має канонічний вигляд, називаються головними осями квадратичної форми.
Матриця називається матрицею квадратичної форми. Тут a 1 2 = a 2 1 . Щоб матрицю B призвести до діагонального вигляду, необхідно за базис взяти власні вектори цієї матриці, тоді де λ 1 і λ 2 – власні числа матриці B.
У базисі із власних векторів матриці B квадратична форма матиме канонічний вигляд: λ 1 x 2 1 +λ 2 y 2 1 .
Ця операція відповідає повороту осей координат. Потім проводиться зсув початку координат, позбавляючись цим лінійної форми.
Канонічний вид кривої другого порядку: λ 1 x 2 2 +λ 2 y 2 2 =a , причому:
а) якщо λ 1 >0; λ 2 >0 – еліпс, зокрема, при λ 1 =λ 2 це коло;
б) якщо λ 1 >0, λ 2<0 (λ 1 <0, λ 2 >0) маємо гіперболу;
в) якщо λ 1 =0 або λ 2 =0, то крива є параболою і після повороту осей координат має вигляд ? Доповнюючи до повного квадрата, матимемо: λ 1 x 2 2 =b 1 y 2 .

Приклад. Дано рівняння кривої 3x2+10xy+3y2-2x-14y-13=0 у системі координат (0,i,j), де i=(1,0) та j=(0,1).
1. Визначити тип кривої.
2. Привести рівняння до канонічного вигляду та побудувати криву у вихідній системі координат.
3. Знайти відповідні перетворення координат.

Рішення. Наводимо квадратичну форму B=3x2+10xy+3y2 до головних осей, тобто до канонічного вигляду. Матриця цієї квадратичної форми . Знаходимо власні числа та власні вектори цієї матриці:

Характеристичне рівняння:
; λ 1 =-2, λ 2 =8. Вид квадратичної форми: .
Початкове рівняння визначає гіперболу.
Зауважимо, що вигляд квадратичної форми неоднозначний. Можна записати 8x12-2y12, проте тип кривої залишився той же - гіпербола.
Знаходимо основні осі квадратичної форми, тобто власні вектори матриці B. .
Власний вектор, що відповідає числу =-2 при x 1 =1: x 1 =(1,-1).
Як одиничний власний вектор приймаємо вектор , де - Довжина вектора x 1 .
Координати другого власного вектора, що відповідає другому власному числу λ=8, знаходимо із системи
.
1, j 1).
За формулами (5) пункту 4.3.3. переходимо до нового базису:
або

; . (*)

Вносимо вирази x та y у вихідне рівняння і, після перетворень, отримуємо: .
Виділяємо повні квадрати: .
Проводимо паралельне перенесення осей координат у новий початок: , .
Якщо внести ці співвідношення до (*) і розв'язати ці рівності щодо x 2 і y 2 , то отримаємо: , . У системі координат (0*, i 1 , j 1) дане рівняння має вигляд: .
Для побудови кривої будуємо у старій системі координат нову: вісь x 2 =0 задається у старій системі координат рівнянням x-y-3=0, а вісь y 2 =0 рівнянням x+y-1=0. Початок нової системи координат 0*(2,-1) є точкою перетину цих прямих.
Для спрощення сприйняття розіб'ємо процес побудови графіка на 2 етапи:
1. Перехід до системи координат з осями x 2 =0, y 2 =0, заданими у старій системі координат рівняннями x-y-3=0 та x+y-1=0 відповідно.

2. Побудова отриманої системі координат графіка функції.

Остаточний варіант графіка виглядає так (див. Рішення:Завантажити рішення

Завдання. Встановити, що кожне з наступних рівнянь визначає еліпс, і знайти координати його центру, півосі, ексцентриситет, рівняння директоріс. Зобразити еліпс на кресленні, вказавши осі симетрії, фокуси та директриси.
Рішення.