Expanding the cross product componentwise givesIts dot product with each original vector is zero, as required.
If the three vectors lie in one plane through the origin and are independent, their cross product is a normal vector to that plane, so its dot product with is zero. If are dependent, their cross product is already zero. Thus coplanarity always forces the scalar triple product to vanish.
Taking the contrapositive proves that a nonzero scalar triple product rules out coplanarity. Geometrically its absolute value is the nonzero volume of the spanned parallelepiped.
The three displacements from areHere and its dot product with is zero. Because the cross product itself is nonzero, the first three points determine a plane and the fourth lies on it. Explicitly all four satisfyThus the four points are coplanar.
Use displacements from , since coplanarity of points concerns an affine plane that need not contain the origin. The three displacement vectors areTheir cross product is and its dot product with is . Since the scalar triple product is nonzero,
On the first segment, parameterize , . The dot products with areTheir line integrals are one and , respectively.
On the second segment take , with tangent vector . The corresponding integrands are and , whose integrals are and . Adding the segments yields
For , all three curl components vanish for every . More constructively,Hence is conservative for every real . Its endpoint vector-field potential difference is , checking both line integrals.
For the other vector field, direct partial differentiation givesIt therefore has a vector-field potential exactly when , with no restriction on :The value of is irrelevant to . Its rotational part for general is . Both selected paths lie in , and this rotational part has zero dot product with every tangent vector to that plane. That explains why these paths cannot detect its nonzero curl when .
The two prescribed directions have dot product zero. Normalize them toTheir cross product is the perpendicular unit vector . Using these as columns givesThe columns form an orthonormal basis, so and is an orthogonal matrix.
Normalize the direction to the unit vector . The directional derivative is the dot product of this unit vector with the gradient:
Contracting the Kronecker delta identifies . The remaining two independent sums are dot products, so the Einstein summation convention givesThe index expression here is verified against the PDF because the OCR corrupts it completely.
Write . Multiplication givesTherefore the real part is the dot product of the corresponding vectors:For nonzero vectors, this is , measuring their alignment.
The modulus is the Euclidean norm, obtained by taking the square root of the dot product of the vector with itself:
The scalar is the signed scalar projection along the unit vector . Multiplying by that unit vector makes the orthogonal projection of onto its span.
For the other expression, the vector triple product identity givesThis is the orthogonal projection onto a plane perpendicular to through the origin. Its dot product with is zero, while the difference from is parallel to .
The dot product with the given unit vector is . Subtracting the corresponding orthogonal projection givesTaking its squared Euclidean norm yields the equivalent Cartesian equation
Let and . The assumed linear independence gives . Every displacement joining one line to the other isIts dot product with is always . The component in that direction is therefore fixed, so orthogonal decomposition gives .
The two linearly independent vectors span the plane perpendicular to . Suitable cancel the component of in that plane, attaining the lower bound. Thus the distance between skew lines formula, also valid when the lines intersect, gives
Since and , the vectors point in opposite directions. More explicitly, their dot product givesHence their angle is .
Put and . All vector fields and their spatial partial derivatives below are evaluated at . The product rule for a dot product givesBecause the vector field has no explicit time dependence, the multivariable chain rule gives , where the Jacobian matrix has entries . ConsequentlyThe first term measures the change of the curl sampled as the point moves; the second measures the change in the velocity vector used in the dot product.
To give the result explicitly in , define the directional derivative operator . Sincethe same expression isFor example ; the other two terms expand in the same way. Thus only the first and second spatial partial derivatives of , together with the velocity and acceleration of the parametric curve, occur.