Тогда найдется столь малая окрестность точки
на плоскости
ограниченная контуром (X), что соответствующая ей окрестность точки
на поверхности
ограниченная контуром (Г), проектируется на плоскость
взаимно однозначно. Обозначим контур этой проекции на плоскость
через (k) (рис. 84).
Если в рассматриваемой точке и в "ее окрестности определитель
то положительному обходу контура (X) отвечает положительный же обход (т. е. при выбранном расположении осей обход против часовой стрелки) контура
[см. 606, 1)]. Как видно из чертежа, для того чтобы соответствующий этому обход контура
на поверхности тоже казался происходящим против часовой стрелки, на него нужно смотреть сверху, так что нормаль в точке
в этом случае должна быть направлена вверх, т. е. должна составлять с осью z острый угол. Это именно и имеет место по формулам - (2), если в них взять знак плюс, ибо при
тогда и
. Наоборот, при
нормаль должна составлять с осью z тупой угол, что также осуществляется на деле при указанном выборе знака, ибо при
Рис. 84.
Если гладкая поверхность
оказывается замкнутой и ограничивает некоторое тело [ср. 619, 3)], то для нее имеет место аналогичное обстоятельство. Допустим, что мы остановились на определенной стороне поверхности и что положительному обходу одного какого-нибудь контура
в области
отвечает положительный обход определяемого им контура (4) на поверхности
если связать (4) с той областью на
которая отвечает ограниченной контуром
области на плоскости
. В таком случае предложение, доказанное выше для случая незамкнутой поверхности, будет справедливо и теперь.