Пусть дана область с кусочно-гладкой положительно ориетированной границей
. Пусть функция
определена и регулярна на
всюду, за исключением конечного числа изолированных особых точек
и пусть к тому же функция
непрерывно продолжима на границу области
. Тогда справедлива формула
.
Доказательство.
Пусть область ограничена. Так как число особых точек
конечно, то существует число
такое, что
, причем замыкание этих кругов попарно не пересекаются. Определим множество
.
Множество тоже является областью с кусочно-гладкой границей
, где
суть окружности
, ориентированные по ходу часовой стрелки. Получили, что
регулярна на
и непрерывна на
. Тогда получаем
что и дает формулу 14.
Половинкин Е.С. Курс лекций по теории функции комплексного переменного стр.78