Phát biểu định lí sau bằng lời:
| GT | \(a\perp c\), \(b\perp c\) |
| KL | \(a\) // \(b\) |
Nếu một đường thẳng cắt hai đường thẳng phân biệt thì chúng song song với nhau.Nếu hai đường thẳng phân biệt cùng vuông góc với đường thẳng thứ ba thì chúng vuông góc với nhau.Nếu hai đường thẳng phân biệt cùng vuông góc với đường thẳng thứ ba thì chúng song song với nhau.Nếu hai đường thẳng phân biệt cùng vuông góc với đường thẳng thứ ba thì chúng cắt nhau.