Можна довести, що коли крива спрямлювана i x = x(l), y = y(l) (0 6 l 6 S), де параметр l — довжина дуги кривої вiд точки
M0(x(0), y(0)) до точки M(x(l), y(l)) i функцiя f(ϕ(l), ψ(l)) непе-
Z
рервна на вiдрiзку [0, S], то iнтеграл f(x, y)dl iснує. Зокрема
L
має мiсце теорема.
Теорема 17.1. Якщо функцiя z = f(x, y) неперервна у деякiй областi G, яка мiстить криву , а крива є гладкою, тобто функцiї x = ϕ(t), y = ψ(t) неперервно диференцiйовнi на вiдрiзку [α; β], то криволiнiйний iнтеграл першого роду функцiї f по кривiй L iснує i має мiсце рiвнiсть
β
ZZ
p
f(x, y)dl = f(ϕ(t), ψ(t)) (ϕ0(t))2 + (ψ0(t))2dt.
α
Доведення. Оскiльки за умовою крива гладка, то вона спрямлювана. Якщо вiд параметричного подання кривої : x = x(l), y = y(l) перейти до її параметричного подання x = x(t), y = y(t), то з того, що x(0) = ϕ(α), y(0) = ψ(α), x(S) = ϕ(β), y(S) = ψ(β) i
p
dl = (ϕ0(t))2 + (ψ0(t))2dt,
дiстанемо
ZZ
p
f(x(l), y(l))dl = f(ϕ(t), ψ(t)) (ϕ0(t))2 + (ψ0(t))2dt.
0 α
Зауваження. Хоча означення криволiнiйного iнтеграла першого роду пов’язане з функцiєю двох змiнних, визначеною на кривiй , однак вiн подається через iнтеграл Рiмана функцiї однiєї змiнної на вiдрiзку. З цiєї причини на криволiнiйнi iнтеграли переносяться всi властивостi iнтеграла Рiмана.