Теорема. Пусть функция
дифференцируема в односвязной области
и её производная непрерывна в
. Тогда интеграл от
по любой замкнутой кривой
, лежащей в области
, равен нулю:
.Доказательство. Если
, то по формуле
имеем
,где
.Так как функция
имеет непрерывную производную в области
, то частные производные первого порядка функции
непрерывны в области
и выполняется условия Коши-Римана

В силу применимости формулы Грина следует, что
. Таким образом
Сидоров Ю.В., Федорюк М.В., Шабунин М.И. Лекции по теории функции комплексного переменного стр.75