Hình học Eucler

Hình học Euclid là một hệ thống toán học được nhà toán học Hy Lạp Euclid ở Alexandria miêu tả trong cuốn sách của ông về hình học: cuốn Những Cơ sở. Phương pháp của Euclid chứa một số các tiên đề giả thiết mang tính trực giác, và từ đó ông suy luận ra các mệnh đề và định lý dựa trên những tiên đề này. Mặc dù nhiều kết quả của Euclid đã được các nhà toán học trước ông phát hiện ra, Euclid là người đầu tiên chỉ ra những mệnh đề này có thể nằm gọn trong một hệ thống logic và suy luận nhất quán. Những chương đầu của cuốn Những Cơ sở bao gồm hình học phẳng, vẫn còn được dạy ở trường cấp cơ sở và phổ thông với các hệ thống tiên đề và các chứng minh toán học. Những chương tiếp theo Euclid miêu tả hình học không gian ba chiều. Nhiều kết quả trong cuốn Những Cơ sở mà ngày nay các nhà toán học xếp vào lĩnh vực đại số và lý thuyết số, được giải thích bằng ngôn ngữ hình học.

Bằng cách chọn lọc, phân biệt các loại kiến thức hình học đã có, bổ sung, khái quát và sắp xếp chúng lại thành một hệ thống chặt chẽ, dùng các tính chất trước để suy ra tính chất sau, bộ sách Cơ sở đồ sộ của Euclid đã đặt nền móng cho môn hình học cũng như toàn bộ toán học cổ đại. Bộ sách gồm 13 cuốn: sáu cuốn đầu gồm các kiến thức về hình học phẳng, ba cuốn tiếp theo có nội dung số học được trình bày dưới dạng hình học, cuốn thứ mười gồm các phép dựng hình có liên quan đến đại số, 3 cuốn cuối cùng nói về hình học không gian

Với các tiên đề và định đề , Euclid đã chứng minh được tất cả các tính chất hình học.

Tiên đề hình học Eucler

Trong cuốn thứ nhất, Euclid đưa ra 5 tiên đề:

Qua hai điểm bất kì, luôn luôn vẽ được một đường thẳng
Đường thẳng có thể kéo dài vô hạn.
Với tâm bất kì và bán kính bất kì, luôn luôn vẽ được một đường tròn.
Mọi góc vuông đều bằng nhau.
Nếu 2 đường thẳng tạo thành với 1 đường thẳng thứ 3 hai góc trong cùng phía có tổng nhỏ hơn 180 độ thì chúng sẽ cắt nhau về phía đó.