11.20. Формула Шварца.
Если дан круг радиуса с центром в точке то функция аналитическая внутри данного круга, действительная часть которой принимает на окружности значение определяется с точностью до значения мнимой постоянной формулой
Доказательство. Пусть обозначает точку на окружности С круга.
Тогда Так как в то мы можем написать
где — известная функция от
Тогда на окружности имеем
и, следовательно,
Если точка находится внутри окружности С, то, используя формулу Коши и теорему о вычетах, получаем
Пусть тогда таким образом, полагая в формуле получаем
следовательно, из формулы (5) находим
Цолагая мы имеем отсюда вытекает требуемый результат.
Часто бывает полезно применять формулу (5) вместо формулы (7).