For positive semiaxes , the cross product of the two parametric tangent vectors gives the outward oriented surface element of an ellipsoid of revolution:
Substituting the parametrization into the vector field and taking its dot product with this element gives
The middle term has zero integral over . In the other terms, , , and . The directly evaluated flux is therefore
Write . At an intersection, , so its scalar triple product with vanishes. The expression in the question is exactly
Under a shift of origin by , the direction vectors stay fixed, while both change by . Thus and the condition are invariant. For nonparallel lines this is also sufficient for intersection; for parallel lines it only asserts coplanarity and need not imply intersection.
Put and . Then and . Bilinearity of the cross product gives
The tetrahedron volume is one sixth of the absolute value of this triple product. Sliding either vertex pair along its line preserves or , because its separation is fixed and the direction vectors are fixed. Thus the volume is unchanged, including the zero-volume coplanar case. This is tetrahedron volume under sliding opposite edges.
The identity reduces to when is constant. In components, this follows by differentiating and using the antisymmetry of the Levi-Civita symbol. The divergence theorem and the cyclic scalar triple product identity now give
Since is arbitrary,
The order of the cross product determines the minus sign, as in the vector curl form of the divergence theorem.
The determinant defining has two equal columns. Interchanging them both leaves it unchanged and reverses its sign, so it is zero. Equivalently, the cross product is orthogonal to , giving .
The plane normals are and . Their cross product is , perpendicular to both normals and hence parallel to the intersection line. Setting in both equations gives the common point . Therefore
The normals are not parallel, so their intersection is a unique line.
Put and . Taking the dot product of the original equation with eliminates and gives . Thus
Next take its cross product with . The term disappears, and the vector triple product identity gives
Insert this expression back into . The two longitudinal terms cancel, leaving . Consequently
The denominator is strictly positive for every real , including . Substitution using the same triple-product identity verifies the solution and establishes uniqueness. This is the cross-product operator with a longitudinal rank-one term.
Expand the same double cross product in two ways. First expanding with as the inner cross product gives
Alternatively, use with to get
Equating these expressions and moving every term to one side proves
This four-vector scalar triple product identity is valid without assuming that any three of the four vectors are independent.
For the triangular face, take the cross product of two edges and divide by two:
The origin lies on the opposite side from this normal, since . Thus this is already the outward vector area, with
The vector areas of a closed polyhedron sum to zero, so the sum for the remaining three faces is
Figure 1.
Tetrahedron with its highlighted face PQR and outward unit normal
. Details.
Their individual outward vector areas are , , and , which directly check that sum.
Use outward normal vectors to the two faces. The cross products
point away from the opposite vertices, since and . Their Euclidean norms are and , and their dot product is . The interior dihedral angle of a convex polyhedron is supplementary to the outward-normal angle, so
This also equals the cosine of the acute angle between the unoriented face planes. The outward-normal angle itself has cosine ; keeping that distinction avoids a sign ambiguity.
Expanding the cross product gives . Comparing its three components in order from the last to the first gives , , and . Therefore
The nonzero value of permits division to find , and the resulting nonzero determines .
If either vector is zero, both sides vanish. Otherwise let be the angle between them. The magnitudes of the cross product and dot product are described by
Squaring and using proves Lagrange's identity:
Use as an anchor. Two directions in the required plane are
Their cross product is , so a normal vector is . The Cartesian equation of a plane is
Direct substitution verifies all three given points. The independent direction vectors ensure the plane is uniquely determined.
The axis intercepts of the plane are
Use two edge vectors from :
The triangle area is half this cross product magnitude:
For , parametrize the curved surface by , with and . The magnitude of the cross product of its coordinate tangents gives the area element of a surface:
Integrating gives
This is the curved surface area, not the area of a lid across the horizontal opening. The expression tends to zero at and has dimensions of area. The volume and centroid of a parabolic cup use the same geometry.
The nonparallel direction unit vectors have nonzero cross product. Let
For any joining vector , its normal component is fixed:
Thus its length is at least the absolute value of that component. Since the two line directions span , suitable cancel the entire component in that plane, attaining the bound. Therefore the distance between skew lines, including the zero-distance intersecting case, is
The numerator is a scalar triple product. The nonparallel hypothesis is essential to the denominator and to the spanning argument.
The component of the cross product is . For the result to lie in the - plane, it must vanish, giving . The dot product condition is then , so