Найти циркуляцию векторного поля a вдоль треугольника АВС

Формула для вычисления циркуляции имеет вид
С=laxdx+aydy+azdz= l-y dx+1 dy+z dz=
=AB+BC+CA
На прямой АВ x + y = 1, z = 0,
AB= 10-1-xdx+ 01dy=1,5.
На прямой ВС y + z = 1, x = 0.
BC= 10dy+ 01z dz=-0,5.
На прямой CA x + z = 1, y = 0
CA= 10z dz=-0,5.
Циркуляция равна
С = 1,5 – 0,5 – 0,5 = 0,5.
Ротор вектора a определяется соотношениям
rot ax=∂az∂y-∂ay∂z=0,
rot ay=∂ax∂z-∂az∂x=0,
rot az=∂ay∂x-∂ax∂y=1