627. Подход через вписанные многогранные поверхности.
Хотя мы и отказались от мысли положить в основу самого определения понятия площади кривой поверхности вписанные в нее многогранные поверхности, но сейчас мы вернемся к этому и покажем, по крайней мере, как можно строить вписанные многогранные поверхности, площади которых заведомо стремятся к площади данной кривой поверхности.
Мы займемся, в основном, случаем, когда область
представляет собой прямоугольник со сторонами, параллельными координатным осям.
Выберем определенную сторону поверхности
и тем самым установим положительное направление обхода ее контура. Можно считать, что это направление соответствует положительному обходу контура прямоугольника
. Мы знаем [621], что при этих условиях направляющие косинусы нормали к поверхности задаются формулами
с положительным значением радикала.
Рис. 91.
Разложим теперь прямоугольник
с помощью параллелей его сторонам на частичные прямоугольники, а затем каждый из них диагональю разложим еще на два прямоугольных треугольника (рис. 91, в). Таким образом мы осуществим триангуляцию области
. Пусть одним из элементарных треугольников будет
с вершинами в точках
где А и
— числа одного знака. На поверхности
им отвечают точки
определяющие в пространстве некоторый
(рис. 91, б). Из всех таких треугольников составится многогранная поверхность
, вписанная в
ее мы и будем рассматривать. Если обход контура каждого такого треугольника производить именно в направлении
что отвечает положительному обходу контура треугольника
то этим определится сторона многогранной поверхности
, в согласии с условиями, установленными в п° 622.
Если
спроектировать на плоскость
то получится
с вершинами в точках
Площадь этого последнего треугольника по величине и по знаку (с учетом его ориентации!) выразится, как известно из аналитической геометрии, определителем
По формуле конечных приращений
где величина
произвольно мала вместе с
, независимо от положения точки
. Точно так же
где все производные вычислены при
а буквой
со значками здесь (и впредь) обозначаются величины, произвольно малые вместе с
, независимо от положения точки
Теперь величина
может быть переписана в виде
где
есть площадь
. Аналогично получим и для проекций на другие координатные плоскости:
Площадь
самого
вычисляется теперь по формуле
и для нее легко получить выражение
Нетрудно сообразить, что отношения
выразят направляющие косинусы нормали к плоскости треугольника
в соответствии с его ориентацией. Ввиду (6), (6а) и (7), они при
стремятся к направляющим косинусам (5) нормали к поверхности, и притом равномерно для всех граней. Очевидно также, что при указанном предельном переходе и диаметры всех граней поверхности (Е) равномерно стремятся к нулю, что и требовалось доказать.
Наконец, суммируя равенства вида (7), легко усмотреть, что площадь многогранной поверхности (Е)
при
и
стремится именно к площади (3) кривой поверхности.
Эти построения естественно распространяются на случай, когда область
составлена из прямоугольников. Триангуляция же произвольной области потребовала бы довольно кропотливых (хотя и вполне элементарных) соображений; на этом мы останавливаться не будем.