Các tính chất về hai đường thẳng song song, hai đường thẳng vuông góc và tiên đề Ơ-clit là những khẳng định đúng, dĩ nhiên rồi. Nhưng dễ dàng nhận thấy tiên đề Ơ-clit được thừa nhận bằng những kinh nghiệm thực tế kết hợp với vẽ hình, còn tính chất hai đường thẳng song song, hai đường thẳng vuông góc được suy ra từ những khẳng định được cho là đúng. Những khẳng định như vậy gọi là định lí. Vậy định lí là gì? Ta sẽ tìm hiểu ngay sau đây.
Xem chi tiết »
