- Giả sử đường thẳng d và d' vuông góc với nhau, ta chứng minh aa' = -1. Thật vậy,
Đường thẳng d có vecto pháp tuyến:
Đường thẳng d' có vecto pháp tuyến:
Do đường thẳng d và d' vuông góc với nhau nên
- Giả sử a.a' = -1, ta chứng minh đường thẳng d và d' vuông góc với nhau. Thật vậy,
Xét tích vô hướng:
Vậy đường thẳng d và d' vuông góc với nhau.