Hình học Euclid

Hình học
Hình chiếu một mặt cầu lên mặt phẳng.
Đại cương Lịch sử
Phân nhánh Euclid Phi Euclid Elliptic Cầu Hyperbol Hình học phi Archimedes Chiếu Afin Tổng hợp Giải tích Đại số Số học Diophantos Vi phân Riemann Symplectic Phức Hữu hạn Rời rạc Kỹ thuật số Lồi Tính toán Fractal Liên thuộc
Khái niệm Chiều Phép dựng hình bằng thước kẻ và compa Đỉnh Đường cong Đường chéo Góc Song song Vuông góc Đối xứng Đồng dạng Tương đẳng
Không chiều Điểm
Một chiều Đường thẳng Đoạn thẳng Tia Chiều dài
Hai chiều Mặt phẳng Diện tích Đa giác Tam giác Đường cao (tam giác) Cạnh huyền Định lý Pythagoras Hình bình hành Hình vuông Hình chữ nhật Hình thoi Rhomboid Tứ giác Hình thang Hình diều Đường tròn Đường kính Chu vi Diện tích
Ba chiều Thể tích Khối lập phương Hình hộp chữ nhật Hình trụ tròn Hình chóp Mặt cầu
Bốn chiều / số chiều khác Tesseract Siêu cầu
Nhà hình học
theo tên Aida Aryabhata Ahmes Alhazen Apollonius Archimedes Atiyah Baudhayana Bolyai Brahmagupta Cartan Coxeter Descartes Euclid Euler Gauss Gromov Hilbert Jyeṣṭhadeva Kātyāyana Khayyám Klein Lobachevsky Manava Minkowski Minggatu Pascal Pythagoras Parameshvara Poincaré Riemann Sakabe Sijzi al-Tusi Veblen Virasena Yang Hui al-Yasamin Trương Hành
theo giai đoạn trước Công nguyên Ahmes Baudhayana Manava Pythagoras Euclid Archimedes Apollonius 1–1400s Trương Hành Kātyāyana Aryabhata Brahmagupta Virasena Alhazen Sijzi Khayyám al-Yasamin al-Tusi Yang Hui Parameshvara 1400s–1700s Jyeṣṭhadeva Descartes Pascal Minggatu Euler Sakabe Aida 1700s–1900s Gauss Lobachevsky Bolyai Riemann Klein Poincaré Hilbert Minkowski Cartan Veblen Coxeter Ngày nay Atiyah Gromov
x t s

Bức họa Trường học Athena của Raffaello miêu tả các nhà toán học Hy Lạp (có thể là Euclid hoặc Archimedes) đang dùng compa để dựng hình.

Hình học Euclid (còn gọi là hình học Ơclit^[1]) 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,^[2] 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.^[3] 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.^[4]

Trong hơn hai nghìn năm, khi nhắc đến hình học thì người ta sẽ hiểu ngay đó là "hình học Euclid" bởi vì khi đó chưa hề có các thứ hình học khác. Các tiên đề Euclid dường như hiển nhiên theo cách trực giác (như tiên đề song song chẳng hạn) mà bất kỳ định lý nào rút ra từ chúng đều đúng theo nghĩa tuyệt đối. Tuy nhiên, ngày nay các nhà toán học đã đưa ra nhiều hình học phi Euclid tự nhất quán, mà thứ hình học phi Euclid lần đầu tiên được phát hiện vào thế kỷ 19. Thuyết tương đối tổng quát của Albert Einstein cho thấy không gian không được miêu tả đúng hoàn toàn bằng hình học Euclid, và không gian Euclid là dạng xấp xỉ tốt trong trường hợp trường hấp dẫn là yếu.^[5]

Hình học Euclid là ví dụ của hình học tổng hợp (synthetic geometry), theo đó các mệnh đề và kết quả được rút ra từ các tiên đề theo phương pháp suy luận logic mà không sử dụng hệ tọa độ. Điều này ngược hẳn so với hình học giải tích khi lĩnh vực này dựa trên các cơ sở tính toán tọa độ và giải tích!

Hình học Euclid

Môn học dựa trên các định đề và tiên đề của nhà toán học Euclid về các khái niệm:

• Điểm
• Đường thẳng
• Góc
• Hình đa giác

Hình ảnh mô tả một số tiên đề trong hệ tiên đề Euclid

• 
• 
• 
• 
• 

Xem thêm

• Hình học giải tích
• Tiên đề Euclid
• Tiên đề Hilbert
• Hình học phi Euclid

Tham khảo

1. Ơclit (hình học) tại Từ điển bách khoa Việt Nam
2. Eves, vol. 1., p. 19
3. Eves (1963), vol. 1, p. 10
4. Eves, p. 19
5. Misner, Thorne, and Wheeler (1973), p. 47

Danh mục tham khảo

• Ball, W.W. Rouse (1960). A Short Account of the History of Mathematics (ấn bản thứ 4). New York: Dover Publications. tr. 50–62. ISBN 0-486-20630-0.
• Coxeter, H.S.M. (1961). Introduction to Geometry. New York: Wiley.
• Eves, Howard (1963). A Survey of Geometry. Allyn and Bacon.
• Heath, Thomas L. (1956). The Thirteen Books of Euclid's Elements (ấn bản thứ 2). New York: Dover Publications.

(3 vols.): ISBN 0-486-60088-2 (vol. 1), ISBN 0-486-60089-0 (vol. 2), ISBN 0-486-60090-4 (vol. 3). Heath's authoritative translation of Euclid's Elements plus his extensive historical research and detailed commentary throughout the text.

• Misner, Thorne, and Wheeler (1973). Gravitation. W.H. Freeman.
• Mlodinow (2001). Euclid's Window. The Free Press.
• Nagel, E. and Newman, J.R. (1958). Gödel's Proof. New York University Press.
• Alfred Tarski (1951) A Decision Method for Elementary Algebra and Geometry. Univ. of California Press.

Liên kết ngoài

• Weisstein, Eric W., "Hình học Euclid" từ MathWorld.
• Euclidean geometry tại Encyclopædia Britannica (tiếng Anh)
• Hazewinkel, Michiel biên tập (2001), “Euclidean geometry”, Bách khoa toàn thư Toán học, Springer, ISBN 978-1-55608-010-4
• Hazewinkel, Michiel biên tập (2001), “Plane trigonometry”, Bách khoa toàn thư Toán học, Springer, ISBN 978-1-55608-010-4
• Kiran Kedlaya, Geometry Unbound Lưu trữ 2011-10-26 tại Wayback Machine (a treatment using analytic geometry; PDF format, GFDL licensed)
• Ơclit (hình học) tại Từ điển bách khoa Việt Nam