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