Expanding the cross product componentwise gives
Its 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 are
Here 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 satisfy
Thus 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 are
Their cross product is and its dot product with is . Since the scalar triple product is nonzero,
The four points do not lie in a common plane.
On the first segment, parameterize , . The dot products with are
Their 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 gives
It 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 to
Their cross product is the perpendicular unit vector . Using these as columns gives
The columns form an orthonormal basis, so and is an orthogonal matrix.
Contracting the Kronecker delta identifies . The remaining two independent sums are dot products, so the Einstein summation convention gives
The index expression here is verified against the PDF because the OCR corrupts it completely.
Write . Multiplication gives
Therefore the real part is the dot product of the corresponding vectors:
For nonzero vectors, this is , measuring their alignment.
The dot product is , while the Euclidean norms are and . Therefore the angle satisfies
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 gives
This 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 gives
Taking its squared Euclidean norm yields the equivalent Cartesian equation
Let and . The assumed linear independence gives . Every displacement joining one line to the other is
Its 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 gives
Hence their angle is .
Put and . All vector fields and their spatial partial derivatives below are evaluated at . The product rule for a dot product gives
Because the vector field has no explicit time dependence, the multivariable chain rule gives , where the Jacobian matrix has entries . Consequently
The 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 . Since
the same expression is
For 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.