Phân tích giả thiết và kết luận của ba định lí :
Định lí 1 : Hai đường thẳng phân biệt cùng vuông góc với một đường thẳng thứ ba thì chúng song song với nhau.
Định lí 2 : Một đường thẳng vuông góc với một trong hai đường thẳng song song thì nó cũng vuông góc với đường thẳng kia.
Định lí 3 : Hai đường thẳng phân biệt cùng song song với một đường thẳng thứ ba thì chúng song song với nhau.