Let us now on the other hand take the case of the unit plane φ* normal to φ; we can call this plane the Complement of φ. Then we have the following relations between the components of the two plane:—
φy z* = φx l, φz x* = φy l, φx y* = φz l φz l* = φy x ...
The proof of these assertions is as follows. Let u*, v* be the four vectors defining φ*. Then we have the following relations:—
ux* ux + uy* uy + uz* uz + ul* ul = 0
ux* vx + uy* vy + uz* vz + ul* vl = 0
vx* ux + vy* uy + vz* uz + vl* ul = 0
vx* vx + vy* vy + vz* vz + vl* vl = 0
If we multiply these equations by vl, ul, vs, and subtract the second from the first, the fourth from the third we obtain
ux* φx l + uy* φy l + uz* φz l = 0
vx* φz l + vy* φy l + vz* φz l = 0