Let be the scalar triple product. The reciprocal basis satisfies and all mismatched dot products vanish, with cyclic analogues. Apply the given vector triple product identity to obtainDotting with givesThe sign is retained: a negatively oriented original basis has a negatively oriented reciprocal basis. Equivalently, if the original vectors are columns of , their reciprocals are columns of , whose determinant is .
The denominator for taking reciprocals a second time is . The preceding cross-product result therefore givesCyclic permutation gives and . Thus taking the reciprocal basis twice returns the original basis. The matrix statement is the same reciprocal basis involution: . Noncoplanarity is essential, since otherwise the defining denominator and the matrix inverse do not exist.
Dot the reciprocal-basis expansion with each member of the original basis. All mismatched dot products vanish and the matching one equals one. ConsequentlyThese are coefficients in the reciprocal basis. They would instead involve dot products with the reciprocal vectors if were being expanded in the original basis. The two coefficient conventions should not be interchanged for a nonorthonormal basis.
Use the preceding coefficient identities with the three prescribed plane equations. They immediately giveFor example, its dot product with is , because while the other two terms give zero; the other equations follow cyclically. This verifies existence. If two points satisfied all three equations, their difference would be perpendicular to all three members of a basis and therefore zero. Hence the intersection is unique, not merely one possible intersection point.
Articles by others on the same topic
There are currently no matching articles.