Bối cảnh và vấn đề nghiên cứu

Hình học Hyperbolic là một nhánh của hình học phi Euclid, ra đời từ cuộc tranh luận kéo dài nhiều thế kỷ xung quanh tiên đề thứ năm của Euclid — thường được phát biểu tương đương là: "Qua một điểm nằm ngoài một đường thẳng, ta vẽ được một và chỉ một đường thẳng song song với đường thẳng đã cho." Jean le Rond d'Alembert từng gọi đây là "điểm đen duy nhất" trong hệ thống hình học Euclid. Nhiều thế hệ nhà toán học đã cố gắng chứng minh tiên đề này từ các tiên đề còn lại nhưng đều thất bại; hướng tiếp cận phủ định tiên đề thứ năm thay vì dẫn tới mâu thuẫn, lại mở ra một thế giới hình học nhất quán hoàn toàn mới — hình học phi Euclid, bao gồm hình học Elliptic (Bernhard Riemann) và hình học Hyperbolic (Nikolay Ivanovich Lobachevsky, János Bolyai, Carl Friedrich Gauss).

Sinh viên Võ Trọng Nghĩa, chuyên ngành Hình học, Khoa Toán – Tin học, Trường Đại học Sư phạm Thành phố Hồ Chí Minh, chọn đề tài "Hình học Hyperbolic" cho khóa luận tốt nghiệp năm 2022 xuất phát từ nhận thức về tính mới mẻ và sâu sắc của quan điểm hình học phi Euclid. Khóa luận được thực hiện dưới sự hướng dẫn của TS. Nguyễn Hà Thanh.

Mục tiêu nghiên cứu:

  1. Tìm hiểu ý tưởng nền tảng của hình học phi Euclid, cụ thể là hình học Hyperbolic.
  2. Trình bày các nội dung cơ bản của hình học Hyperbolic trên mô hình đĩa Poincaré: đường thẳng, phép biến đổi, khoảng cách, diện tích.
  3. Giới thiệu một số kết quả của hình học Hyperbolic trong mô hình bán phẳng.

Phạm vi nghiên cứu: Đề tài tập trung vào các vấn đề cơ bản của hình học Hyperbolic với mô hình đĩa Poincaré là trọng tâm chính; mô hình bán phẳng được trình bày bổ sung ở phần phụ lục. Không gian nghiên cứu là hình học thuần lý thuyết, không giới hạn thời gian theo nghĩa dữ liệu thực nghiệm.


Cơ sở lý thuyết và phương pháp

Khung lý thuyết và khái niệm nền tảng:

Khóa luận xây dựng trên nền tảng hệ tiên đề Euclid, từ đó xuất phát bằng cách thay thế Định đề Song song của Euclid bằng "Định đề Song song Hyperbolic": Cho một đường thẳng l và điểm P không nằm trên l, khi đó có ít nhất hai đường thẳng m, n đi qua P không cắt l. Các khung lý thuyết chính được sử dụng bao gồm:

  • Mô hình đĩa Poincaré (Henri Poincaré): không gian các điểm nằm bên trong đĩa đơn vị D = {z : |z| < 1} trên mặt phẳng phức.
  • Phép nghịch đảo và phép đối xứng trong hình học Euclid và hình học nghịch đảo.
  • Phép biến đổi Möbius: mọi phép biến đổi Hyperbolic đều biểu diễn được dưới dạng phép biến đổi Möbius M(z) = (αz + β)/(βz + α) trên đĩa D, với |β| < |α|.
  • Hàm tanh⁻¹: cơ sở xây dựng công thức khoảng cách Hyperbolic.
  • Lý thuyết nhóm đại số: tập hợp các phép biến đổi Hyperbolic tạo thành nhóm Hyperbolic, ký hiệu G_D.

Phương pháp nghiên cứu:

Khóa luận sử dụng thuần túy phương pháp nghiên cứu lý thuyết, cụ thể là phương pháp phân tích và tổng hợp lý thuyết: nghiên cứu tài liệu, phân tích từng bộ phận để hiểu sâu từng khía cạnh của hình học Hyperbolic, sau đó liên kết lại thành một hệ thống lý thuyết nhất quán từ đầu đến cuối. Không có khảo sát, thực nghiệm hay phân tích dữ liệu số trong đề tài này.

Nguồn dữ liệu: Tài liệu tham khảo học thuật chuyên ngành (liệt kê trong mục Tài liệu tham khảo, trang 94 của khóa luận).


Nội dung chính theo từng chương

Chương 1: Hình học Hyperbolic — Mô hình đĩa Poincaré

Chương này thiết lập nền móng khái niệm của toàn bộ khóa luận. Tác giả giới thiệu mô hình đĩa Poincaré với không gian là đĩa đơn vị D, trong đó:

  • Điểm Hyperbolic là các điểm z thỏa |z| < 1; các điểm trên đường tròn đơn vị C = {z : |z| = 1} không thuộc hình học Hyperbolic.
  • Đường thẳng Hyperbolic là phần của một "đường tròn tổng quát" (đường tròn hoặc đường thẳng Euclid) nằm hoàn toàn trong D và trực giao với C. Tác giả chứng minh rằng nếu đường thẳng d là đường thẳng Euclid thì nó phải là đường kính của C; nếu là cung tròn thì không thể đi qua tâm O. Mệnh đề 1 khẳng định phương trình của đường thẳng Hyperbolic có dạng Ax + By = 0 (A² + B² ≠ 0) hoặc x² + y² + ax + by + 1 = 0 với a² + b² > 4.
  • Định đề Song song Hyperbolic được minh họa cụ thể: cho đường thẳng Hyperbolic d và điểm P trong D không nằm trên d, tồn tại đúng hai đường thẳng Hyperbolic qua P song song với d (cắt C tại cùng điểm giới hạn), và vô số đường thẳng siêu song song.
  • Phản xạ Hyperbolic được định nghĩa là giới hạn của phép nghịch đảo trong đường tròn chứa đường thẳng Hyperbolic đối với D; tích hữu hạn các phản xạ Hyperbolic tạo thành nhóm Hyperbolic G_D.
  • Góc Hyperbolic giữa hai đường cong tại điểm P trong D được định nghĩa là góc Euclid giữa các tiếp tuyến tại P của hai đường cong đó. Phép biến đổi Hyperbolic có tính bảo giác.
  • Các định lý quan trọng được chứng minh: qua hai điểm phân biệt trong D tồn tại duy nhất một đường thẳng Hyperbolic; qua mỗi điểm trong D có vô số đường thẳng Hyperbolic.

Chương 2: Các phép biến đổi Hyperbolic

Chương này khai thác cấu trúc đại số của nhóm Hyperbolic (G_D, ∘) thông qua biểu diễn bằng số phức và phép biến đổi Möbius.

  • Bổ đề 2 thiết lập công thức tường minh của phản xạ Hyperbolic p qua đường thẳng Hyperbolic có đường tròn tâm α: p(z) = (αz̄ − 1)/(z̄ − α).
  • Định lý 2 cho công thức tích của hai phản xạ Hyperbolic p(z) = (αz̄ − 1)/(z̄ − α) và q(z) = (βz̄ − 1)/(z̄ − β): kết quả là phép biến đổi Hyperbolic φ(z) = [(αβ − 1)z + α − β] / [(ᾱ − β̄)z + ᾱβ̄ − 1].
  • Mệnh đề 2 chứng minh rằng mọi phép biến đổi Hyperbolic đều biểu diễn được dưới dạng phép biến đổi Möbius M(z) = (αz + β)/(β̄z + ᾱ) và ngược lại, mọi phép biến đổi Möbius trên D đều là phép biến đổi Hyperbolic. Hai tập hợp này đồng nhất với nhau.
  • Dựa trên tính chất định hướng, tác giả phân loại phép biến đổi Hyperbolic thành trực tiếp (bảo toàn định hướng, tích của số chẵn phản xạ) và gián tiếp (đảo định hướng, tích của số lẻ phản xạ).
  • Dạng chính tắc của phép biến đổi trực tiếp: p(z) = K(z − a)/(1 − āz), |K| = 1, |a| < 1. Nghịch đảo của p là p⁻¹(z) = K̄(z + Ka)/(1 + K̄āz). Chương cũng định nghĩa phép quay Hyperbolic (khi hai đường thẳng Hyperbolic d₁ và d₂ cắt nhau tại A ∈ D, có điểm bất biến A), phép quay giới hạn Hyperbolic (khi d₁ và d₂ song song, không có điểm bất biến trong D) và phép tịnh tiến Hyperbolic (khi d₁ và d₂ siêu song song, không có điểm bất biến trên D lẫn C). Lưu ý rằng tích hai phép tịnh tiến Hyperbolic không có tính giao hoán, khác với hình học Euclid.

Chương 3: Khoảng cách trong hình học Hyperbolic

Chương này xây dựng và phân tích hàm khoảng cách Hyperbolic.

  • Định nghĩa 3.1 xác định khoảng cách Hyperbolic d : D × D → ℝ thỏa sáu tính chất, bao gồm tính bất biến qua phép biến đổi Hyperbolic (đẳng cự) — tính chất phân biệt so với khoảng cách Euclid.
  • Công thức khoảng cách được rút ra: d(z₁, z₂) = tanh⁻¹(|z₂ − z₁| / |1 − z̄₁z₂|), trong đó tanh⁻¹(z) = ½ ln((1 + z)/(1 − z)). Đặc biệt, d(0, z) = tanh⁻¹(|z|).
  • Hai tính chất nổi bật được chỉ ra: khi |z| → 0 thì d(0, z) → |z| (vùng đủ nhỏ quanh O, khoảng cách Hyperbolic xấp xỉ khoảng cách Euclid, tương tự bề mặt Trái Đất nhìn như phẳng ở quy mô nhỏ); khi |z| → 1 thì d(0, z) → ∞ (các điểm trên biên "vô cùng xa" so với tâm, nhất quán với ý tưởng hai đường thẳng song song gặp nhau ở vô cùng).
  • Trung điểm Hyperbolic được định nghĩa và trình bày phương pháp xác định cho các điểm nằm trên đường kính của D.
  • Đường tròn Hyperbolic {a ∈ D : d(c, a) = r} được chứng minh trùng với đường tròn Euclid trong D (và ngược lại), tuy nhiên tâm Hyperbolic và tâm Euclid có thể không trùng nhau nhưng cùng thẳng hàng với O.
  • Điểm đối xứng Hyperbolic được định nghĩa tương tự hình học Euclid; trục đối xứng d là đường trung trực Hyperbolic của đoạn thẳng aa'. Công thức xác định trục đối xứng khi cho trước cặp điểm p, q ∈ D được dẫn ra: a = (p − q)/(pp̄ − qq̄).

Chương 4: Các khái niệm hình học cơ bản

Chương này phát triển hình học tổ hợp và hình học hình thức trong môi trường Hyperbolic.

  • Tam giác, tứ giác và đa giác Hyperbolic được định nghĩa tương tự hình học Euclid nhưng trong đĩa D với các cạnh là đoạn thẳng Hyperbolic.
  • Các tính chất quan trọng được chứng minh: hai cạnh bất kỳ của tam giác Hyperbolic chỉ cắt nhau tại đỉnh; tổng ba góc của tam giác Hyperbolic nhỏ hơn π; tổng bốn góc tứ giác Hyperbolic nhỏ hơn 2π; góc ngoài lớn hơn tổng hai góc trong không kề với nó. Điều này trái ngược hoàn toàn với hình học Euclid.
  • Định lý đồng dạng ⟹ bằng nhau: hai tam giác Hyperbolic đồng dạng (có các cặp góc tương ứng bằng nhau) thì bằng nhau — một kết quả không có trong hình học Euclid.
  • Tam giác tiệm cận được phân loại: tam giác tiệm cận đơn (một đỉnh trên C), tam giác tiệm cận kép (hai đỉnh trên C) và tam giác ba tiệm cận (ba đỉnh trên C, tổng ba góc bằng 0).
  • Đoạn thẳng vuông góc chung của hai đường thẳng Hyperbolic tồn tại khi và chỉ khi chúng siêu song song, và nếu có thì là duy nhất — khác với hình học Euclid (vô số đoạn vuông góc chung giữa hai đường song song).

Kết quả và đóng góp

Kết quả chính:

Tính chất Hình học Euclid Hình học Hyperbolic
Số đường thẳng song song qua điểm ngoài Đúng 1 Đúng 2 (song song) + vô số (siêu song song)
Tổng ba góc tam giác = π < π
Tam giác đồng dạng mà không bằng nhau Có Không — đồng dạng tức là bằng nhau
Tổng ba góc tam giác ba tiệm cận — = 0
Khoảng cách đến biên đĩa Hữu hạn Vô cùng (d → ∞ khi
Tích hai phép tịnh tiến có giao hoán Có Không

Kết quả công thức được thiết lập trong văn bản:

  • Công thức phản xạ Hyperbolic: p(z) = (αz̄ − 1)/(z̄ − α)
  • Dạng chính tắc phép biến đổi trực tiếp: p(z) = K(z − a)/(1 − āz), |K| = 1, |a| < 1
  • Công thức khoảng cách Hyperbolic: d(z₁, z₂) = tanh⁻¹(|z₂ − z₁|/|1 − z̄₁z₂|)
  • Công thức trục đối xứng Hyperbolic: a = (p − q)/(pp̄ − qq̄)

Đóng góp so với nghiên cứu trước: Tác giả không tự nhận đóng góp nguyên gốc; đây là khóa luận tổng hợp lý thuyết nhằm hệ thống hóa và trình bày một cách mạch lạc, thống nhất từ đầu đến cuối các nội dung cơ bản của hình học Hyperbolic mô hình đĩa Poincaré bằng tiếng Việt, phù hợp với trình độ sinh viên đại học chuyên ngành toán.


Hạn chế và hướng nghiên cứu tiếp

Tác giả thừa nhận trong lời mở đầu rằng luận văn "không thể tránh khỏi những thiếu sót" và mong nhận góp ý. Dựa trên phạm vi được xác định trong văn bản:

  • Đề tài giới hạn ở mô hình đĩa Poincaré; mô hình bán phẳng chỉ được trình bày sơ lược ở phụ lục, chưa được phát triển song hành.
  • Diện tích Hyperbolic được đưa vào phụ lục (Phụ lục 1, trang 65) nhưng không được tích hợp sâu vào nội dung chính.
  • Hướng mở theo phạm vi nghiên cứu: mở rộng sang hình học Hyperbolic chiều cao hơn (không gian Hyperbolic 3 chiều), khảo sát liên hệ giữa mô hình đĩa Poincaré và mô hình hyperboloid (mô hình Minkowski), hoặc ứng dụng hình học Hyperbolic trong lý thuyết tương đối hẹp và khoa học máy tính (không gian nhúng Hyperbolic trong học máy).

Giá trị tham khảo

Khóa luận phù hợp làm tài liệu đọc thêm cho:

  • Sinh viên ngành Toán, Toán ứng dụng ở bậc đại học muốn tìm hiểu hình học phi Euclid lần đầu, đặc biệt phần trình bày hệ thống từ tiên đề đến các định lý trong Chương 1 và Chương 4.
  • Sinh viên làm khóa luận về hình học Hyperbolic hoặc hình học vi phân có thể tham khảo cách xây dựng công thức khoảng cách và phép biến đổi Möbius trong Chương 2 và Chương 3.
  • Giảng viên toán phổ thông và đại học quan tâm đến hướng trình bày tiên đề, đặc biệt là cách tác giả dẫn dắt từ lịch sử tiên đề Euclid sang hình học phi Euclid.
  • Phụ lục 3 (bài tập, trang 82) có giá trị tham khảo cho người tự học muốn luyện tập tính toán trong hình học Hyperbolic.

Câu hỏi thường gặp

1. Khóa luận định nghĩa đường thẳng Hyperbolic như thế nào và điều kiện để một cung tròn là đường thẳng Hyperbolic?

Đường thẳng Hyperbolic là phần của một đường tròn tổng quát (đường tròn hoặc đường thẳng Euclid) nằm hoàn toàn trong D và trực giao với C. Theo Mệnh đề 1, điều kiện là phương trình có dạng x² + y² + ax + by + 1 = 0 với a² + b² > 4, hoặc dạng Ax + By = 0 (đường kính). Ví dụ trong văn bản: d: x² + y² + 3x − 2y + 1 = 0, kiểm tra a = 3, b = −2, a² + b² = 13 > 4 nên d là đường thẳng Hyperbolic.

2. Tại sao hai tam giác Hyperbolic đồng dạng thì nhất thiết phải bằng nhau, và điều này khác hình học Euclid như thế nào?

Trong hình học Euclid, hai tam giác đồng dạng có thể có kích thước khác nhau (tỉ lệ khác 1). Trong hình học Hyperbolic, vì không tồn tại phép co dãn đồng dạng giữ nguyên góc, nếu hai tam giác có ba cặp góc tương ứng bằng nhau thì tồn tại phép biến đổi Hyperbolic biến tam giác này thành tam giác kia, nghĩa là chúng bằng nhau. Điều này được chứng minh bằng phản chứng qua việc xét các trường hợp vị trí tương đối của hai tam giác sau khi biến đổi về cùng tâm O.

3. Công thức khoảng cách Hyperbolic d(z₁, z₂) = tanh⁻¹(|z₂ − z₁|/|1 − z̄₁z₂|) được xây dựng từ đâu?

Tác giả xuất phát từ sáu tính chất của hàm khoảng cách Hyperbolic (bao gồm tính bất biến qua phép biến đổi Hyperbolic), sau đó dùng phép biến đổi trực tiếp M(z) = (z − z₁)/(1 − z̄₁z) để đưa z₁ về gốc O. Khi đó d(z₁, z₂) = d(0, w) với w = (z₂ − z₁)/(1 − z̄₁z₂). Hàm tanh⁻¹ được xác định là hàm duy nhất thỏa mãn tất cả các điều kiện trên, dẫn đến định lý d(0, z) = tanh⁻¹(|z|).

4. Sự khác biệt giữa "song song" và "siêu song song" trong hình học Hyperbolic là gì?

Hai đường thẳng Hyperbolic không giao nhau trong D được gọi là song song nếu đường tròn tổng quát chứa chúng cắt nhau tại một điểm nằm trên đường tròn đơn vị C (điểm giới hạn chung). Chúng được gọi là siêu song song nếu đường tròn tổng quát của chúng không giao nhau kể cả trên C. Hệ quả: hai đường thẳng siêu song song mới có đoạn thẳng vuông góc chung (và là duy nhất), còn hai đường thẳng song song thì không.

5. Tam giác ba tiệm cận có tổng ba góc bằng bao nhiêu và điều đó có ý nghĩa gì?

Tổng ba góc của tam giác ba tiệm cận (cả ba đỉnh nằm trên C) bằng 0. Đây là giới hạn của kết quả "tổng ba góc tam giác Hyperbolic nhỏ hơn π": khi các đỉnh tiến dần ra biên C (khoảng cách Hyperbolic đến vô cùng), mỗi góc nội tiếp tiến về 0. Điều này không mâu thuẫn với hình học vì các đỉnh không thuộc D và tam giác tiệm cận về cơ bản khác với tam giác Hyperbolic thông thường.


Kết luận

Khóa luận trình bày hệ thống và nhất quán nền tảng lý thuyết của hình học Hyperbolic trong mô hình đĩa Poincaré, bao gồm bốn nội dung chính: định nghĩa và cấu trúc hình học cơ bản, phép biến đổi Hyperbolic và mối liên hệ với phép biến đổi Möbius, khoảng cách Hyperbolic và các hệ quả hình học, cùng các khái niệm hình học hình thức như tam giác, đồng dạng và đối xứng. Kết quả nổi bật là chứng minh rằng mọi phép biến đổi Hyperbolic đồng nhất với phép biến đổi Möbius trên D, thiết lập công thức khoảng cách bằng hàm tanh⁻¹, và chứng minh định lý đặc trưng của hình học Hyperbolic: hai tam giác đồng dạng thì bằng nhau. Đây là tài liệu nghiên cứu lý thuyết bằng tiếng Việt, phù hợp làm nền tảng cho các nghiên cứu chuyên sâu hơn về hình học phi Euclid.