За допомогою інваріантів легко розв’язується задача визначення типу та класу лінії, що задана загальним рівнянням, та визначення коефіцієнтів зведених рівнянь цих ліній.
1. Ознаки типів кривих другого порядку, виражені через інваріанти. Вище ми бачили, що рівняння ліній першого типу, для яких , можуть бути зведеними до найпростішого виду
Обчислимо інваріанту І2, виходячи з цього зведеного рівняння:
Очевидно, і навпаки, якщо , тобто крива буде першого типу.
Якщо крива другого типу, тобто то її зведене рівняння має вигляд:
Обчислимо І2 та І3, виходячи з цього зведеного рівняння:
І навпаки, якщо І2=0, то один із коренів характеристичного рівняння, наприклад s1, рівний нулю; але так як а значить лінія, для якої буде лінією другого порядку.
На кінець, якщо крива третього типу, тобто:
то її зведене рівняння має вигляд:
Обчислимо І2 та І3, виходячи з цього рівняння:
Легко довести і зворотне, що якщо , крива буде третього типу.
Таким чином, ми отримали необхідні та достатні умови ознак типів кривих:
а) Ознака кривої І типу .
б) Ознака кривої ІІ типу .
в) Ознака привої ІІІ типу .
2. Обчислення коефіцієнтів зведених рівнянь через інваріанти.
а) В зведеному рівнянні І типу:
s1 та s2 – корені характеристичного рівняння
Обчислимо інваріанти І2 та І3 для рівняння кривих І типу, користуючись зведеним рівнянням:
Таким чином,
звідки
і зведене рівняння набирає вигляду:
б) підрахувавши для зведеного рівняння кривої другого типу
інваріанти І1, І2, І3, маємо:
Таким чином,
звідки
і зведене рівняння набирає вигляду:
в) для зведеного рівняння кривої третього типу
інваріанти та семи інваріанта приймають значення:
таким чином,
звідки і зведене рівняння набирає вигляду
3. Визначення класу кривої за допомогою інваріант.
І. Розглянемо криві І типу:
Іа. Для того, щоб це рівняння являло собою дійсний еліпс і могло бути зведене до канонічного виду
необхідно, щоб s1 та s2 були одного знаку і мало знак, протилежний знаку s1 та s2.
Так як
протилежних знаків, значить,
Умови
Будуть також достатніми для того, щоб рівняння І являло собою дійсний еліпс.
Насправді, з умови слідує, що s1 та s2 одного знаку.
а) Нехай s1 та s2 – додатні числа, тоді І1= s1+s2>0 та з умови слідує, що а значить,
б) Нехай тепер s1 та s2 – від’ємні числа, тоді І1= s1+s2<0 та з умови слідує, що а значить,
Таким чином, з умови та слідує, що s1 та s2 одного знаку, а має знак, їм протилежний. В цьому випадку рівняння І являє собою дійсний еліпс.
Іб. Для того, щоб рівняння І являло собою уявний еліпс та могло бути зведене до канонічного виду:
Необхідно, щоб s1 та s2 були одного знаку та того же знаку, а значить, І1= s1 та s2 та одного знаку, а так як , то
Умови
являються також достатніми для того, щоб рівняння І було уявним еліпсом, що показується аналогічно Іа.
Ів. Для того, щоб рівняння І представляло гіперболу та могло бути зведеним до канонічного виду:
Необхідно, щоб s1 та s2 були різних знаків, і значить,
Умови
будуть також достатніми для того, щоб рівняння і являло собою гіперболу.
Іг. Для того, щоб рівняння І представляло собою точку та могло бути зведеним до канонічного виду
необхідно, щоб s1 та s2 були одного знаку, а значить, І2>0, а =0, тобто І3=0.
Умови І2>0, І3=0 будуть також достатніми, щоб рівняння І являло собою точку.
1д. Для того, щоб рівняння І представляло пару прямих, що перетинаються, та могло бути зведеним до канонічного виду
Необхідно, щоб s1 та s2 були різних знаків, і значить,
І2<0, а =0, тобто І3=0.
Умови І2<0, І3=0
Будуть також достатніми, щоб рівняння І являло собою пару прямих, які перетинаються.
ІІ. Вище було встановлено, що для того, щоб лінія була кривою другого типу, необхідні та достатні умови виливають в тому, що
Зведене рівняння даної лінії має вигляд:
а канонічне –
ІІІ. Встановлено, що необхідними та достатніми умовами кривої ІІІ типу є І2=0 та І3=0, а зведене рівняння має вигляд:
Поділивши на І1, приведемо рівняння ІІІ до виду:
Якщо до умов І2=0 та І3=0 добавити:
ІІІа. Умова К<0, то рівняння можна звести до канонічного виду:
Та буде рівнянням пари дійсних паралельних прямих.
ІІІб. Умова К=0, то рівняння можна звести до канонічного виду:
та буде рівнянням пари прямих, що співпадають.
ІІІв. Умова К>0, то рівняння можна звести до канонічного виду:
І буде рівнянням пари уявних «паралельних» прямих.
Приклад 1. Визначити клас лінії:
та записати її канонічне рівняння.
Розв’язання. Обчислимо інваріанти:
1)
2) Визначимо клас лінії:
Значить, дана лінія – це дійсний еліпс.
3) Складемо та розв’яжемо характеристичне рівняння:
4) Запишемо зведене рівняння лінії:
і приведемо його до канонічного виду:
Приклад 2. Визначити клас кривої:
та записати її канонічне рівняння.
Розв’язання.
1) І1=2, І2=0, І3=-64,
2) (крива – парабола).
3) Запишемо її зведене та канонічне рівняння:
Вправи. 1. Визначити вид кривих та записати їх канонічні рівняння:
2. Визначити вид ліній:
3. Визначити клас лінії, для якої: