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

Khóa luận tốt nghiệp "Hình học xạ ảnh của conic" do sinh viên Nguyễn Đức Thịnh thực hiện dưới sự hướng dẫn của TS. Nguyễn Hà Thanh tại Khoa Toán - Tin học, Trường Đại học Sư phạm Thành phố Hồ Chí Minh (tháng 5 năm 2023). Đề tài thuộc chuyên ngành Hình học, tập trung vào việc khảo sát và hệ thống hóa lý thuyết đường conic dưới góc nhìn của hình học xạ ảnh.

Về bối cảnh thực tiễn và lịch sử, đường conic ban đầu được nghiên cứu như các thiết diện tạo bởi mặt phẳng cắt qua hình nón (conic sections). Nhà toán học người Pháp Girard Desargues đã chỉ ra rằng hai đường conic bất kỳ trong không gian $\mathbb{R}^3$ đều có thể thu được dưới dạng các phần của một hình nón, từ đó mở ra cách tiếp cận thống nhất cho lý thuyết conic. Kế thừa tư tưởng này, Blaise Pascal đã phát triển Định lý Pascal nổi tiếng áp dụng cho các đường conic. Xuất phát từ việc các đường conic không suy biến (elip, parabol, hyperbol) phát sinh khi cắt một hình nón kép bằng mặt phẳng không đi qua đỉnh, hình học xạ ảnh chứng minh rằng tồn tại phép phối cảnh ánh xạ một đường conic không suy biến bất kỳ lên một đường conic không suy biến khác. Do đó, tất cả các conic không suy biến đều đồng dạng xạ ảnh, xóa bỏ ranh giới phân loại hình học thông thường và gọi chung là "conic xạ ảnh".

Mục tiêu và nhiệm vụ nghiên cứu của tác giả bao gồm:

  1. Định nghĩa và mô tả các bề mặt trong $\mathbb{R}^3$ tương ứng với conic xạ ảnh trong mặt phẳng xạ ảnh $\mathbb{P}^2$, chứng minh tính đồng dạng xạ ảnh của các conic không suy biến và tính bất biến xạ ảnh của tiếp tuyến.
  2. Thiết lập và khai thác ký hiệu rút gọn của Ferdinand Joachimsthal để xây dựng các công thức đại số tường minh cho tiếp tuyến, cặp tiếp tuyến từ một điểm và đường đối cực đối với conic phẳng và conic xạ ảnh.
  3. Khảo sát các dạng chuẩn tắc của phương trình conic xạ ảnh (đặc biệt là dạng $xy + yz + zx = 0$) và chứng minh các định lý hình học nền tảng như Định lý năm điểm, Định lý ba điểm, Định lý ba tiếp tuyến và Định lý Pascal.

Đối tượng nghiên cứu là các đường conic phẳng (elip, parabol, hyperbol, đường tròn) và đường conic xạ ảnh trong mặt phẳng xạ ảnh thực $\mathbb{P}^2$. Phạm vi nghiên cứu giới hạn ở hình học giải tích và hình học xạ ảnh trên trường số thực $\mathbb{R}$, tập trung vào các tính chất xạ ảnh (tính cộng tuyến, đồng quy, tiếp xúc, liên hợp cực - đối cực) và các phép biến đổi xạ ảnh không suy biến.

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

Khóa luận được xây dựng dựa trên hệ thống cơ sở lý thuyết toán học thuần túy của hình học giải tích và hình học xạ ảnh:

  • Khung lý thuyết và mô hình:
    • Mô hình mặt phẳng xạ ảnh thực $\mathbb{P}^2$ thông qua tọa độ thuần nhất $[x, y, z]$ với phép nhúng tiêu chuẩn $\pi: z = 1$.
    • Lý thuyết thiết diện nón và phép chiếu phối cảnh (perspective projection).
    • Ký hiệu đại số của Ferdinand Joachimsthal (1818–1861) cho dạng toàn phương và dạng song tuyến tính liên kết.
    • Định lý cơ bản của Hình học xạ ảnh, Định lý Ceva đảo và Định lý La Hire về cực - đối cực.
  • Phương pháp nghiên cứu:
    • Phương pháp giải tích - đại số hóa: Sử dụng tọa độ thuần nhất, ma trận liên kết $3 \times 3$ của phép biến đổi xạ ảnh và các phương trình cấp hai thuần nhất dạng $Ax^2 + Bxy + Cy^2 + Fxz + Gyz + Hz^2 = 0$.
    • Phương pháp tổng hợp và chuyển đổi mô hình: Chuyển đổi qua lại giữa hình học Euclide trong mặt phẳng nhúng $z=1$ và hình học xạ ảnh trong $\mathbb{P}^2$ bằng cách bổ sung các điểm lý tưởng (điểm ở vô tận dạng $[x, y, 0]$).
    • Phương pháp tham số hóa và dạng chuẩn tắc: Đơn giản hóa phương trình conic bằng cách chọn hệ quy chiếu xạ ảnh đưa các điểm đặc biệt về tam giác cơ sở $[1,0,0], [0,1,0], [0,0,1]$.
  • Nguồn dữ liệu: Toàn bộ hệ thống định nghĩa, bổ đề, định lý, ví dụ tính toán số học tường minh và hình vẽ minh họa hình học được kế thừa và phát triển từ tài liệu chuyên khảo về hình học xạ ảnh.

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

Chương 1: Conic xạ ảnh

Chương 1 thiết lập cầu nối giữa conic Euclide trong mặt phẳng nhúng và conic xạ ảnh trong $\mathbb{P}^2$. Tác giả phân tích hình nón tròn xoay có đỉnh tại gốc tọa độ $O$ cắt mặt phẳng nhúng $\pi: z=1$. Một đường tròn $x^2 + y^2 = 1$ trong $\pi$ tương ứng với hình nón $x^2 + y^2 = z^2$ trong không gian. Khi xét hyperbol $y^2 - 4x^2 = 1, z = 1$, phương trình mở rộng là $y^2 - 4x^2 = z^2$ ($z \neq 0$), thiếu hai hướng tiệm cận; khi bổ sung hai điểm lý tưởng $[1, 2, 0]$ và $[1, -2, 0]$, ta thu được conic xạ ảnh đầy đủ.

Phương trình tổng quát của conic xạ ảnh có bậc hai thuần nhất: $$Ax^2 + Bxy + Cy^2 + Fxz + Gyz + Hz^2 = 0$$

Conic là suy biến nếu phân tích được thành tích hai phương trình tuyến tính (ví dụ $27x^2 + 30xy - 8y^2 + 14yz - 3z^2 = (9x - 2y + 3z)(3x + 4y - z) = 0$, biểu diễn cặp đường thẳng) và không suy biến trong các trường hợp elip, parabol, hyperbol. Định lý 1 khẳng định phép biến đổi xạ ảnh bảo toàn tính không suy biến của conic. Định lý 2 chứng minh tính chất "tiếp tuyến" cũng như vị trí "điểm trong/điểm ngoài" là bất biến xạ ảnh.

Trong mục khảo sát thiết diện nón cắt bởi mặt phẳng nghiêng góc $\theta$ so với đáy và đường sinh nghiêng góc $\alpha$, tác giả thu được phương trình giao tuyến dạng $u^2 + Cv^2 + Gv + H = 0$ với $C = \cos^2\theta - \frac{\sin^2\theta}{\tan^2\alpha}$, từ đó xác định tâm sai $e = \frac{\sin\theta}{\sin\alpha}$:

Góc nghiêng $\theta$ Giá trị $C$ Biệt thức $B^2 - 4AC$ Loại đường conic Tâm sai $e = \frac{\sin\theta}{\sin\alpha}$
$\theta < \alpha$ $C > 0$ $B^2 - 4AC < 0$ Elip $e \in [0, 1)$
$\theta = \alpha$ $C = 0$ $B^2 - 4AC = 0$ Parabol $e = 1$
$\theta > \alpha$ $C < 0$ $B^2 - 4AC > 0$ Hyperbol $e \in \left(1, \frac{1}{\sin\alpha}\right]$

Từ Định lý 4 về phối cảnh, tác giả chứng minh Định lý 6 (Định lý ba tiếp tuyến): Nếu ba tiếp tuyến của một conic phẳng không suy biến cắt nhau tạo thành tam giác với các tiếp điểm là $P, Q, R$, thì các đường thẳng nối đỉnh với tiếp điểm đối diện $AP, BQ, CR$ đồng quy. Chứng minh được thực hiện gọn gàng bằng cách quy về đường tròn và áp dụng Định lý Ceva đảo.

Chương 2: Tiếp tuyến

Chương 2 trình bày chi tiết ký hiệu của Ferdinand Joachimsthal để giải đại số các bài toán tiếp tuyến và cực - đối cực. Đối với conic phẳng $s = Ax^2 + Bxy + Cy^2 + Fx + Gy + H = 0$ và hai điểm $P_1(x_1, y_1), P_2(x_2, y_2)$, các ký hiệu được xác định:

  • $s_{11} = Ax_1^2 + Bx_1y_1 + Cy_1^2 + Fx_1 + Gy_1 + H$
  • $s_1 = Ax_1x + \frac{1}{2}B(x_1y + xy_1) + Cy_1y + \frac{1}{2}F(x_1 + x) + \frac{1}{2}G(y_1 + y) + H$
  • $s_{12} = Ax_1x_2 + \frac{1}{2}B(x_1y_2 + x_2y_1) + Cy_1y_2 + \frac{1}{2}F(x_1 + x_2) + \frac{1}{2}G(y_1 + y_2) + H$

Giao điểm của đường thẳng nối $P_1, P_2$ chia theo tỷ số $k:1$ với conic dẫn đến Phương trình tiếp tuyến của Joachimsthal: $$s_{22}k^2 + 2s_{12}k + s_{11} = 0$$

Từ điều kiện nghiệm kép của phương trình bậc hai, chương này rút ra các kết quả cơ bản:

  1. Phương trình tiếp tuyến tại $P_1$ thuộc conic: $s_1 = 0$.
  2. Phương trình cặp tiếp tuyến kẻ từ điểm $P_1$ bên ngoài conic: $(s_1)^2 = s \cdot s_{11}$.
  3. Phương trình đường đối cực của điểm cực $P_1$: $s_1 = 0$.
  4. Định lý 3 (Định lý La Hire): Nếu điểm $P_2$ nằm trên đường đối cực của $P_1$ đối với conic $E$, thì $P_1$ nằm trên đường đối cực của $P_2$ đối với $E$.

Tác giả mở rộng toàn bộ hệ thống biểu thức Joachimsthal sang mặt phẳng xạ ảnh $\mathbb{P}^2$ với tọa độ thuần nhất, áp dụng giải quyết ví dụ tính toán cụ thể cho conic xạ ảnh $4x^2 + xy - 2y^2 - 8xz - 2yz + 4z^2 = 0$.

Chương 3: Một số định lý

Chương 3 vận dụng tính đồng dạng xạ ảnh và Định lý cơ bản của Hình học xạ ảnh để thiết lập các định lý cấu trúc:

  • Định lý 1 (Định lý năm điểm): Qua năm điểm phân biệt trong mặt phẳng xạ ảnh $\mathbb{P}^2$, trong đó không có ba điểm nào thẳng hàng, tồn tại duy nhất một conic xạ ảnh không suy biến. Với 5 điểm chọn là $[1,0,0], [0,1,0], [0,0,1], [1,1,1]$ và $[a,b,c]$, phương trình tường minh của conic là: $$c(a - b)xy + b(c - a)xz + a(b - c)yz = 0$$
  • Hệ quả 2: Có vô số conic xạ ảnh không suy biến đi qua bốn điểm cho trước (không có ba điểm thẳng hàng).
  • Định lý 2 (Định lý ba điểm): Cho hai conic xạ ảnh không suy biến $E_1, E_2$ lần lượt đi qua các bộ ba điểm $(P_1, Q_1, R_1)$ và $(P_2, Q_2, R_2)$. Luôn tồn tại phép biến đổi xạ ảnh $\tau$ ánh xạ $E_1$ lên $E_2$ sao cho $\tau(P_1) = P_2, \tau(Q_1) = Q_2, \tau(R_1) = R_2$.
  • Quy trình đưa conic về dạng chuẩn: Tác giả nêu thuật toán 4 bước tìm ma trận biến đổi biến một conic bất kỳ thành conic dạng chuẩn $xy + yz + zx = 0$.
  • Dạng chuẩn $xy + yz + zx = 0$ và tham số hóa: Trong mặt phẳng nhúng $z = 1$, conic chuẩn tương ứng với hyperbol vuông $(x+1)(y+1) = 1$. Định lý 3 (Định lý tham số hóa) chứng minh mọi điểm trên conic chuẩn (ngoài các đỉnh cơ sở) đều biểu diễn được dưới dạng tham số thực duy nhất $t$.

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

Khóa luận đạt được các kết quả toán học cụ thể sau:

  • Hệ thống hóa lý thuyết đồng dạng xạ ảnh: Chứng minh tường minh rằng thông qua phép chiếu từ đỉnh hình nón tròn xoay, mọi đường conic không suy biến trong hình học Euclide đều tương đương xạ ảnh với nhau, cho phép quy việc chứng minh các định lý phức tạp về đường tròn hoặc hyperbol vuông.
  • Xây dựng biểu thức Joachimsthal trên $\mathbb{P}^2$: Chuyển đổi thành công hệ thống giải tích tiếp xúc từ $\mathbb{R}^2$ sang $\mathbb{P}^2$, thiết lập công thức xác định tiếp tuyến ($s_1 = 0$), cặp tiếp tuyến ($(s_1)^2 = s \cdot s_{11}$) và đường đối cực cho conic xạ ảnh cấp hai.
  • Chứng minh giải tích Định lý năm điểm và Định lý ba điểm: Đưa ra công thức giải tích giải chính xác phương trình conic qua 5 điểm $c(a - b)xy + b(c - a)xz + a(b - c)yz = 0$ và thuật toán ma trận đưa conic tổng quát về dạng chuẩn $xy + yz + zx = 0$.
  • Đóng góp học thuật tự thân: Khóa luận cung cấp một tài liệu tổng hợp có tính sư phạm cao, kết nối trực quan hình học cổ điển (thiết diện nón của Desargues, Pascal) với công cụ đại số tuyến tính hiện đại (ma trận biến đổi xạ ảnh, tọa độ thuần nhất).

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

  • Hạn chế: Khóa luận chỉ giới hạn khảo sát trên trường số thực $\mathbb{R}$ và không gian xạ ảnh 2 chiều $\mathbb{P}^2$. Văn bản chưa mở rộng sang không gian xạ ảnh phức $\mathbb{P}^2(\mathbb{C})$ (nơi mọi conic đều hoàn toàn đồng nhất và không có điểm rỗng) hoặc không gian nhiều chiều hơn $\mathbb{P}^n$.
  • Hướng nghiên cứu tiếp: Mở rộng lý thuyết dạng chuẩn và tính chất đối cực cho mặt bậc hai (quadric surfaces) trong không gian xạ ảnh 3 chiều $\mathbb{P}^3$; nghiên cứu sâu hơn ứng dụng của định lý Pascal và định lý Brianchon trong giải toán hình học phẳng sơ cấp và đồ họa máy tính.

Giá trị tham khảo

Khóa luận là tài liệu tham khảo giá trị cho:

  • Sinh viên chuyên ngành Toán học, Sư phạm Toán học đang học các học phần Hình học xạ ảnh, Hình học cao cấp và Đại số tuyến tính.
  • Giảng viên và học viên cao học cần tài liệu tham khảo về phương pháp Joachimsthal và kỹ thuật tham số hóa dạng chuẩn conic.
  • Giáo viên bồi dưỡng học sinh giỏi môn Toán khối THPT khi khai thác các bài toán cực - đối cực, định lý Pascal, định lý Ceva và tính đồng quy - thẳng hàng bằng công cụ xạ ảnh.

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

1. Tại sao trong hình học xạ ảnh không có sự phân biệt giữa elip, parabol và hyperbol?
Vì qua phép chiếu phối cảnh có tâm tại đỉnh hình nón kép, một conic không suy biến bất kỳ luôn có thể ánh xạ 1-1 lên một conic không suy biến khác. Do đó, tất cả các conic không suy biến đều đồng dạng xạ ảnh và được gọi chung là conic xạ ảnh.

2. Phương trình tiếp tuyến của Joachimsthal có dạng như thế nào và ý nghĩa của nó là gì?
Phương trình có dạng $s_{22}k^2 + 2s_{12}k + s_{11} = 0$, biểu diễn điều kiện giao điểm của đường thẳng nối $P_1, P_2$ (chia theo tỷ số $k:1$) với conic $s = 0$. Số nghiệm thực của phương trình cho biết đường thẳng cắt conic tại hai điểm phân biệt, tiếp xúc tại một điểm kép hay không cắt.

3. Phương trình tường minh của conic xạ ảnh đi qua 5 điểm $[1,0,0], [0,1,0], [0,0,1], [1,1,1]$ và $[a,b,c]$ được xác định như thế nào?
Phương trình được xác định duy nhất bởi công thức: $$c(a - b)xy + b(c - a)xz + a(b - c)yz = 0$$

4. Dạng chuẩn tắc $xy + yz + zx = 0$ tương ứng với hình gì trong mặt phẳng nhúng tiêu chuẩn $z = 1$?
Trong mặt phẳng nhúng $z = 1$, phương trình trở thành $xy + y + x = 0$ hay $(x + 1)(y + 1) = 1$, biểu diễn một hyperbol vuông (hyperbol đều) có hai đường tiệm cận vuông góc nhau là $x = -1$ và $y = -1$.

5. Định lý La Hire phát biểu điều gì về mối quan hệ giữa cực và đường đối cực?
Định lý La Hire phát biểu rằng nếu điểm $P_2$ nằm trên đường đối cực của điểm $P_1$ đối với một conic không suy biến $E$, thì điểm $P_1$ cũng nhất thiết nằm trên đường đối cực của điểm $P_2$ đối với $E$.

Kết luận

Khóa luận tốt nghiệp của sinh viên Nguyễn Đức Thịnh đã giải quyết trọn vẹn và tường minh các vấn đề nền tảng của lý thuyết đường conic trong hình học xạ ảnh $\mathbb{P}^2$. Bằng việc kết hợp hài hòa giữa hình học thiết diện nón trực quan và đại số giải tích Joachimsthal, tác giả đã chứng minh tính đồng dạng xạ ảnh của các conic không suy biến và xây dựng hệ thống công thức giải tích cho tiếp tuyến, cực - đối cực và các định lý năm điểm, ba điểm. Công trình là tài liệu học thuật chỉn chu, hữu ích cho việc nghiên cứu, giảng dạy hình học xạ ảnh và đại số tuyến tính ứng dụng.