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