We wish to prove that

The fact follows directly from the identity of Lagrange which says that for vectors A and B

Letting A = , B = and substituting into 1) we get

                                                = EG - F² .

Since the absolute value of a vector X is given by

we have