Translate one vertex of the tetrahedron to the origin and denote the other vertex vectors by . Translation preserves edge vectors and their dot products. We may label the two known perpendicular pairs of opposite edges of a tetrahedron as the pairs represented by and . Their orthogonality gives
Hence all three pairwise dot products have the same value . The third pair satisfies
so the third pair of opposite edges is also perpendicular.
Expanding squared lengths using the dot product gives
Thus the sums of squared opposite-edge lengths are equal. These two conclusions are the basic identities for orthogonal opposite edges of a tetrahedron.