Решение. Имеем:
Искомая площадь равна
Область
ограничена окружностью
Выражая двойной интеграл через полярные координаты (§ 458), получаем:
Выполняя интегрирование, находим:
Замечание 1. Мы приняли, что сумма площадей
в пределе дает площадь
Это свойство (оно согласуется с наглядными представлениями, порожденными опытом) часто принимают за определение. Последнее формулируется следующим образом.
Определение. Рассматриваемый кусок поверхности разбиваем на части
в каждой части выбираем по точке
Через точки
проводим касательные плоскости и проецируем
на соответствующую касательную плоскость
прямыми, параллельными
Площадь куска есть предел, к которому стремится сумма площадей проекций при неограниченном измельчении частей.
Условия, указанные в сноске на с. 777, обеспечивают существование этого предела.
Замечание 2. При таком определении надо не только установить наличие предела, но и доказать его