Geom / AnGeom_2_13
.pdfПриведение к каноническому виду
Аналитическая геометрия
Лекция 28. Приведение уравнения поверхности второго порядка к каноническому виду
Сбродова Елена Александровна
16 мая 2012 г.
Аналитическая геометрия. Лекция 28
Приведение к каноническому виду
Вспомогательная лемма.
Пусть в некоторой декартовой системе координат уравнение поверхности имеет вид a11x2 + 2b1x + 2b2y + 2b3z + c = 0. Тогда существует такая декартова система координат, в
которой уравнение поверхности примет вид a11x02 + 2b02y0 + c0 = 0.
Аналитическая геометрия. Лекция 28
Приведение к каноническому виду
Вспомогательная лемма.
Доказательство.
Выделим полный квадрат при переменной x. Выполнив
параллельный перенос вдоль оси Ox, перейдем к уравнению
a11x002 + 2b002y00 + 2b003z00 + c00 = 0.
Если хотя бы один из коэффициентов b002 или b003 равен 0, то
уравнение имеет нужный вид.
Если b002 6= 0 и b003 6= 0, выполним замену
|
x0 = x00 |
|
|
|
|
|
|
||||
y0 |
= |
|
y00 + |
|
z00 |
||||||
b |
b |
||||||||||
|
|
|
b300 |
|
|
b200 |
|
||||
z |
|
b200 |
|
|
b300 |
|
|||||
= |
|
y |
00 |
|
|
|
z |
00 |
|||
b |
− b |
||||||||||
|
0 |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
b = p(b002)2 + (b003)2.
Аналитическая геометрия. Лекция 28
Приведение к каноническому виду
Вспомогательная лемма.
Проверим, что данная замена является ортогональной.
|
|
|
|
|
|
|
|
1 |
|
|
0 |
|
0 |
|
. Тогда |
||||
Матрица замены имеет вид T = |
0 |
|
|
b200 |
|
|
b300 |
|
|||||||||||
|
|
b |
|
b |
|||||||||||||||
|
|
|
|
|
|
|
|
0 |
|
|
b |
− |
b |
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
b300 |
|
b200 |
|
|
||||
T · T t = |
0 |
(b200) b2 |
300 |
|
|
|
2 0 |
|
2 |
|
|
= 0 |
1 |
0 . |
|||||
|
1 |
0 |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
1 |
0 |
0 |
|
0 |
2+(b )2 |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
0 |
|
200 |
|
b2 |
300 |
|
|
|
|
|
|
0 |
0 |
1 |
||||
|
|
|
|
|
(b |
) +(b ) |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Аналитическая геометрия. Лекция 28
Приведение к каноническому виду
Вспомогательная лемма.
После такой замены слагаемые 2b002y00 + 2b003z00 перейдут в 2by0. Уравнение примет вид a11x02 + 2b02y0 + c0 = 0. Лемма доказана.
Аналитическая геометрия. Лекция 28
Приведение к каноническому виду
Теорема о приведении уравнения поверхности II порядка к каноническому виду.
Пусть дана поверхность II порядка. Тогда существует декартова система координат, называемая канонической, в которой поверхность имеет одно из следующих уравнений:
1. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
2. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
3. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
4. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
5. |
x2 |
y2 |
||
|
− |
|
||
a2 |
b2 |
z2
+ c2 = 1, эллипсоид.
z2
− c2 = 1, однополостный гиперболоид.
z2
− c2 = −1, двуполостный гиперболоид.
= 2z, эллиптический параболоид.
= 2z, гиперболический параболоид.
Аналитическая геометрия. Лекция 28
Приведение к каноническому виду
Теорема о приведении уравнения поверхности II порядка к каноническому виду.
Пусть дана поверхность II порядка. Тогда существует декартова система координат, называемая канонической, в которой поверхность имеет одно из следующих уравнений:
1. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
2. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
3. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
4. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
5. |
x2 |
y2 |
||
|
− |
|
||
a2 |
b2 |
z2
+ c2 = 1, эллипсоид.
z2
− c2 = 1, однополостный гиперболоид.
z2
− c2 = −1, двуполостный гиперболоид.
= 2z, эллиптический параболоид.
= 2z, гиперболический параболоид.
Аналитическая геометрия. Лекция 28
Приведение к каноническому виду
Теорема о приведении уравнения поверхности II порядка к каноническому виду.
Пусть дана поверхность II порядка. Тогда существует декартова система координат, называемая канонической, в которой поверхность имеет одно из следующих уравнений:
1. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
2. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
3. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
4. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
5. |
x2 |
y2 |
||
|
− |
|
||
a2 |
b2 |
z2
+ c2 = 1, эллипсоид.
z2
− c2 = 1, однополостный гиперболоид.
z2
− c2 = −1, двуполостный гиперболоид.
= 2z, эллиптический параболоид.
= 2z, гиперболический параболоид.
Аналитическая геометрия. Лекция 28
Приведение к каноническому виду
Теорема о приведении уравнения поверхности II порядка к каноническому виду.
Пусть дана поверхность II порядка. Тогда существует декартова система координат, называемая канонической, в которой поверхность имеет одно из следующих уравнений:
1. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
2. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
3. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
4. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
5. |
x2 |
y2 |
||
|
− |
|
||
a2 |
b2 |
z2
+ c2 = 1, эллипсоид.
z2
− c2 = 1, однополостный гиперболоид.
z2
− c2 = −1, двуполостный гиперболоид.
= 2z, эллиптический параболоид.
= 2z, гиперболический параболоид.
Аналитическая геометрия. Лекция 28
Приведение к каноническому виду
Теорема о приведении уравнения поверхности II порядка к каноническому виду.
Пусть дана поверхность II порядка. Тогда существует декартова система координат, называемая канонической, в которой поверхность имеет одно из следующих уравнений:
1. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
2. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
3. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
4. |
x2 |
y2 |
||
|
+ |
|
||
a2 |
b2 |
|||
|
|
|||
5. |
x2 |
y2 |
||
|
− |
|
||
a2 |
b2 |
z2
+ c2 = 1, эллипсоид.
z2
− c2 = 1, однополостный гиперболоид.
z2
− c2 = −1, двуполостный гиперболоид.
= 2z, эллиптический параболоид.
= 2z, гиперболический параболоид.
Аналитическая геометрия. Лекция 28