MathLabs

Problem 6

Given four distinct parallel planes, prove that there exists a regular tetrahedron with a vertex on each plane.
Step 3 of 5: Solve for a normal vector
b⋅(c×d)≠0b\cdot(c\times d)\ne0
Detailed analysis

The three equations for the unknown vector n have a nonzero determinant because b, c, d are independent. Therefore they have a solution n. It is nonzero because the four planes are distinct.