Hình học phi Euclid là các hệ hình học giữ gần như mọi tiên đề của Euclid nhưng thay tiên đề song song bằng một giả thiết khác. Trong hình học hyperbolic, qua một điểm ngoài một đường thẳng có vô số đường không cắt đường đó, và tổng ba góc tam giác nhỏ hơn 180 độ. Trong hình học eliptic, mà mặt cầu là hình ảnh gần gũi nhất, không có đường song song nào, và tổng ba góc lớn hơn 180 độ.
Hình học hyperbolic được Nikolai Lobachevsky và János Bolyai công bố độc lập vào khoảng 1829–1832, sau hơn hai nghìn năm người ta cố chứng minh tiên đề song song từ các tiên đề khác mà không thành. Bernhard Riemann năm 1854 mở rộng thành một khung tổng quát cho hình học trên không gian cong, và sáu mươi năm sau, khung đó trở thành ngôn ngữ của thuyết tương đối rộng.
Euclid và tiên đề thứ năm gây khó chịu
Bộ Cơ sở của Euclid, viết khoảng năm 300 trước Công nguyên, gồm mười ba quyển và là mẫu mực cho cách trình bày toán học suốt hai nghìn năm: bắt đầu từ một số định nghĩa và tiên đề, rồi suy ra từng định lý bằng lập luận chặt. Bốn tiên đề đầu ngắn và hiển nhiên: nối được hai điểm bằng một đoạn thẳng, kéo dài được đoạn thẳng, vẽ được đường tròn với tâm và bán kính bất kỳ, mọi góc vuông bằng nhau.
Tiên đề thứ năm thì dài và rắc rối hơn hẳn. Nguyên văn của Euclid nói rằng nếu một đường thẳng cắt hai đường khác và tạo ra hai góc trong cùng phía có tổng nhỏ hơn hai góc vuông, thì hai đường đó kéo dài sẽ gặp nhau ở phía ấy. Phiên bản quen thuộc trong sách giáo khoa, thường gắn với tên John Playfair cuối thế kỷ 18, nói: qua một điểm ngoài một đường thẳng có đúng một đường thẳng song song với đường đã cho.
Chính Euclid dường như cũng dè dặt với nó: hai mươi tám mệnh đề đầu tiên của Quyển I được chứng minh mà không cần tiên đề này. Các nhà toán học đời sau, từ thời cổ đại qua thế giới Hồi giáo đến châu Âu, đều nghĩ rằng một khẳng định phức tạp như vậy phải là một định lý, chứng minh được từ bốn tiên đề kia. Hàng loạt "chứng minh" ra đời, và lần nào cũng có người chỉ ra rằng chứng minh đó đã ngầm dùng một giả thiết tương đương với chính tiên đề thứ năm.
Từ cố chứng minh đến chấp nhận một hình học mới
Con đường đi đến hình học phi Euclid là một ví dụ hiếm thấy về việc thất bại lặp đi lặp lại dẫn đến một khám phá lớn. Các mốc chính:
- Năm 1733, Giovanni Saccheri công bố một tác phẩm cố "gột sạch mọi vết nhơ" cho Euclid. Ông giả sử tiên đề thứ năm sai và tìm mâu thuẫn. Thực ra ông đã suy ra được nhiều định lý đúng của hình học hyperbolic, nhưng kết luận rằng chúng "trái với bản chất đường thẳng" và dừng lại.
- Carl Friedrich Gauss, theo các thư từ còn lại, đã đi tới ý tưởng về một hình học nhất quán khác Euclid từ sớm nhưng không công bố, có lẽ vì ngại tranh cãi.
- Năm 1829, Nikolai Lobachevsky ở Đại học Kazan công bố công trình về hình học mà ông gọi là "hình học tưởng tượng", trong đó tiên đề song song được thay bằng giả thiết có nhiều đường song song.
- Năm 1832, János Bolyai, một sĩ quan người Hungary, công bố kết quả tương tự trong phần phụ lục cuốn sách của cha mình. Khi Gauss đọc và viết rằng mình đã nghĩ tới điều đó từ trước, Bolyai rất thất vọng.
- Năm 1854, Bernhard Riemann đọc bài giảng nhận chức ở Göttingen về các giả thuyết làm nền cho hình học, đưa ra khái niệm không gian với độ cong thay đổi từ điểm này sang điểm khác.
- Năm 1868, Eugenio Beltrami xây dựng mô hình của hình học hyperbolic bên trong hình học Euclid. Sau đó Felix Klein và Henri Poincaré đưa ra những mô hình khác.
Bước của Beltrami quan trọng hơn vẻ ngoài của nó: nếu hình học hyperbolic chứa mâu thuẫn, thì mâu thuẫn đó cũng phải xuất hiện trong hình học Euclid. Vậy hai hệ nhất quán ngang nhau. Từ đây không ai còn coi hình học mới là trò chơi sai lầm, và việc chứng minh tiên đề thứ năm từ bốn tiên đề kia được xác định là bất khả.
So sánh ba loại hình học
Ba hệ hình học dưới đây khác nhau ở đúng một giả thiết về đường song song, nhưng hệ quả lan ra mọi định lý liên quan đến góc và diện tích.
| Đặc điểm | Euclid | Hyperbolic | Eliptic (mặt cầu) |
|---|---|---|---|
| Số đường song song qua một điểm ngoài đường thẳng | Đúng một | Vô số | Không có |
| Tổng ba góc tam giác | Bằng 180 độ | Nhỏ hơn 180 độ | Lớn hơn 180 độ |
| Độ cong | Bằng 0 | Âm | Dương |
| Tam giác đồng dạng khác kích thước | Có | Không, góc xác định kích thước | Không, góc xác định kích thước |
| Hình ảnh trực quan | Mặt bàn phẳng | Mô hình đĩa Poincaré, mặt yên ngựa ở gần một điểm | Bề mặt quả cầu, coi các đường tròn lớn là đường thẳng |
Một hệ quả thú vị của hình học cong: trong cả hai hình học phi Euclid, tam giác càng lớn thì tổng góc càng lệch xa 180 độ. Với tam giác rất nhỏ, mọi hình học đều gần giống Euclid. Đó là lý do tại sao trên mặt đất, trong một mảnh vườn, bạn không bao giờ nhận ra Trái Đất cong khi đo góc.
Tự kiểm bằng một tam giác trên mặt cầu
Dựng tam giác. Trên một quả địa cầu, lấy điểm cực Bắc và hai điểm trên đường xích đạo cách nhau một phần tư vòng. Ba cạnh của tam giác là hai cung kinh tuyến đi từ cực xuống và một cung xích đạo.
Đo góc. Kinh tuyến cắt xích đạo theo góc vuông, nên hai góc ở xích đạo đều là 90 độ. Góc ở cực Bắc bằng góc giữa hai kinh tuyến, ở đây là một phần tư vòng tròn, tức 90 độ. Tổng ba góc là 270 độ, vượt 180 độ đúng 90 độ.
Kiểm bằng công thức diện tích. Trên mặt cầu bán kính R, phần vượt của tổng góc so với 180 độ, đo bằng radian, bằng diện tích tam giác chia cho R bình phương. Tam giác này chiếm đúng một phần tám mặt cầu, diện tích bằng 4 pi R bình phương chia 8, tức pi R bình phương chia 2. Chia cho R bình phương được pi chia 2 radian, đúng bằng 90 độ. Hai cách tính khớp nhau.
Rút ra điều gì. Trên mặt cầu, "đường thẳng" theo nghĩa đường ngắn nhất là các cung tròn lớn, và hai đường tròn lớn bất kỳ luôn cắt nhau, nên không có đường song song. Mọi chuyến bay đường dài đi theo cung tròn lớn chính vì lý do này, nhìn trên bản đồ phẳng trông như đường cong.
Thử với tam giác nhỏ. Lấy một tam giác chỉ vài cây số trên bề mặt Trái Đất: diện tích của nó so với R bình phương là con số cực nhỏ, nên tổng góc chỉ vượt 180 độ một lượng mà dụng cụ thông thường không đo nổi. Đây là cách bạn giải thích cho học sinh vì sao hình học Euclid vẫn đúng trong đời sống.
Từ Riemann đến thuyết tương đối và GPS
Riemann không chỉ thêm một hình học mới mà thay đổi câu hỏi: thay vì hỏi tiên đề nào "đúng", ông hỏi một không gian có thể cong theo những cách nào, và đo độ cong ấy từ bên trong ra sao. Ý tưởng then chốt là một sinh vật sống trên một bề mặt, không bao giờ nhìn được từ bên ngoài, vẫn có thể đo được bề mặt đó cong thế nào bằng cách đo góc tam giác và chu vi đường tròn. Gauss đã chứng minh điều này cho mặt hai chiều; Riemann mở rộng cho số chiều bất kỳ.
Albert Einstein công bố thuyết tương đối rộng năm 1915, mô tả lực hấp dẫn như độ cong của không thời gian bốn chiều. Ngôn ngữ toán học cho lý thuyết đó chính là hình học Riemann, được các nhà toán học như Ricci và Levi-Civita phát triển thêm thành phép tính tensor. Một ngành toán sinh ra từ câu hỏi thuần tuý về tiên đề song song trở thành nền của vật lý hiện đại.
Ứng dụng gần gũi nhất là hệ thống định vị vệ tinh. Đồng hồ trên vệ tinh chạy lệch so với đồng hồ trên mặt đất do cả hiệu ứng của chuyển động lẫn hiệu ứng của trường hấp dẫn, tổng cộng cỡ vài chục micro giây mỗi ngày. Nếu không hiệu chỉnh, sai số vị trí tích luỹ đến hàng cây số mỗi ngày. Khi bạn mở bản đồ trên điện thoại ở Thành phố Hồ Chí Minh hay Hà Nội, phép hiệu chỉnh ấy đang chạy ngầm.
Học hình học phi Euclid cùng AI: một lộ trình bốn tuần
Đề tài này hợp để tự học vì có nhiều mô hình trực quan. AI giúp giải thích và gợi bài tập, nhưng bạn cần tự vẽ và tự tính để hiểu thật. Lộ trình gợi ý:
- Tuần một: đọc Quyển I của bộ Cơ sở (bản dịch có chú giải), đánh dấu mệnh đề nào dùng tiên đề thứ năm. Câu lệnh mẫu: "Liệt kê các mệnh đề trong Quyển I của Euclid cần đến tiên đề song song, kèm một câu giải thích vì sao." Sau đó tự đối chiếu với sách.
- Tuần hai: làm thí nghiệm mặt cầu bằng quả bóng và dây chun như ở trên, đo góc bằng thước đo độ mềm. Nhờ AI kiểm phép tính diện tích và phần vượt của tổng góc, nhưng tự làm trước.
- Tuần ba: tìm hiểu mô hình đĩa Poincaré. Nhờ AI viết đoạn mã nhỏ vẽ các "đường thẳng" là cung tròn vuông góc với biên đĩa, rồi tự chạy và quan sát nhiều đường đi qua một điểm mà không cắt một đường cho trước.
- Tuần bốn: đọc về Riemann và thuyết tương đối ở mức phổ thông. Yêu cầu AI tách rõ phần toán học đã được chứng minh và phần vật lý dựa trên quan sát, vì chatbot hay trộn lẫn hai thứ này.
- Suốt bốn tuần, ghi lại mọi tên người và năm vào một bảng riêng và kiểm từng dòng với giáo trình; đó là chỗ AI dễ nhầm nhất.
Câu hỏi thường gặp
Gauss có thật sự đo tam giác giữa ba ngọn núi để kiểm tra không gian có cong không?
Gauss có tham gia các cuộc đo đạc trắc địa lớn và có đo một tam giác giữa ba đỉnh núi ở Đức. Việc ông làm điều đó với mục đích kiểm tra hình học phi Euclid là một cách diễn giải mà giới sử học còn tranh luận; nhiều người cho rằng đó chủ yếu là công việc trắc địa. Khi kể lại, bạn nên nói rõ đây là giai thoại còn tranh cãi.
Vì sao gọi là hình học hyperbolic và eliptic?
Tên gọi do Felix Klein đặt, dựa trên sự tương tự với cách phân loại các đường conic: hyperbol cắt đường thẳng ở vô cực tại hai điểm, elip không cắt, parabol tiếp xúc. Hình học Euclid ứng với trường hợp ở giữa, đôi khi được gọi là parabolic. Đây là cách đặt tên mang tính hình thức, không có nghĩa là các đường trong hình học đó có dạng hyperbol.
Vũ trụ của chúng ta theo hình học nào?
Ở quy mô lớn, các quan sát hiện nay cho thấy vũ trụ rất gần với phẳng, trong giới hạn sai số đo. Ở gần các vật thể có khối lượng lớn, không thời gian cong theo đúng mô tả của thuyết tương đối rộng. Câu hỏi về hình dạng toàn cục của vũ trụ vẫn là đề tài nghiên cứu, nên cần đọc nguồn thiên văn học mới nhất.
Có thể dạy hình học phi Euclid cho học sinh phổ thông không?
Có, ở mức trực quan. Tam giác trên quả bóng với ba góc vuông là một hoạt động rất dễ làm và gây ấn tượng mạnh. Mục tiêu không phải để học sinh tính toán phức tạp, mà để hiểu rằng các tiên đề là lựa chọn, và hình học Euclid đúng với mặt phẳng chứ không phải với mọi bề mặt.
Lobachevsky có được công nhận ngay khi công bố không?
Không. Công trình của Lobachevsky ban đầu bị nhiều người trong giới học thuật thời đó xem nhẹ hoặc phê phán, một phần vì nó đi ngược trực giác và một phần vì được in ở một nơi ít người đọc. Sự công nhận rộng rãi chỉ đến sau khi ông mất, khi thư từ của Gauss được công bố và các mô hình của Beltrami ra đời.
Hình học phi Euclid có liên quan gì tới học máy và dữ liệu không?
Có một hướng nghiên cứu dùng không gian hyperbolic để biểu diễn dữ liệu có cấu trúc dạng cây, như phân cấp khái niệm, vì không gian hyperbolic "rộng ra" rất nhanh khi đi xa gốc, giống số nút của cây tăng theo cấp số nhân. Đây là hướng còn đang phát triển, bạn nên đọc các bài tổng quan mới nhất nếu quan tâm.