рассмотрим интеграл
Линия лежит на (S) и, пользуясь уравнением этой поверхности: мы можем заменить под знаком интеграла z на f(x, у). При этом подынтегральная функция будет содержать только . Координаты переменной точки (X) такие же, что и в соответствующих точках на а потому интегрирование по можно заменить интегрированием по (X):
Применим к интегралу, стоящему направо, формулу Грина (18), причем в данном случае есть (X). При вычислении надо будет дифференцировать Р как непосредственно по у, так и через посредстйо третьего аргумента , который заменен на
причем в выражении Р под буквой z надо подразумевать Формула (18) дает
Выражая через элемент поверхности (S), согласно (20), Приведем двойной интеграл к интегралу по поверхности (5) [66]:
в, наконец, пользуясь второй из формул (19), получим окончательно
Если — две другие функции, заданные вблизи (S), то, совершая круговую перестановку координат ,
получим две аналогичные формулы
Складывая три полученные формулы, придем к формуле Стокса
Формула эта связывает криволинейный интеграл по контуру поверхности с интегралом по самой поверхности, и в этом отношении она аналогична формуле Остроградского [66], которая связывала интеграл по поверхности трехмерной области с интегралом по самой области. Формула Грина есть тот частный случай формулы Стокса, когда (S) есть плоская область на плоскости XOY. При этом есть замкнутая кривая на плоскости XOY и dz = 0, а направление совпадает с осью OZ, так что . Подставляя все это в (22), получим формулу (18).
По поводу косинусов, входящих в формулу (22), делаются те же предположения, что и при выводе формулы Остроградского [66].
Формула (21) выведена нами в предположении, что прямые, параллельные оси OZ пересекают (S) только в одной точке. Если это не так, то разбиваем (S) на части вспомогательными линиями так, чтобы каждая часть удовлетворяла указанному выше условию, так что к каждой части формула (21) применима. Складывая полученные таким образом для всех частей формулы, будем иметь слева интеграл по контуру так как интегралы по вспомогательным контурам будут браться два раза в противоположных направлениях и сократятся. Справа получим двойной интеграл по всей поверхности (S) т. е. формула (21) окажется справедливой в общем случае. То же самое замечание справедливо и для общей формулы (22). При этом только нужно соблюдать следующее условие для обхода и направления нормали наблюдатель, обходящий и направленный по нормали должен иметь поверхность (S) слева. Это правило связано с выбором координатной системы, указанной на рис. 61. В этой системе наблюдатель, направленный по OZ, видит ОХ переходящей в OY при вращении на угол у против часовой стрелки.
Если бы это вращение было по часовой стрелке, то в предыдущем правиле слово «слева» надо было бы заменить словом «справа».
Если воспользоваться обозначением интеграла по поверхности, указанным в [67], то формулу (22) можно переписать в виде:
Определение стороны поверхности (S) и направления производится по вышеуказанному правилу.