Gradient theorem (Fundamental Theorem of Calculus for Line Integrals)
Let be a smooth (differentiable) scalar field on the three dimensional space and the vector field is its gradient then the integral of the field gradient projection onto the unite length vector field always tangent to the curve and pointing continuously along the curve over the arbitrary 3-dimensional curve with the start point and the end point equals only to the difference of the values of the field itself at those points or otherwise the along-line values of the field make virtually no contributions to the integral over the curve providing that the field is sufficiently smooth that its gradient exists along the curve i.e.
where and the and are the consecutive endpoints of .
We can approximate the integral of the gradient over the curve by the finite sum by dividing densely the space around the curve
into small cubes with the edges and the corners and approximating the curve by the edges of those cubes which are the closet to the curve as well as the coordinate derivatives
of the field in the gradient by their difference quotients. We will keep the edges coordinate names for the convenience even if they are equal and keep the cube corners coordinate indices even if they are constrained by the closeness to the curve.
where is the sign of the contribution depending if the integration over the edge of the cube is in the positive or the negative direction of the perpendicular coordinate.
Note that while (and so analogically for and ) is an infinitesimal (small) element of the line parallel to the axis and for the unite vector parallel to it and each term if the sum is an approximate to the growth of the line integral i.e.
Now the essential in proving the theorem is to focus on the various types of contributions to the finite sum approximating the gradient line integral from the field and notice that because of the cancelation of the sign alternating terms the sums reduce to only the end points difference. We simply have
where and ,
are the coordinates of the cubic lattice edges near the endpoints and of the approximate curve.
To notice that one may consider three cases of the pieces of the approximate curve: 1) When the piece is the long line consisting of many segments with the length , (or , ). The sign-alternating terms cancel directly in the sum of difference quotients of the type to the difference of the endpoint values which later cancel with joining contributions. 2) The piece is the 1-dimensional "stairs" embedded in one 2-dimensional plane of the width climbing up or down by (or similarly in two other planes of pairs of directions). In that case the terms differences in one direction cross-cancel to the end points to further cancel with joining contributions between the sum
3) The 1-dimensional "stairs" are fully 3-dimensional and not in any plane i.e. , , coordinates increments are periodically sequential.
In that case the full sum cancels to the endpoints because the
shared values of the at the "stairs" joining points enter the chain sum with the opposite signs.
So summing up all the all the contributions over all of the possible approximate types of the curve pieces approximating fully the curve we get