Consider lines and with nonzero direction vectors. If they intersect, then , so the necessary coplanarity condition is . For nonparallel directions it is also sufficient, since the orthogonal complement of is the linear span of . For parallel directions the condition alone is insufficient: distinct parallel lines also satisfy it.
Assume intersection and . Take the scalar triple products and of . The scalar triple product is an alternating multilinear map, giving respectively and , proving the title formulas. The nonzero denominator fixes a convenient determinant chart; intersections with can still exist and require a different auxiliary vector or another method.
Articles by others on the same topic
There are currently no matching articles.