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

Trong chương trình giảng dạy môn Toán ở bậc trung học phổ thông, nội dung khảo sát hàm số và hình học giải tích lớp 12 có nhiều bài toán liên quan trực tiếp đến việc xác định quỹ tích của một điểm, bao hình của một họ đường cong hoặc một họ đường thẳng. Tuy nhiên, các kiến thức về lý thuyết bao hình và tính chất sâu của các đường bậc hai chỉ được trình bày sơ lược, mang tính chất giới thiệu công thức tính toán đơn giản. Nhận thấy việc nghiên cứu thấu đáo lý thuyết bao hình có ý nghĩa thiết thực trong việc nâng cao năng lực sư phạm và cung cấp nền tảng toán học vững chắc cho giáo viên toán, tác giả Phan Thị Hoa đã thực hiện khóa luận tốt nghiệp "Giải bài toán bao hình bằng phương pháp Hình học Vi phân & phương pháp Hình học Xạ ảnh" dưới sự hướng dẫn của TS. Nguyễn Thái Sơn tại Khoa Toán - Tin học, Trường Đại học Sư phạm Thành phố Hồ Chí Minh (năm 2001).

Mục tiêu và nhiệm vụ nghiên cứu của đề tài được xác định cụ thể như sau:

  1. Hệ thống hóa đầy đủ cơ sở lý luận của Lý thuyết bao hình đối với họ đường cong một tham số và họ đường thẳng trong mặt phẳng bằng công cụ Hình học vi phân (bao gồm định nghĩa, điều kiện cần, điều kiện đủ, khái niệm đặc hình, quỹ tích điểm kỳ dị và đường dừng).
  2. Xây dựng phương pháp giải và áp dụng giải quyết hệ thống 16 bài toán bao hình của họ đường thẳng một tham số bằng giải tích vi phân.
  3. Hệ thống hóa các kết quả của Hình học xạ ảnh (phép chiếu xuyên tâm, phép phối cảnh, định lý Steiner, phép đối hợp, định lý Frégier, phép đối xạ) để thiết lập công cụ giải bài toán bao hình và bài toán đối ngẫu là bài toán tìm quỹ tích.
  4. Làm sáng tỏ mối quan hệ giữa hai phương pháp vi phân và xạ ảnh thông qua việc giải quyết các bài toán bao hình sơ cấp bằng mô hình xạ ảnh của mặt phẳng Euclide.

Đối tượng nghiên cứu của khóa luận là bài toán bao hình của họ đường cong một tham số, trọng tâm là bao hình của họ đường thẳng một tham số trong mặt phẳng, bài toán quỹ tích điểm đối ngẫu và các tính chất hình học của đường bậc hai (conic). Phạm vi nghiên cứu được giới hạn trong mặt phẳng tọa độ giải tích Descartes $\mathbb{R}^2$ đối với phương pháp vi phân và mặt phẳng xạ ảnh $P_2$ (kết hợp mô hình xạ ảnh của mặt phẳng Euclide) đối với phương pháp xạ ảnh.

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

Khóa luận kết hợp hai hệ thống lý thuyết toán học cao cấp để tiếp cận bài toán hình học phẳng:

  1. Khung lý thuyết Hình học vi phân:

    • Họ đường cong một tham số $f(x, y, t) = 0$ với hàm số $f$ liên tục và khả vi đến cấp $k \ge 2$ theo các biến $x, y, t$.
    • Khái niệm đặc điểm, bao hình $B$ (đường cong tiếp xúc với mọi đường của họ và mọi điểm của nó đều là tiếp điểm với một đường trong họ).
    • Hệ phương trình xác định đặc hình: $$\begin{cases} f(x, y, t) = 0 \ f'_t(x, y, t) = 0 \end{cases}$$
    • Khái niệm điểm kỳ dị ($f'_x = f'_y = f'_t = 0$), đường dừng ($f(x, y, t_0) \equiv 0, \forall x, y$) và điều kiện Jacobian $\frac{D(f, f't)}{D(x, y)} \ne 0$ cùng điều kiện đạo hàm cấp hai $f''{t^2} \ne 0$ để xác định điều kiện đủ của bao hình.
    • Điều kiện có nghiệm kép của phương trình tham số: phương trình bậc hai $A(x,y)t^2 + B(x,y)t + C(x,y) = 0$ có nghiệm kép khi $B^2(x,y) - 4A(x,y)C(x,y) = 0$; phương trình lượng giác $D(x,y)\cos t + E(x,y)\sin t + F(x,y) = 0$ có nghiệm kép khi $D^2(x,y) + E^2(x,y) = F^2(x,y)$.

  2. Khung lý thuyết Hình học xạ ảnh:

    • Phép chiếu xuyên tâm giữa hai hàng điểm và phép phối cảnh giữa hai chùm đường thẳng trong mặt phẳng xạ ảnh $P_2$.
    • Định lý Steiner thuận/đảo và Định lý đối ngẫu của định lý Steiner: Ánh xạ xạ ảnh giữa hai hàng điểm không phải là phép chiếu xuyên tâm thì các đường thẳng nối các cặp điểm tương ứng sẽ tiếp xúc với một conic.
    • Phép đối hợp trên đường thẳng và trên conic, Định lý Desargues thứ hai, Định lý Frégier (Frêjê) và định lý Frégier đảo.
    • Phép đối xạ $k[u'] = A[x]$ trong không gian xạ ảnh (biến điểm thành siêu phẳng và ngược lại, bảo toàn tỉ số kép) cùng các định lý xạ ảnh cổ điển như Định lý Pascal và Định lý Brianchon.

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

    • Phương pháp giải tích vi phân: Thiết lập phương trình tham số, lấy đạo hàm riêng theo tham số $t$, giải hệ phương trình đạo hàm hoặc sử dụng điều kiện nghiệm kép đại số để khử tham số tìm phương trình bao hình.
    • Phương pháp xạ ảnh và nguyên lý đối ngẫu: Xây dựng chuỗi các ánh xạ xạ ảnh (hợp thành của các phép chiếu, phép phối cảnh, phép đối xạ), kiểm tra tính chất tự ứng để xác định quỹ tích điểm (theo định lý Steiner) hoặc xác định bao hình đường thẳng (theo định lý đối ngẫu Steiner).

  4. Nguồn dữ liệu:

    • Hệ thống định lý, tiên đề và mệnh đề từ giáo trình Hình học vi phân và Hình học cao cấp bậc đại học; các dạng bài toán hình học phẳng, hình học giải tích và khảo sát hàm số trong chương trình toán học.

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

Chương I: Phương pháp hình học vi phân giải bài toán bao hình

Chương này trình bày hệ thống lý thuyết giải tích của bài toán bao hình và áp dụng giải quyết 16 bài toán cụ thể.

  • Lý thuyết bao hình họ đường một tham số (§1): Tác giả chứng minh rằng nếu họ đường $C_t$ có bao hình thì các điểm của bao hình phải thuộc đặc hình (nghiệm của hệ $f = 0, f'_t = 0$). Đặc hình bao gồm: bao hình thực sự, quỹ tích các điểm kỳ dị và đường dừng. Thông qua 3 ví dụ giải tích, tác giả chứng minh:

    • Với họ $(x-t)^2 + (y-1)^2 = 1$, đặc hình gồm hai đường thẳng $y=0, y=2$ và trùng khớp hoàn toàn với bao hình.
    • Với họ $(y+t)^2 - (x+t)^3 = 0$, đặc hình gồm hai đường thẳng $y=x$ và $y=x - 4/27$, trong đó $y=x$ là quỹ tích điểm kỳ dị (không thuộc bao hình), còn $y=x - 4/27$ là bao hình thực sự.
    • Với họ $y^2 - (x+t)^3 = 0$, đặc hình, bao hình và quỹ tích điểm kỳ dị hợp nhất làm một đường thẳng kép $y=0$.
    • Trình bày 2 định lý về điều kiện đủ dựa trên tính chất liên tục, khả vi và định thức Jacobi của hệ.

  • Bao hình của họ đường thẳng trong mặt phẳng (§2): Họ đường thẳng có dạng $a(t)x + b(t)y + c(t) = 0$. Bao hình của họ đường thẳng luôn là toàn bộ đặc hình, tương đương với điều kiện phương trình tham số $t$ có nghiệm kép.

  • Hệ thống 16 bài toán hình học vi phân tiêu biểu:

STT Đề bài tóm tắt Phương trình tham số / Phương pháp Kết quả bao hình
2.1 Họ $x\cosh^2 t + y\sinh^2 t - \cosh^2 2t = 0$ Đặt $u = \cosh 2t \ge 1$, khử $u$ Đoạn parabol: $(x+y)^2 + 8(x-y) = 0$ với $x+y-4 \ge 0$
2.2 Dây cung $AB$ trên Hypebol $x^2 - y^2 = 1$ với $x_B = 2x_A$ Khử tham số $t$ từ hệ đạo hàm Hypebol: $xy = 9/8$
2.3 Đoạn $AB = a$ trượt trên hai trục tọa độ vuông góc $x\sin t + y\cos t = a\cos t \sin t$ Đường hình sao (Astroid): $x = a\cos^3 t, y = a\sin^3 t$
2.4 Đường thẳng chắn trên hai trục thỏa $OA + OB = a$ Phương trình bậc hai theo $t$, tìm điều kiện $\Delta = 0$ Parabol: $x^2 + y^2 - 2xy - 2ax - 2ay + a^2 = 0$
2.5 $P \in Oy, Q \in Ox$ sao cho $AP \perp AQ$ với $A(a,b)$ cố định Phương trình bậc hai theo tham số $t$, cho $\Delta = 0$ Parabol: trục đối xứng $ax - by + b^2 - a^2 = 0$
2.6 Đường thẳng tạo với hai nửa trục tam giác diện tích $S = a$ Phương trình bậc hai theo $t$, cho $\Delta = 0$ Nửa nhánh Hypebol: $xy = a/2$ ($x>0, y>0$)
2.7 Hình chiếu $H$ của $A(p/2, 0)$ lên đường thẳng $d$ thuộc $Oy$ Phương trình bậc hai theo $t$, cho $\Delta = 0$ Parabol: $y^2 - 2px = 0$
2.8 Đường thẳng đối xứng với tiếp tuyến của Parabol $y^2 = 2px$ Phương trình bậc hai theo tham số tiếp điểm $t$ Parabol: $y^2 = -6px$
2.9 Đường thẳng nối $P(0, at^2)$ và trung điểm $N$ của $OM$ trên $y=ax^2$ Phương trình bậc hai theo $t$, cho $\Delta = 0$ Parabol: $a^2x^2 + 4ay = 0 \Leftrightarrow x^2 = -\frac{4}{a}y$
2.10 Đường nối giao điểm các tia từ $M$ trên đường tròn tới tiếp tuyến Phương trình lượng giác theo tham số góc $t$ Elip: $\frac{x^2}{R^2} + \frac{y^2}{4R^2} = 1$
2.11 Đường thẳng $FI$ trong hình vuông $ABCD$ ($I$ là trung điểm $EB$) Phương trình bậc hai theo hệ số góc $k$ Đường tròn nội tiếp hình vuông: $(x - a/2)^2 + (y - a/2)^2 = a^2/4$
2.12 Đường đối cực của gốc $O$ đối với $(C)$ tiếp xúc trục hoành Đường đối cực dạng bậc hai theo $t$, cho $\Delta = 0$ Parabol: đỉnh $O(0,0)$, tham số tiêu $p = 2R$
2.13 Dây cung chung của đường tròn cố định và đường tròn dịch chuyển Khử tham số $t$ từ hệ xác định đặc hình Đoạn parabol: $x^2 + 2my - R^2 + r^2 - m^2 = 0$
2.14 Đường đối cực của $M \in (x^2+y^2=a^2)$ đối với $(x^2+y^2-2Rx=0)$ Phương trình lượng giác $(ax-aR)\cos t + ay\sin t = Rx$ Elip ($R<a$), Parabol ($R=a$), Hypebol ($R>a$)
2.15 Hình chiếu $H$ của $A(a,0)$ lên $d$ thuộc đường tròn bán kính $b$ Phương trình lượng giác theo góc $t$, áp dụng $D^2+E^2=F^2$ Elip ($b>a$) hoặc Hypebol ($b<a$)
2.16 Tiếp tuyến của $xy = \lambda$ tại giao điểm với $x + y = 1$ Phương trình bậc hai theo hoành độ giao điểm $x_0$ Parabol: $x^2 + y^2 - 2xy - 4x - 4y = 0$

Tác giả rút ra nhận xét quan trọng: Hầu hết bao hình của các họ đường thẳng một tham số khảo sát trong hình học giải tích phẳng đều có dạng các đường bậc hai (conic).

Chương II: Giải bài toán bao hình và bài toán quỹ tích bằng phương pháp hình học xạ ảnh

Chương này phát triển phương pháp hình học xạ ảnh để giải quyết bài toán bao hình và bài toán quỹ tích trên mặt phẳng xạ ảnh $P_2$, dựa trên nguyên lý đối ngẫu.

  • Một số kiến thức chuẩn bị (§1):

    • Trình bày định nghĩa phép chiếu xuyên tâm (kí hiệu ${m} \frac{D}{\barwedge} {m'}$) và phép phối cảnh (kí hiệu ${M} \frac{d}{\barwedge} {M'}$).
    • Trình bày Định lý Steiner thuận/đảo và Định lý đối ngẫu Steiner.
    • Khái niệm phép đối hợp trên đường thẳng và trên conic ($f^2 = \text{Id}$), Định lý Desargues thứ hai về chùm đường bậc hai, Định lý Frégier và Định lý Frégier đảo (hai điểm trên conic thẳng hàng với $O$ thì liên hệ với nhau qua phép đối hợp nhận $O$ làm điểm Frégier).
    • Phép đối xạ biến điểm thành siêu phẳng, bảo toàn tỉ số kép; chứng minh bổ đề về phép biến đổi xạ ảnh trên đường thẳng có hai điểm kép cố định $P, Q$ biến $M$ thành $N$ sao cho $(PQMN) = k$.

  • Giải bài toán bao hình bằng phương pháp hình học xạ ảnh (§2):

    • Bài toán II.1: Cho tam giác $OAB$, đường thẳng $d$, $M \in d$, $C = OA \cap BM$, $D = OB \cap AM$. Thiết lập ánh xạ xạ ảnh $f = f_2 \circ f_1: OA \barwedge OB$ biến $C$ thành $D$. Chứng minh nếu $O \notin d$ thì $f$ không là phép chiếu xuyên tâm, theo định lý đối ngẫu Steiner, bao hình của $CD$ là một conic tiếp xúc với $OA$ tại $B$ và $OB$ tại $F$.
    • Bài toán II.2: Cho conic biến thiên qua 4 đỉnh của tứ giác $ABCD$, hai đường thẳng $p, q$ qua $D$ cắt conic tại $P, Q$. Sử dụng định lý Pascal cho lục giác $AQDPBC$ để chứng minh giao điểm $K = AQ \cap BP$ di động trên trục $MN$ cố định. Thiết lập chuỗi ánh xạ xạ ảnh $f: p \barwedge q$ biến $P$ thành $Q$, chứng minh $f$ không là phép chiếu xuyên tâm, suy ra bao hình $PQ$ là một conic tiếp xúc với $p, q$ và ba cạnh tam giác $ABC$.

  • Giải bài toán quỹ tích bằng phương pháp hình học xạ ảnh và kết quả đối ngẫu (§3):

    • Bài toán III.1: Conic tiếp xúc 4 cạnh tứ giác $ABCD$ tại $P, Q, R, S$. Dùng định lý Brianchon chứng minh quỹ tích giao điểm $M = AQ \cap BS$ là một conic. Phát biểu bài toán đối ngẫu: Bao hình đường thẳng $PS$ là một conic tiếp xúc hai đường thẳng $a, b$.
    • Bài toán III.2: Đường thẳng qua $C$ cắt $a, b$ tại $A_1, B_1$. Ánh xạ giữa chùm tia ${A}$ và ${B}$ biến $AA_1$ thành $BB_1$ là ánh xạ xạ ảnh. Quỹ tích $M = AA_1 \cap BB_1$ là một conic (nếu $A, B, C$ không thẳng hàng) hoặc suy biến thành hai đường thẳng $AB$ và $OM$ (nếu thẳng hàng). Kèm kết quả đối ngẫu xác định bao hình đường thẳng $MN$.
    • Bài toán III.3: Conic biến thiên qua 4 đỉnh tứ giác, tìm quỹ tích cực $E$ của đường thẳng $d$. Bằng chuỗi 7 ánh xạ phối cảnh và đối xạ, chứng minh quỹ tích $E$ là một đường bậc hai.
    • Bài toán III.4: Tam giác $ABC$ có $A \in a, B \in b$, các cạnh qua $\alpha, \beta, \gamma$. Quỹ tích đỉnh $C$ là conic tiếp xúc $\beta D_1, \gamma D_2$ và qua giao điểm của $a, b$. Kèm kết quả đối ngẫu tìm bao hình cạnh $c$.
    • Bài toán III.5: Điểm $X \in d$, $AX, BX$ cắt conic tại $M, N$. Quỹ tích $I = AN \cap BM$ là một conic (nếu điểm $P \notin d$) hoặc suy biến thành hai đường thẳng $IP, AB$ (nếu $P \in d$). Kèm kết quả đối ngẫu cho bao hình đường thẳng $MN$.
    • Bài toán III.6: Cát tuyến qua $P$ cắt conic tại $M, N$. Dùng định lý Frégier đảo thiết lập phép đối hợp trên conic, suy ra quỹ tích $I = AM \cap BN$ và $J = AN \cap BM$ là một conic hoặc suy biến thành trục phối cảnh $IJ$ và $AB$. Kèm kết quả đối ngẫu cho bao hình các đường thẳng $CD, EF$.
    • Bài toán III.7: Tìm quỹ tích điểm $M$ thỏa mãn tỉ số kép $(MA, MB, MC, MD) = k$ đối với 4 đỉnh cố định. Sử dụng chuỗi đối xạ và phép biến đổi xạ ảnh trên hàng điểm chứng minh quỹ tích là một đường bậc hai.

Chương III: Giải bài toán bao hình sơ cấp bằng mô hình xạ ảnh của mặt phẳng Euclide

Theo cấu trúc mục lục, chương này tổng kết mối quan hệ tương hỗ giữa phương pháp vi phân và phương pháp xạ ảnh, áp dụng giải quyết các bài toán bao hình sơ cấp trong hình học phẳng bằng cách nhúng mặt phẳng Euclide vào mô hình mặt phẳng xạ ảnh bổ sung đường thẳng vô tận.

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

  1. Kết quả nghiên cứu chính:

    • Hệ thống hóa hoàn chỉnh điều kiện tồn tại giải tích của bao hình, phân lập ranh giới giữa bao hình, điểm kỳ dị và đường dừng trong giải tích vi phân.
    • Giải quyết trọn vẹn 16 bài toán hình học phẳng bằng phương pháp vi phân, chứng minh bao hình của họ đường thẳng một tham số phần lớn quy về các đường conic bậc hai hoặc đường đại số quen thuộc (astroid).
    • Xây dựng thành công quy trình giải bài toán bao hình và quỹ tích trên mặt phẳng xạ ảnh $P_2$ thông qua việc lập chuỗi ánh xạ xạ ảnh và vận dụng định lý Steiner, định lý đối ngẫu Steiner, định lý Frégier và định lý Desargues.
    • Thiết lập mối liên hệ đối ngẫu chặt chẽ giữa 7 bài toán quỹ tích điểm và 7 bài toán bao hình đường thẳng tương ứng.

  2. So sánh hai phương pháp nghiên cứu:

Tiêu chí so sánh Phương pháp Hình học vi phân Phương pháp Hình học xạ ảnh
Không gian biểu diễn Mặt phẳng tọa độ Descartes $\mathbb{R}^2$ Mặt phẳng xạ ảnh $P_2$ / Mô hình xạ ảnh
Bản chất công cụ Đạo hàm riêng, giải tích ma trận Jacobi, điều kiện nghiệm kép đại số Ánh xạ xạ ảnh, phép phối cảnh, phép chiếu xuyên tâm, phép đối xạ, đối hợp
Xử lý bài toán không tọa độ Phức tạp, phụ thuộc vào việc chọn hệ trục tọa độ thích hợp Rất mạnh, giải quyết thuần túy hình học mà không cần gắn tọa độ
Tính đối ngẫu Khó thể hiện trực tiếp giữa quỹ tích và bao hình Thể hiện tường minh thông qua Nguyên lý đối ngẫu xạ ảnh
Phạm vi bài toán Họ đường đại số, lượng giác có phương trình giải tích tường minh Các bài toán cấu trúc điểm - đường, chùm đường, hàng điểm, đường bậc hai
  1. Đóng góp học thuật tự nêu:
    • Cung cấp một tài liệu chuyên đề sư phạm hoàn chỉnh, kết nối kiến thức hình học cao cấp ở đại học với các bài toán hình học giải tích và hàm số ở trường phổ thông.
    • Làm sáng tỏ phương pháp giải bài toán đối ngẫu, giúp chuyển đổi linh hoạt giữa việc tìm quỹ tích điểm và tìm bao hình đường thẳng.

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

  • Hạn chế:

    • Khóa luận chỉ tập trung khảo sát họ đường một tham số trong không gian hai chiều (mặt phẳng), chưa mở rộng sang không gian ba chiều $\mathbb{R}^3$ hoặc không gian xạ ảnh $P_3$.
    • Các ví dụ trong phương pháp xạ ảnh chủ yếu giới hạn ở các cấu hình đường bậc hai (conic), chưa đi sâu vào các họ đường cong đại số bậc cao.

  • Hướng nghiên cứu tiếp:

    • Mở rộng bài toán tìm bao diện (bao mặt) của một họ mặt cong hoặc họ mặt phẳng một/hai tham số trong không gian bằng phương pháp vi phân và xạ ảnh.
    • Nghiên cứu ứng dụng của mô hình xạ ảnh trong các không gian phi-Euclide (hình học Lobachevsky và hình học Riemann).
    • Biên soạn thành các chủ đề bồi dưỡng học sinh giỏi chuyên toán trung học phổ thông về lý thuyết tiếp xúc và đường conic.

Giá trị tham khảo

Tài liệu này hữu ích cho:

  • Sinh viên ngành Sư phạm Toán và Toán học: Cung cấp tài liệu tham khảo chi tiết về sự kết hợp giữa giải tích vi phân và hình học xạ ảnh; minh họa cụ thể cách giải bài toán bằng chuỗi ánh xạ xạ ảnh.
  • Giáo viên Toán THPT và người luyện thi học sinh giỏi: Tham khảo hệ thống 16 bài toán vi phân ở Chương I (với kỹ thuật nghiệm kép giải nhanh) và các bài toán quỹ tích/bao hình conic ở Chương II để xây dựng các chuyên đề hình học phẳng nâng cao.
  • Người nghiên cứu hình học cổ điển: Cung cấp các chứng minh giải tích và xạ ảnh mẫu mực dựa trên định lý Steiner, định lý Frégier và nguyên lý đối ngẫu.

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

1. Đặc hình của một họ đường cong một tham số gồm những thành phần nào và tại sao không phải mọi điểm thuộc đặc hình đều thuộc bao hình?
Đặc hình của họ đường $f(x, y, t) = 0$ là tập hợp nghiệm của hệ $f = 0$ và $f'_t = 0$. Đặc hình bao gồm ba thành phần: bao hình thực sự, quỹ tích các điểm kỳ dị ($f'_x = f'_y = f't = 0$) và đường dừng ($f(x, y, t_0) \equiv 0, \forall x, y$). Điểm thuộc quỹ tích điểm kỳ dị hoặc đường dừng không nhất thiết thỏa mãn điều kiện tiếp xúc của bao hình, do đó chỉ có các điểm thỏa mãn điều kiện đủ (như định thức Jacobi khác 0 hoặc điểm thường có $f''{t^2} \ne 0$) mới thực sự thuộc bao hình.

2. Kỹ thuật giải bài toán bao hình của họ đường thẳng một tham số bằng phương pháp vi phân được đơn giản hóa như thế nào khi phương trình có dạng bậc hai hoặc lượng giác?
Đối với họ đường thẳng, bao hình chính là điều kiện để phương trình tham số $t$ có nghiệm kép. Nếu phương trình có dạng bậc hai $A(x,y)t^2 + B(x,y)t + C(x,y) = 0$, phương trình bao hình là biệt thức $\Delta = B^2(x,y) - 4A(x,y)C(x,y) = 0$. Nếu phương trình có dạng lượng giác $D(x,y)\cos t + E(x,y)\sin t + F(x,y) = 0$, phương trình bao hình là $D^2(x,y) + E^2(x,y) = F^2(x,y)$.

3. Định lý đối ngẫu của định lý Steiner giữ vai trò gì trong việc tìm bao hình bằng phương pháp xạ ảnh?
Định lý đối ngẫu của định lý Steiner khẳng định rằng: Trong mặt phẳng xạ ảnh $P_2$, nếu ánh xạ xạ ảnh giữa hai hàng điểm không phải là phép chiếu xuyên tâm thì các đường thẳng nối các cặp điểm tương ứng sẽ tiếp xúc với một conic. Đây là công cụ cốt lõi giúp xác định bao hình của đường thẳng biến thiên mà không cần thiết lập phương trình tọa độ giải tích.

4. Định lý Frégier đảo được vận dụng như thế nào trong bài toán III.6 của Chương II?
Trong bài toán III.6, từ điểm cố định $P$ kẻ cát tuyến cắt conic tại $M, N$. Theo định lý Frégier đảo, vì $M, N$ thẳng hàng với điểm cố định $P$ nên $M$ và $N$ liên hệ với nhau qua một phép đối hợp trên conic nhận $P$ làm điểm Frégier. Từ đó tác giả thiết lập được ánh xạ xạ ảnh giữa hai chùm tia ${A}$ và ${B}$ biến $AM$ thành $BN$, dẫn đến quỹ tích giao điểm $I, J$ là một conic theo định lý Steiner.

5. Mối quan hệ đối ngẫu giữa bài toán tìm quỹ tích và bài toán tìm bao hình được thể hiện ra sao trong luận văn?
Trong mặt phẳng xạ ảnh, theo nguyên lý đối ngẫu, vai trò của "điểm" và "đường thẳng" là tương đương. Quỹ tích của một điểm chuyển động (giao điểm của các cặp đường thẳng tương ứng trong ánh xạ xạ ảnh giữa hai chùm tia) đối ngẫu trực tiếp với bao hình của một đường thẳng chuyển động (đường nối các cặp điểm tương ứng trong ánh xạ xạ ảnh giữa hai hàng điểm). Vì vậy, mỗi bài toán tìm quỹ tích conic luôn có một bài toán đối ngẫu tương ứng là bài toán tìm bao hình conic.

Kết luận

Khóa luận của tác giả Phan Thị Hoa đã hệ thống hóa và giải quyết trọn vẹn bài toán bao hình của họ đường thẳng trong mặt phẳng bằng hai công cụ toán học độc lập là Hình học vi phân và Hình học xạ ảnh. Thông qua hệ thống 16 bài toán vi phân và 9 bài toán xạ ảnh kèm đối ngẫu, công trình làm sáng tỏ bản chất hình học của các đường bậc hai và mối liên hệ sâu sắc giữa giải tích tọa độ và hình học xạ ảnh thuần túy. Đây là tài liệu học thuật có cấu trúc chặt chẽ, giàu tính sư phạm, phục vụ thiết thực cho công tác nghiên cứu và giảng dạy toán học.