Rysunek poglądowy:

Skorzystajmy z twierdzenia o trzech prostych prostopadłych. Otrzymujemy zależność, która mówi nam, że prosta  będzie prostopadła do prostej  wtedy i tylko wtedy, gdy prosta  będzie