Рис. 23. Отклонение точки X от плоскости
отрицательное
при
Умножим обе части равенства (11) скалярно на в Тогда, положив
получим, что
Отметим, что коэффициенты
в формуле (12) вычислены в точке
Таким образом, мы получили для отклонения
представление:
где через
обозначена вторая квадратичная форма
вычисленная в точке
при
Используем полученную формулу (13) для изучения поверхности
вблизи точки
Как известно из курса линейной алгебры, свойства тичной формы во многом определяются знаком ее дискр Вычислим дискриминант второй квадратичной формы
в точке
Возможны следующие случаи.
- вторая квадратичная форма
в точке
является знакоопределенной.
Зафиксируем в точке
некоторое направление на поверхности; для определенности
Тогда любое другое направление на поверхности в точке
можно задавать при помощи угла
который оно образует с выбранным направлением
(рис. 24).
Рис. 24. Угол
отсчитывается против часовой стрелки, если смотреть со стороны вектора нормали
Положим
Тогда
Нетрудно показать, что
где постоянная
и в силу условия
положительна.
Таким образом, неравенство
выполняется независимо от выбора угла
Так как порядок стремления к нулю при
второго слагаемого
в правой части формулы (13) выше двух, то из последней оценки можно сделать следующий вывод.
Отклонение
сохраняет знак (совпадающий со знаком второй квадратичной формы
для всех достаточно малых значений
независимо от выбора направления на поверхности.
Это означает, что все точки поверхности
достаточно близкие к точке
располагаются по одну сторону от касательной плоскости
поверхности
в этой точке. Такая точка поверхности называется эллиптической (рис. 25).
Рис. 25. На рисунке изображена эллиптическая точка поверхности S
— вторая квадратичная форма поверхности в точке
является знакопеременной.
Покажем, что в этом случае в точке
можно указать два неколлинеарных направления на поверхности, обладающих следующими свойствами:
а) для значений дифференциалов, определяющих эти направления, вторая квадратичная форма поверхности, вычисленная в точке
обращается в нуль;
б) все остальные направления на поверхности в точке
разбиваются на два класса — для дифференциалов, определяющих направления одного из этих классов, вторая квадратичная форма По положительна и для другого отрицательна.
Пусть некоторое направление
положительного класса задается углом
В соответствии с формулой (14) имеем
где
Как видно из формулы (13), знак отклонения
для всех достаточно малых значений
в рассматриваемом направлении
совпадает со знаком второй квадратичной формы
. Следовательно, если точка X поверхности
достаточно близка к точке
то это отклонение положительно.