The direction cosines of a line satisfy the relations and the value of for which the two lines are perpendicular to each other, is
Eliminating n, we get
where and are the roots of this equation, further eliminating m, we get
Since the lines with direction cosines (l1,m1,n1 and (12, m2, n2) are perpendicular,
we have