Write for the paper's . In a right-handed Cartesian coordinate system, the cross product is
It is perpendicular to both vectors, has norm , where is their angle, and has direction given by the right-hand rule when nonzero. Its norm is the area of the parallelogram spanned by the two vectors.
If , use that parallelogram as the base of the parallelepiped. Its perpendicular height is , where . Thus its volume is
If , both the volume and this scalar triple product vanish. If the cross product is nonzero, the scalar triple product vanishes exactly when lies in the plane spanned by . If it is zero, are linearly dependent, and adjoining still spans at most a plane. Consequently the three vectors are coplanar if and only if , including cases involving a zero vector.
Put . The vector triple product identity gives
Taking its dot product with and using cyclic invariance of the scalar triple product yields
There was no division by , so this also proves the identity for coplanar vectors.
A parametrization of the surface of revolution is
Its tangent vectors are orthogonal, with norms and . Thus
The absolute value is necessary if the function graph passes below the axis. The formula gives the curved surface area; it adds no end discs. Zeros of can be treated by splitting the integral into regular portions and taking limits.
Parametrize the function graph by . Its two tangent vectors are and . A small parameter rectangle maps, to first order, to a tangent parallelogram with area . Since
the surface area of a graph is
For example, ensures a regular surface chart; more general domains can be handled by the corresponding convergent improper integral.
Divide Newton's second law by the mass and resolve along the radial and transverse unit vectors in polar coordinates. A central force has no transverse component, so
Multiplication of the second equation by shows that . Thus
where is the signed specific angular momentum perpendicular to the orbital plane.
If and , the polar angle is locally a valid independent variable. For , use primes for derivatives with respect to . The chain rule gives
Substitution into the radial equation gives the Binet equation
If , the orbit is radial and division by is unavailable; the first radial equation still applies with away from the origin.
Let be an arbitrary constant vector. By the cyclic identity for the scalar triple product,
Apply Stokes theorem to . Since is constant, the curl product identity gives
Consequently
For precision, the operator in the last line has components
The partial derivatives act on , with multiplying their values; they do not differentiate . Since the dot products agree for every constant , the cross-product form of Stokes theorem follows:
Here in the paper denotes the cross product, and the printed surface integral has its area element understood.
Subtract the two position vectors to obtain the direction . The affine line in a vector space through the points is therefore
The values recover the two specified points.
The two edge vectors based at are and . Their cross product is , with squared Euclidean norm . The triangle occupies half the corresponding parallelogram, so
Use the normal vector found from the edge vectors, rather than the normal vector to the origin-based linear span in part (b). The required plane satisfies . Since ,
After dividing by , its equation has a unit normal. Its perpendicular distance from the origin is thus .
Adding and subtracting the two coordinates shows that and . The normalized eigenvectors can therefore be chosen as
Their inner product is , and their squared norms are one, proving orthonormality. If , every nonzero vector is an eigenvector; this chosen orthonormal basis still works.
Three vectors in three-dimensional Euclidean space are non-coplanar precisely when their scalar triple product is nonzero. Put . In particular, . The identity for cross products with a common vector gives
For completeness, this follows from the vector triple product identity: writing gives , with and . Therefore the new scalar triple product is
Thus are non-coplanar, or equivalently linearly independent.
Take the dot product of the equation with . Since , we obtain . Next take its cross product with and apply the vector triple product identity:
Substitute and the known dot product, then rearrange:
Here the vectors and are real, so the denominator is positive. The formula also covers , giving . To check existence as well as uniqueness, write its numerator as . The vector triple product identity gives , so . Substitution verifies the original equation. This is an instance of the inverse of a scalar plus a cross-product operator.
For the numerical vectors, and , proving noncoplanarity. The reciprocal basis is
Reciprocal dot products extract the coefficients of any vector in the original basis. Here , , and , so
Substitution in Cartesian components recovers .
The displacement vectors are and . Their cross product is , with Euclidean norm three. Thus either sign of
is a unit normal vector to the second plane, whose equation is . A direction vector for the intersection is the cross product of the two normal vectors:
It is orthogonal to each normal vector. Since both planes contain , the whole intersection line is , .
The matrix product is . Thus , and the nonzero vector is in its kernel. Hence is singular and . This includes , when span the whole space and .
The Euclidean norms are and . With normalized eigenvectors as rows,
The rows form an orthonormal basis, so and is an orthogonal matrix. The zero eigenvalue means for a nonzero vector; thus is singular and has no matrix inverse.
The characteristic polynomial is . Solving the three eigenvector equations gives
Each eigenspace consists of the scalar multiples of its displayed nonzero vector. Their pairwise dot products vanish: and . This also agrees with the orthogonal diagonalization of a real symmetric matrix.
The coordinate intercepts suggest the normal vector
Indeed , so the two independent edge vectors in the plane are both orthogonal to .
The vector is orthogonal to both and , so . Also , hence . Subtraction gives . Both vectors are nonzero, so
This is the altitude property of the orthogonal projection onto an intercept plane: the projection point is the triangle's orthocenter.
Write . Since is a unit vector, and . Thus this Householder reflection satisfies
Geometrically, the mirror preserves the component tangent to its plane and reverses the normal component; doing it twice restores the original vector.