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