Giáo trình hình học cao cấp cao đẳng sư phạm phần 2: Chương 4 Đường bậc hai và các khái niệm cơ bản

Giáo trình Hình học cao cấp phần 2 dành cho sinh viên Cao đẳng Sư phạm. Tài liệu chuyên sâu về hình học, hỗ trợ giảng dạy và học tập hiệu quả.

• Trường học: Trường Cao Đẳng Sư Phạm
• Chuyên ngành: Hình Học Cao Cấp
• Đề tài: Đường Bậc Hai Trên Mặt Phẳng Xạ Ảnh
• Loại tài liệu: Giáo trình

Mục lục chi tiết

• 4. CHƯƠNG 4: ĐƯỜNG BẬC HAI TRÊN MẶT PHẲNG XẠ ẢNH
• 4.1. §1. ĐƯỜNG BẬC HAI VÀ PHÂN LOẠI XẠ ẢNH
• 4.1.1. Định nghĩa đường bậc hai trên mặt phẳng xạ ảnh
• 4.1.1.1. Phương trình bậc hai thuần nhất của ba biến số. Định nghĩa và kí hiệu
• 4.1.1.2. Định nghĩa đường bậc hai
• 4.1.1.3. Giao của đường bậc hai và đường thẳng
• 4.1.2. Điểm liên hợp - Điểm kì dị - Tiếp tuyến
• 4.1.2.1. Điểm liên hợp
• 4.1.2.2. Cực tuyến và cực điểm, điểm kì dị
• 4.1.2.3. Tiếp tuyến của đường bậc hai
• 4.1.3. Phương trình chính tắc của đường bậc hai. Phân loại xạ ảnh
• 4.1.3.1. Tam giác tự liên hợp đối với đường bậc hai
• 4.1.3.2. Phương trình chính tắc của đường bậc hai
• 4.1.3.3. Phân loại xạ ảnh của các đường bậc hai
• 4.1.3.4. Liên hệ giữa đường ôvan của mặt phẳng xạ ảnh và đường cônic của mặt phẳng afin
• 4.1.4. Các tính chất của đường ôvan
• 4.1.4.1. Định lí Mác-Lô-ranh (Mac-Laurin)

Tóm tắt

I. Tổng quan toàn diện về đường bậc hai trong mặt phẳng xạ ảnh

Trong chương trình giáo trình hình học cao cấp dành cho cao đẳng sư phạm, chuyên đề về đường bậc hai trên mặt phẳng xạ ảnh là một nền tảng quan trọng. Nó không chỉ mở rộng kiến thức từ hình học afin quen thuộc mà còn giới thiệu các khái niệm và tính chất bất biến độc đáo của không gian xạ ảnh. Việc nắm vững định nghĩa, phương trình và các tính chất cơ bản của đường bậc hai là bước đầu tiên để chinh phục các lý thuyết phức tạp hơn. Một đường bậc hai trong không gian này được định nghĩa không phải như một tập hợp điểm đơn thuần, mà thông qua một phương trình đại số bậc hai thuần nhất. Cách tiếp cận này cho phép thống nhất các đường conic (elip, hypebol, parabol) vào một khái niệm duy nhất là đường ôvan, đồng thời làm sáng tỏ nhiều tính chất hình học sâu sắc thông qua lăng kính của các phép biến đổi xạ ảnh. Hiểu rõ cấu trúc này giúp người học xây dựng một tư duy toán học trừu tượng và logic, là kỹ năng cốt lõi trong nghiên cứu và giảng dạy toán học bậc cao.

1.1. Định nghĩa và phương trình toán học của đường bậc hai xạ ảnh

Một đường bậc hai trong mặt phẳng xạ ảnh P được định nghĩa là tập hợp các điểm X có tọa độ thuần nhất (x₁: x₂ : x₃) thỏa mãn một phương trình bậc hai thuần nhất có dạng: a₁₁x₁² + a₂₂x₂² + a₃₃x₃² + 2a₁₂x₁x₂ + 2a₁₃x₁x₃ + 2a₂₃x₂x₃ = 0. Trong đó, các hệ số aᵢⱼ là các số thực và có ít nhất một hệ số khác không. Phương trình này có thể được biểu diễn một cách gọn gàng dưới dạng ma trận: (X)ᵀA(X) = 0. Ở đây, (X) là ma trận cột của tọa độ và A là ma trận vuông cấp 3, đối xứng, được gọi là ma trận của đường bậc hai. Ma trận A đóng vai trò trung tâm trong việc phân tích các đặc tính của đường cong. Theo quy ước, hai đường bậc hai được xem là trùng nhau nếu các hệ số tương ứng trong phương trình của chúng tỉ lệ với nhau, hay nói cách khác, ma trận của chúng chỉ sai khác một hằng số k ≠ 0.

1.2. Khám phá tính bất biến xạ ảnh của đường bậc hai cao cấp

Một trong những định lý nền tảng của hình học cao cấp là “Khái niệm đường bậc hai là một bất biến xạ ảnh”. Điều này có nghĩa là ảnh của một đường bậc hai qua một phép biến hình xạ ảnh bất kỳ cũng là một đường bậc hai. Cụ thể, nếu (S) có phương trình (X)ᵀA(X) = 0 và f là phép biến hình xạ ảnh có biểu thức tọa độ (X) = k(B⁻¹)(X'), thì ảnh (S') sẽ có phương trình (X')ᵀA'(X') = 0, với A' = (B⁻¹)ᵀA(B⁻¹). Hơn nữa, định lý cũng khẳng định rằng tính chất suy biến hay không suy biến cũng là một bất biến xạ ảnh. Điều này được chứng minh bởi det(A') = det(A) / (det(B))², do det(B) ≠ 0 nên det(A) và det(A') sẽ cùng bằng không hoặc cùng khác không. Tính bất biến này cho thấy bản chất hình học của đường bậc hai không phụ thuộc vào hệ tọa độ được chọn.

II. Giải mã những thách thức khi phân loại đường bậc hai phức tạp

Việc nghiên cứu đường bậc hai trên mặt phẳng xạ ảnh đặt ra nhiều thách thức hơn so với hình học Euclid. Một trong những vấn đề cơ bản là làm thế nào để phân loại chúng một cách hệ thống. Không giống như trong mặt phẳng afin, nơi các đường được phân biệt thành elip, hypebol, và parabol, trong mặt phẳng xạ ảnh, sự phân loại này cần một cách tiếp cận khác. Thách thức đầu tiên là phân biệt giữa các đường suy biến và không suy biến. Một đường bậc hai suy biến có thể là một cặp đường thẳng, thậm chí là một điểm duy nhất, trong khi đường không suy biến lại có cấu trúc phong phú hơn. Thách thức thứ hai là việc xác định tương giao giữa một đường thẳng và một đường bậc hai, bởi kết quả có thể là hai điểm phân biệt, một điểm kép, hoặc thậm chí là hai điểm ảo liên hợp. Việc giải quyết những vấn đề này đòi hỏi sự kết hợp nhuần nhuyễn giữa đại số ma trận và lập luận hình học, là một phần quan trọng trong giáo trình hình học cao cấp.

2.1. Phân biệt chính xác đường bậc hai suy biến và không suy biến

Sự khác biệt cơ bản giữa các đường bậc hai nằm ở tính suy biến của chúng, được quyết định bởi định thức của ma trận A. Một đường bậc hai (S) được gọi là không suy biến nếu det(A) ≠ 0. Ngược lại, nó được gọi là suy biến nếu det(A) = 0. Một đường bậc hai suy biến có thể biểu diễn các hình dạng hình học đơn giản hơn. Ví dụ, đường cong có phương trình x₁² - x₁x₂ = 0 có thể phân tích thành (x₁)(x₁ - x₂) = 0, đây là hợp của hai đường thẳng x₁ = 0 và x₁ - x₂ = 0. Một trường hợp khác là phương trình x₁² + x₂² = 0, trên trường số thực, nó chỉ có một điểm duy nhất là (0:0:1). Tuy nhiên, trên trường số phức, nó có thể được xem là hợp của hai “đường thẳng ảo” x₁ + ix₂ = 0 và x₁ - ix₂ = 0. Việc nhận diện và phân loại các trường hợp suy biến là bước quan trọng để hiểu cấu trúc tổng thể của các đường cong bậc hai.

2.2. Phương pháp xác định giao điểm của đường thẳng và đường bậc hai

Để tìm giao điểm của một đường bậc hai (S) và một đường thẳng (d), ta sử dụng phương pháp tham số hóa. Giả sử đường thẳng (d) đi qua hai điểm U và V, phương trình tham số của một điểm X trên (d) là X = sU + tV. Thay biểu thức tọa độ của X vào phương trình của (S), ta thu được một phương trình bậc hai thuần nhất theo s và t: Ps² + 2Qst + Rt² = 0. Các nghiệm (s:t) của phương trình này tương ứng với các giao điểm. Có các trường hợp xảy ra: 1) Nếu phương trình có hai nghiệm phân biệt, (d) cắt (S) tại hai điểm thực phân biệt. 2) Nếu có nghiệm kép, (d) cắt (S) tại một điểm kép (trường hợp tiếp xúc). 3) Nếu có hai nghiệm ảo liên hợp, (d) cắt (S) tại hai điểm ảo. 4) Nếu P = Q = R = 0, mọi điểm trên (d) đều thuộc (S), tức là đường thẳng (d) nằm trên đường bậc hai (trường hợp này chỉ xảy ra với đường suy biến).

III. Phương pháp phân tích các yếu tố hình học đặc trưng nhất

Để hiểu sâu hơn về cấu trúc của đường bậc hai trên mặt phẳng xạ ảnh, cần phải nắm vững các khái niệm hình học đặc trưng như điểm liên hợp, cực tuyến và điểm kì dị. Những khái niệm này không chỉ là công cụ lý thuyết mà còn giúp giải quyết nhiều bài toán cụ thể, chẳng hạn như tìm tiếp tuyến hay xác định các tính chất đối xứng của đường cong. Ví dụ, lý thuyết về cực và đối cực (cực điểm và cực tuyến) tạo ra một phép tương ứng đẹp đẽ giữa các điểm và các đường thẳng trong mặt phẳng đối với một đường bậc hai cho trước. Phép tương ứng này là nền tảng của nguyên tắc đối ngẫu trong hình học xạ ảnh. Việc xác định các điểm đặc biệt như điểm kì dị cũng giúp làm rõ cấu trúc của các đường bậc hai suy biến. Đây là những kiến thức cốt lõi trong giáo trình hình học cao cấp, giúp sinh viên sư phạm có cái nhìn toàn diện và sâu sắc về đối tượng nghiên cứu.

3.1. Lý thuyết về điểm liên hợp và tam giác tự liên hợp

Hai điểm U và V được gọi là liên hợp với nhau đối với đường bậc hai (S) nếu tọa độ của chúng thỏa mãn điều kiện (U)ᵀAV = 0. Một tính chất quan trọng là một điểm U liên hợp với chính nó khi và chỉ khi U nằm trên (S). Mở rộng khái niệm này, một tam giác tự liên hợp đối với (S) là một tam giác có ba đỉnh đôi một liên hợp với nhau. Khi đó, mỗi cạnh của tam giác chính là cực tuyến của đỉnh đối diện. Sự tồn tại của tam giác tự liên hợp là một định lý quan trọng, bởi nó đảm bảo rằng luôn có thể chọn một hệ tọa độ đặc biệt mà trong đó, phương trình của đường bậc hai trở nên đơn giản nhất, không chứa các số hạng tích chéo. Đây chính là cơ sở để tìm ra phương trình chính tắc.

3.2. Khái niệm cực tuyến và việc xác định điểm kì dị

Cho một đường bậc hai (S) và một điểm U, quỹ tích các điểm X liên hợp với U là một đường thẳng (hoặc toàn bộ mặt phẳng). Nếu quỹ tích này là một đường thẳng, nó được gọi là cực tuyến (hay đối cực) của điểm U, và U được gọi là cực điểm của đường thẳng đó. Phương trình của cực tuyến của U(u₁:u₂:u₃) là (U)ᵀAX = 0. Trong trường hợp đặc biệt, nếu quỹ tích các điểm liên hợp với U là toàn bộ mặt phẳng, U được gọi là một điểm kì dị của (S). Một điểm U là điểm kì dị khi và chỉ khi nó liên hợp với mọi điểm trong mặt phẳng, điều này tương đương với hệ phương trình AU = 0 có nghiệm không tầm thường. Do đó, một định lý quan trọng khẳng định: “Chỉ có đường bậc hai suy biến (det(A) = 0) mới có điểm kì dị.”

3.3. Hướng dẫn xác định tiếp tuyến của một đường bậc hai

Khái niệm tiếp tuyến trong hình học xạ ảnh được định nghĩa một cách tự nhiên thông qua cực tuyến. Nếu điểm U nằm trên đường bậc hai (S) và không phải là điểm kì dị, thì cực tuyến của U được gọi là tiếp tuyến của (S) tại U. Vì U nằm trên (S), nó tự liên hợp với chính nó, do đó điểm U cũng nằm trên cực tuyến của chính nó. Điểm U này được gọi là tiếp điểm. Một định lý quan trọng cho thấy, nếu u là tiếp tuyến của (S) tại U, thì hoặc u nằm hoàn toàn trên (S) (nếu (S) suy biến), hoặc u cắt (S) tại một điểm kép duy nhất là U. Đối với một điểm kì dị U của (S), mọi đường thẳng đi qua U đều được coi là tiếp tuyến của (S) tại U. Cách tiếp cận này thống nhất và tổng quát hóa khái niệm tiếp tuyến từ hình học Euclid.

IV. Bí quyết đưa phương trình về dạng chính tắc để phân loại

Một trong những mục tiêu chính của việc nghiên cứu đường bậc hai trên mặt phẳng xạ ảnh là thực hiện phân loại xạ ảnh. Điều này có nghĩa là nhóm các đường bậc hai có cùng bản chất hình học vào cùng một loại, bất kể sự khác biệt về vị trí hay hình dạng do lựa chọn hệ tọa độ. Công cụ mạnh mẽ nhất để thực hiện việc này là đưa phương trình của đường bậc hai về phương trình chính tắc. Bằng cách chọn một hệ tọa độ thích hợp, cụ thể là một mục tiêu xạ ảnh có tam giác cơ sở là một tam giác tự liên hợp, mọi phương trình bậc hai đều có thể được đơn giản hóa thành một trong số các dạng chuẩn. Quá trình này không chỉ làm giảm độ phức tạp của phương trình mà còn tiết lộ cấu trúc hình học cốt lõi của đường cong, từ đó cho phép phân loại chúng một cách tường minh và chính xác. Đây là một kỹ năng quan trọng được nhấn mạnh trong giáo trình hình học cao cấp.

4.1. Quy trình tìm phương trình chính tắc của đường bậc hai

Để đưa phương trình của một đường bậc hai (S) về dạng chính tắc, ta thực hiện các bước sau: Đầu tiên, tìm một tam giác tự liên hợp A₁A₂A₃ đối với (S). Sau đó, chọn mục tiêu xạ ảnh mới {A₁, A₂, A₃; E}, trong đó A₁, A₂, A₃ là các đỉnh của tam giác. Trong hệ tọa độ mới này, vì các đỉnh cơ sở đôi một liên hợp, các hệ số a₁₂, a₁₃, a₂₃ trong phương trình tổng quát sẽ bằng không. Phương trình của (S) sẽ có dạng đơn giản: a'₁₁x'₁² + a'₂₂x'₂² + a'₃₃x'₃² = 0. Cuối cùng, bằng một phép đổi mục tiêu xạ ảnh (thực chất là đổi tỷ lệ các tọa độ), ta có thể đưa các hệ số a'ᵢᵢ về các giá trị 1, -1, hoặc 0. Kết quả cuối cùng là một trong các dạng phương trình chính tắc.

4.2. 05 dạng phương trình chính tắc trong phân loại xạ ảnh

Thông qua việc đưa về dạng chính tắc, tất cả các đường bậc hai trong mặt phẳng xạ ảnh thực đều thuộc một trong năm loại sau đây, không phân biệt qua các phép biến đổi xạ ảnh:

1. x₁² + x₂² + x₃² = 0: Đây là một đường ôvan ảo, không chứa điểm thực nào.
2. x₁² + x₂² - x₃² = 0: Đây là một đường ôvan thực, chứa vô số điểm thực.
3. x₁² + x₂² = 0: Đây là một cặp đường thẳng ảo, cắt nhau tại một điểm thực duy nhất (0:0:1).
4. x₁² - x₂² = 0: Đây là một cặp đường thẳng thực phân biệt, có phương trình (x₁ - x₂)(x₁ + x₂) = 0.
5. x₁² = 0: Đây là một cặp đường thẳng thực trùng nhau. Định lý cơ bản của phân loại xạ ảnh khẳng định rằng hai đường bậc hai tương đương xạ ảnh với nhau khi và chỉ khi chúng có cùng dạng phương trình chính tắc.

V. Khám phá ứng dụng thực tiễn của lý thuyết đường ôvan

Lý thuyết về đường ôvan, dạng đường bậc hai không suy biến phổ biến nhất, có rất nhiều ứng dụng và liên hệ sâu sắc với các định lý kinh điển của hình học. Đường ôvan trong mặt phẳng xạ ảnh chính là sự tổng quát hóa của các đường cônic trong mặt phẳng afin. Việc hiểu rõ mối liên hệ này giúp kết nối kiến thức từ hình học phổ thông lên hình học cao cấp. Hơn nữa, các định lý nổi tiếng như định lí Pascal và định lí Brianchon được phát biểu một cách tự nhiên và tổng quát nhất trong bối cảnh của đường ôvan. Các định lý này không chỉ đẹp về mặt lý thuyết mà còn là công cụ mạnh để chứng minh các tính chất thẳng hàng, đồng quy. Nguyên tắc đối ngẫu, một đặc trưng của hình học xạ ảnh, cũng được thể hiện rõ nét khi nghiên cứu đường ôvan, cho phép từ một định lý về điểm suy ra một định lý mới về đường thẳng và ngược lại, làm phong phú thêm hệ thống tri thức hình học.

5.1. Mối liên hệ giữa đường ôvan và các đường cônic quen thuộc

Trong mặt phẳng xạ ảnh P, xét một đường ôvan (S) và một đường thẳng A được chọn làm "đường thẳng ở vô tận". Phần của mặt phẳng xạ ảnh không chứa A là một mặt phẳng afin. Hình dạng của phần giao (S') = (S) \ A trong mặt phẳng afin này phụ thuộc vào vị trí tương đối của (S) và A:

• Nếu (S) và A không cắt nhau, (S') là một đường elip.
• Nếu (S) và A cắt nhau tại hai điểm phân biệt, (S') là một đường hypebol.
• Nếu (S) và A tiếp xúc nhau tại một điểm, (S') là một đường parabol. Như vậy, elip, hypebol và parabol chỉ là các "nhận thức" khác nhau của cùng một đối tượng hình học là đường ôvan khi quan sát từ các góc độ khác nhau (tức là chọn các đường thẳng ở vô tận khác nhau). Cách nhìn này thống nhất các đường cônic và là một kết quả quan trọng của hình học xạ ảnh.

5.2. Định lí Pascal và ứng dụng trong hình học xạ ảnh cao cấp

Định lí Pascal là một trong những kết quả đẹp nhất liên quan đến đường ôvan. Định lý phát biểu rằng: “Cho sáu điểm phân biệt A₁, A₂, A₃, A₄, A₅, A₆ nằm trên một đường ôvan. Khi đó, ba giao điểm của các cặp cạnh đối diện của lục giác nội tiếp này, tức là P = (A₁A₂) ∩ (A₄A₅), Q = (A₂A₃) ∩ (A₅A₆), và R = (A₃A₄) ∩ (A₆A₁), sẽ cùng nằm trên một đường thẳng.” Đường thẳng này được gọi là đường thẳng Pascal. Định lý vẫn đúng trong các trường hợp suy biến, ví dụ khi hai điểm trùng nhau, đường thẳng đi qua chúng sẽ trở thành tiếp tuyến của đường ôvan tại điểm đó. Định lí Pascal và định lý đối ngẫu của nó, định lí Brianchon, là những công cụ cực kỳ hữu hiệu để chứng minh các bài toán về tính thẳng hàng và đồng quy trong hình học cao cấp.

Nội dung chính

Tổng quan về giáo trình

Giáo trình Hình học cao cấp là tài liệu học thuật dành cho chương trình đào tạo cử nhân và thạc sĩ ngành Toán học, Sư phạm Toán học và Toán - Tin ứng dụng. Nội dung giáo trình tập trung vào hai phân môn quan trọng của toán học hiện đại: Hình học xạ ảnh (trọng tâm là đường bậc hai và các phép biến hình xạ ảnh) và Hình học tổ hợp (nghiên cứu cấu trúc rời rạc, hình học fractal và lý thuyết lát mặt phẳng).

Mục tiêu học tập của giáo trình nhằm trang bị cho người học hệ thống lý thuyết về không gian xạ ảnh $P_2(\mathbb{R})$, kỹ thuật đại số hóa các đối tượng hình học bậc hai thông qua ma trận đối xứng và dạng toàn phương, cùng phương pháp phân loại hình học dựa trên các nhóm biến hình bất biến. Đồng thời, giáo trình rèn luyện tư duy toán học rời rạc thông qua các phương pháp lặp, đệ quy, nguyên lý tự đồng dạng và lý thuyết nhóm tác động trong không gian hai chiều.

Cấu trúc giáo trình được tổ chức chặt chẽ từ giải tích xạ ảnh đến cấu trúc tổ hợp. Cách tiếp cận của tài liệu kết hợp phương pháp tiên đề hóa với giải tích ma trận và giải thuật toán học. Điểm đặc sắc của giáo trình thể hiện ở việc liên kết trực tiếp giữa các khái niệm trừu tượng của hình học xạ ảnh với hình học afin thực nghiệm, đồng thời mở rộng ứng dụng của hình học tổ hợp sang khoa học máy tính thông qua các bài toán tối ưu hóa, lý thuyết đồ thị và mô hình hóa hình học fractal.

---

Nội dung kiến thức cốt lõi

Các chương và chủ đề chính

Nội dung trọng tâm của giáo trình được triển khai qua các chủ đề logic và mang tính hệ thống cao:

1. Chương 4: Đường bậc hai trên mặt phẳng xạ ảnh

   • Định nghĩa và biểu diễn ma trận: Phương trình bậc hai thuần nhất ba biến $x_1, x_2, x_3$ trên trường số thực $\mathbb{R}$ có dạng $\sum_{i,j=1}^3 a_{ij}x_i x_j = 0$, tương ứng với biểu thức ma trận $(X)^t A (X) = 0$, trong đó $A$ là ma trận vuông cấp 3 đối xứng ($A^t = A$) có hạng $\text{rank}(A) \ge 1$. Tính chất suy biến ($\det A = 0$) hoặc không suy biến ($\det A \neq 0$) được chứng minh là một bất biến xạ ảnh dưới phép biến đổi tọa độ $(X') = B(X)$.
   • Tương giao của đường bậc hai và đường thẳng: Thiết lập phương trình giao điểm qua biểu diễn tham số $Ps^2 + 2Qst + Rt^2 = 0$. Biện luận các trường hợp tương giao: cắt tại hai điểm phân biệt, cắt tại điểm kép (tiếp xúc), cắt tại hai điểm ảo liên hợp, hoặc đường thẳng chứa trọn trong đường bậc hai.
   • Cực, đối cực và tiếp tuyến: Khái niệm hai điểm liên hợp ($u^t A v = 0$), tỉ số kép điều hòa $(U, V, M, N) = -1$. Định nghĩa cực tuyến (đối cực), cực điểm và điểm kì dị. Phân tích điều kiện tiếp tuyến thông qua đạo hàm riêng $\sum_{j=1}^3 \frac{\partial F}{\partial x_j}(U) x_j = 0$.
   • Phân loại xạ ảnh và dạng chính tắc: Dựa vào tam giác tự liên hợp, đưa phương trình về dạng $\varepsilon_1 x_1^2 + \varepsilon_2 x_2^2 + \varepsilon_3 x_3^2 = 0$ ($\varepsilon_i \in {1, -1, 0}$). Phân loại thành 5 dạng chuẩn: đường ôvan ảo ($x_1^2 + x_2^2 + x_3^2 = 0$), đường ôvan ($x_1^2 + x_2^2 - x_3^2 = 0$), cặp đường thẳng ảo cắt nhau ($x_1^2 + x_2^2 = 0$), cặp đường thẳng thực cắt nhau ($x_1^2 - x_2^2 = 0$), và cặp đường thẳng trùng nhau ($x_1^2 = 0$).
   • Liên hệ giữa ôvan xạ ảnh và cônic afin: Khảo sát tập hợp $(S) \setminus \Delta$ trên mặt phẳng afin $A = P \setminus \Delta$: elip (không cắt đường thẳng vô tận $\Delta$), hypebol (cắt $\Delta$ tại hai điểm vô tận), và parabol (tiếp xúc $\Delta$ tại một điểm vô tận).
   • Hệ thống định lý xạ ảnh kinh điển: Định lý Mac-Laurin về điều kiện tiếp xúc ma trận đối ngẫu $(u)^t A^{-1} (u) = 0$; Định lý Steiner thuận và đảo về tạo lập ôvan từ chùm đường thẳng; bài toán xác định ôvan từ 5 điểm/tiếp tuyến; Định lý Pascal (lục giác nội tiếp có các giao điểm cạnh đối thẳng hàng); Định lý Brianchon (lục giác ngoại tiếp có các đường chéo chính đồng quy); phép xạ ảnh đối hợp và điểm/đường thẳng Frégier; chùm đường bậc hai và Định lý Desargues thứ hai.

2. Chương 5: Hình học tổ hợp

   • Tổng quan và các bài toán kinh điển: Định nghĩa hình học tổ hợp là phân ngành nghiên cứu sự sắp xếp hữu hạn hoặc đếm được các hình thể theo quy tắc. Giới thiệu bài toán trồng cây 9 điểm 9 hàng (Định lý Pappus), bài toán xếp cầu Kepler, bài toán tô màu bản đồ (Möbius 1840, De Morgan, Kempe 1879, Appel - Haken 1976, Robertson - Thomas 1996).
   • Hình học Fractal: Khái niệm do Benoit Mandelbrot khởi xướng (1975). Phân tích 3 đặc trưng cơ bản: quá trình lặp vô hạn, tính tự đồng dạng, và sự tăng dần độ phức tạp. Các cấu trúc mẫu mực: Thảm Sierpinski, Bông hoa tuyết Koch, đường cong Peano, tập hợp Cantor, mô hình Công viên kỷ Jura (Dragon curve).
   • Lý thuyết lát mặt phẳng: Hệ thống hóa tô-pô lân cận $O_\varepsilon(M)$, điểm trong, điểm ngoài, điểm biên, miền trong. Định nghĩa cái lát và cái lát lặp của mặt phẳng qua các nhóm đẳng cự: nhóm tịnh tiến ${X, Y}$, nhóm đối xứng qua trung điểm ${X, Y, Z}$, và hệ thống phân loại 17 nhóm tác động tinh thể phẳng.

Kiến thức nền tảng được xây dựng

Giáo trình củng cố và tích hợp ba khối kiến thức nền tảng:

• Lý thuyết dạng toàn phương và ma trận: Biểu diễn các đối tượng hình học bậc hai qua đại số tuyến tính, biến đổi hệ cơ sở và phép chéo hóa dạng toàn phương trên trường số thực.
• Hình học biến hình và nguyên lý đối ngẫu: Ánh xạ xạ ảnh, tỉ số kép của bốn điểm/bốn đường thẳng, phép đối xạ biến điểm thành đường thẳng và ngược lại, tạo lập sự tương đương giữa các định lý cặp (Pascal - Brianchon, Steiner - Steiner đối ngẫu).
• Cơ sở cấu trúc tổ hợp và tô-pô: Khái niệm miền liên thông, bao đóng, lân cận điểm, sơ đồ thuật toán lặp đệ quy, và lý thuyết nhóm đối xứng rời rạc.

Kỹ năng phát triển

• Kỹ năng kỹ thuật: Thiết lập ma trận tọa độ, tìm cực tuyến và tiếp tuyến của đường bậc hai, chuyển đổi mục tiêu xạ ảnh để tìm phương trình chính tắc, tính toán tỉ số kép, xây dựng công thức đệ quy hình học.
• Kỹ năng phân tích: Khả năng chứng minh các quan hệ đồng quy, thẳng hàng bằng công cụ xạ ảnh; phân loại các cấu trúc hình học tổ hợp dựa trên nhóm biến hình bất biến.
• Kỹ năng thực hành ứng dụng: Mô hình hóa thuật toán fractal trong lập trình đồ họa; áp dụng lý thuyết đồ thị và tổ hợp vào giải quyết bài toán phân chia không gian và tối ưu hóa vị trí.

---

Phương pháp giảng dạy và học tập

Giáo trình triển khai phương pháp sư phạm diễn dịch chặt chẽ, kết hợp hài hòa giữa chứng minh giải tích hình thức và mô hình hóa hình học trực quan:

• Tiếp cận sư phạm: Mỗi khái niệm đều được xây dựng từ định nghĩa hình thức, tiếp nối bằng các chứng minh giải tích ma trận chuẩn mực, sau đó rút ra các định lý hình học và mở rộng bằng nguyên tắc đối ngẫu.
• Bài tập và ví dụ tính toán: Giáo trình cung cấp các bài toán mẫu có lời giải chi tiết, chẳng hạn như: viết phương trình tiếp tuyến của ôvan $x_1^2 + x_2^2 - x_3^2 = 0$ tại điểm nằm trên đường cong $U(3:4:5)$ hoặc đi qua điểm ngoài $V(1:0:0)$; bài tập phân tích ma trận suy biến để xác định cặp đường thẳng thực hay ảo.
• Nghiên cứu tình huống và sơ đồ thuật toán: Trình bày chi tiết lịch sử giải quyết bài toán bốn màu từ thế kỷ 19 đến các bước đột phá bằng máy tính của K. Appel, W. Haken, J. Koch (1976, chạy máy 1200 giờ) và thuật toán của R. Thomas (1996, xử lý trong 20 phút). Đi kèm là các sơ đồ lặp đệ quy cụ thể, như thuật toán tính số đoạn thẳng nối $n$ điểm không thẳng hàng $f_n = f_{n-1} + (n-1)$ hay giải thuật xây dựng đường cong rồng qua phép quay $90^\circ$.
• Phương pháp đánh giá: Đánh giá năng lực người học qua khả năng thiết lập ma trận, quy đổi mục tiêu xạ ảnh, chứng minh bất biến xạ ảnh và kỹ năng mô hình hóa quy tắc lặp fractal.
• Hướng dẫn tự học: Sinh viên cần nắm vững quy tắc chuyển đổi giữa mặt phẳng xạ ảnh $P_2$ và mặt phẳng afin $A$, luyện tập suy luận định lý đối ngẫu song song, và tự vẽ các bước lặp của các mô hình fractal (tam giác Sierpinski, hoa tuyết Koch) để hiểu bản chất đệ quy vô hạn.

---

Điểm nổi bật và cập nhật

• Cập nhật lịch sử và bước tiến toán học hiện đại: Giáo trình không chỉ dừng lại ở các kết quả xạ ảnh cổ điển thế kỷ 17–19 mà tích hợp các thành tựu toán học nửa cuối thế kỷ 20, tiêu biểu là việc ghi nhận kết quả chứng minh Định lý Bốn màu bằng công nghệ máy tính và các công trình của B. Mandelbrot về hình học Fractal xuất bản năm 1975.
• Tích hợp liên ngành Toán học và Công nghệ thông tin: Nội dung hình học tổ hợp được cấu trúc gắn liền với thuật toán máy tính. Các nguyên lý lặp (Iteration), đệ quy (Recursion), tự đồng dạng (Self-similarity) là nền tảng trực tiếp của các thuật toán sinh hình học trong đồ họa máy tính, xử lý ảnh và nén dữ liệu.
• Liên kết ứng dụng thực tế:
  • Lý thuyết lát mặt phẳng và bảng phân loại 17 nhóm đối xứng tinh thể phẳng cung cấp cơ sở toán học cho ngành tinh thể học, khoa học vật liệu, kiến trúc và thiết kế hoa văn công nghiệp.
  • Cấu trúc fractal mô tả chính xác các dạng hình thái tự nhiên không thuần nhất như cấu trúc tinh thể tuyết, hình thái thực vật, đường bờ biển hoặc bề mặt gãy của vật liệu.
  • Phép biến hình xạ ảnh và tỉ số kép là công cụ cốt lõi trong kỹ thuật thị giác máy tính (Computer Vision) phục vụ tái tạo không gian 3D từ ảnh chụp 2D.

---

Đối tượng sử dụng giáo trình

• Sinh viên đại học: Sinh viên năm thứ 3 và năm thứ 4 chuyên ngành Sư phạm Toán, Toán học, Toán - Tin học. Tài liệu cung cấp kiến thức bắt buộc cho học phần Hình học cao cấp, Hình học xạ ảnh hoặc Hình học hiện đại.
• Học viên cao học và nghiên cứu sinh: Học viên sau đại học chuyên ngành Hình học và Tô-pô, Toán ứng dụng cần tài liệu chuẩn hóa về lý thuyết dạng toàn phương trong hình học và cấu trúc nhóm biến hình rời rạc.
• Điều kiện tiên quyết (Prerequisites): Người học cần hoàn thành các học phần:
  1. Đại số tuyến tính: Ma trận, định thức, không gian vector, dạng toàn phương và phép biến đổi tọa độ.
  2. Hình học giải tích: Đường bậc hai trong không gian afin và không gian Euclid.
  3. Cơ sở giải tích và Tô-pô đại cương: Khái niệm cơ bản về lân cận, điểm tụ, ánh xạ liên tục và hàm nhiều biến.
• Giảng viên: Sử dụng làm giáo trình giảng dạy chính khóa, xây dựng đề cương bài giảng và ngân hàng đề thi chuyên đề hình học.
• Tài liệu tham khảo chuyên ngành: Phục vụ các kỹ sư công nghệ thông tin, lập trình viên đồ họa, nhà nghiên cứu trong lĩnh vực xử lý ảnh và khoa học vật liệu cần tra cứu nền tảng lý thuyết hình học xạ ảnh và đối xứng phẳng.

---

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

1. Giáo trình này phù hợp với ai?

Tài liệu được biên soạn phục vụ sinh viên năm 3, năm 4 và học viên cao học các ngành Toán học, Sư phạm Toán học, Toán - Tin, cùng các nhà nghiên cứu cần nền tảng lý thuyết về hình học xạ ảnh và hình học tổ hợp.

2. Cần chuẩn bị những kiến thức nền tảng nào trước khi học?

Người học cần nắm vững đại số tuyến tính (đặc biệt là ma trận đối xứng, định thức và dạng toàn phương), hình học giải tích afin/Euclid và các khái niệm cơ bản về tô-pô tập điểm (lân cận, điểm trong, miền trong).

3. Điểm khác biệt của giáo trình so với các tài liệu hình học thông thường là gì?

Giáo trình phân loại triệt để các đối tượng hình học bậc hai dưới góc nhìn xạ ảnh thuần nhất (thông qua 5 dạng chính tắc), thiết lập mối liên hệ tường minh với hình học afin (elip, hypebol, parabol dựa vào vị trí của đường thẳng vô tận), đồng thời tích hợp đầy đủ mảng lý thuyết hình học tổ hợp hiện đại (fractal, thuật toán đệ quy, 17 nhóm lát mặt phẳng).

4. Làm thế nào để tự học giáo trình đạt hiệu quả cao?

Người học nên thực hành song song hai phương pháp: tính toán giải tích ma trận cho các bài toán cực - đối cực, tiếp tuyến và vẽ sơ đồ phân nhánh; đồng thời vận dụng nguyên tắc đối ngẫu để tự chứng minh các định lý tương đương (chuyển đổi giữa định lý Pascal và định lý Brianchon, định lý Steiner và định lý Steiner đối ngẫu).

5. Giáo trình có những tài liệu và nguồn tra cứu bổ trợ nào?

Tài liệu viện dẫn các nghiên cứu lịch sử toán học kinh điển, tiêu biểu như lưu trữ MacTutor History of Mathematics của Đại học St Andrews (về Định lý Bốn màu), các công trình nghiên cứu của Benoit Mandelbrot (Regular Fractals, 1975) và các công bố khoa học quốc tế về thuật toán bốn màu của Robertson, Sanders, Seymour, Thomas (1996).

---

Kết luận

Giáo trình Hình học cao cấp là tài liệu học thuật chuẩn mực, phản ánh logic toán học chặt chẽ giữa đại số tuyến tính, hình học xạ ảnh kinh điển và hình học tổ hợp hiện đại. Giá trị cốt lõi của công trình nằm ở việc xây dựng hệ thống phân loại bất biến chính xác cho các đường bậc hai và chuẩn hóa các phương pháp giải toán tổ hợp rời rạc.

Lộ trình học tập đề xuất:

1. Giai đoạn 1: Nắm vững biểu diễn ma trận $(X)^t A (X) = 0$, tính chất điểm liên hợp, cực tuyến và 5 dạng chính tắc xạ ảnh.
2. Giai đoạn 2: Khảo sát các định lý xạ ảnh cổ điển (Mac-Laurin, Pascal, Brianchon, Desargues, Frégier) và nguyên lý đối ngẫu.
3. Giai đoạn 3: Nghiên cứu các phương pháp lặp, cấu trúc fractal (Sierpinski, Koch, Dragon curve) và 17 nhóm đối xứng lát mặt phẳng.

Tài nguyên nghiên cứu bổ sung bao gồm các chuyên đề về lý thuyết nhóm tinh thể học phẳng, thuật toán đồ thị máy tính và các nguồn tư liệu lịch sử toán học chuyên ngành.

Trích đoạn nội dung tài liệu

Chương 4 ĐƯỜNG BẬC HAI TRÊN MAT PHANG XA ANH §1. DUONG BAC HAI VA PHAN LOAI XA ANH 1. Định nghĩa đường bậc hai trên mặt phẳng xạ ảnh 1. Phương trình bậc hai thuần nhất của ba biến số.

Định nghĩa và kí hiệu Phương trình bậc hai thuần nhất của ba biến số Xịụ, x;, X; trên trường số thực R là phương trình có đạng : aX; + ¿»X2 + AysX 5 + QaXiXy + ZaygXoXy + ZayyXiX3=0 (1) trong đó các hệ số a, 1A nhiing sé thue, và có ít nhất một hệ số khác 0. Néu ta dat a, =a, thi cd thé viét QayXiX; = ajXiX; † ajXjXị VÀ bởi vậy phương trình (1) có thể viết dưới dạng: 3 ; 3 ayx,x, = Ú (VY) ijel ay Ay AL Ta kí hiệu ma trận Á = |a, a, a, | thi A lA ma trận Đại - 8»¿ — Địa vuông cấp 3, đối xứng, tức là A!= A và có hạng ít nhất bằng 1. Khi đó phương trình (1) hoặc (1) có thể viết dưới dang ma tran: (X)'A(X) = 0 (1). Định nghĩa đường bậc hai Định nghĩa: Trong mặt phẳng xạ ảnh P, với một mục tiêu xạ ảnh đã chọn, tập hợp (5) gôm những điểm X có toạ độ (x¡: x; : x;) thoả mãn phương trình (1) nói trên được gọi là một đường bậc hai.

Phuong trình (1) gọi là phương trình của đường bậc hai (S) đối uới hệ toạ độ đã chọn. Ma trận AÁ được gọi là ma trận của đường bậc hai (8) đối với mục tiêu đã chọn. Nếu detA # 0 (tức ma trận A không suy biến) thì (S) gọi là đường bậc hai khong suy biến. Trong trường hợp ngược lại, (S) gọi là đường bậc hai suy biến.

Hiển nhiên nếu A là ma trận của đường bậc hai (8) đối với mục tiêu đã cho thì kA (với k # 0) cũng là ma trận của (S) đối với mục tiêu đó. Ngược lại chúng ta sẽ quy ước: Nếu hai đường bậc hai (8) uà (S') có ma trận tương ứng là A vd A’ thi chúng được xem là trùng nhau khi uà chỉ khi có số k khác không sao cho A = bA', Nói một cách khác, khi uà chỉ khi các hệ số tương ứng trong phương trình của (S) oà (8) tỉ lệ uới nhau. Cac vi du: 1. Đối với mục tiêu xạ ảnh {A; E} cho đường bậc hai (S8) có phương trình x? — XIX¿ † X;X¿ — XiX; = 0 (1) Khi đó phương trình (1) có thể viết là 2x? ~2xịx; + 2x;x¿—2X,x; = Ú, 2 -1 -1 và ma trận của (8) là A= | -1 0 1 |.

Dé thấy rằng detA = 0, , -l 1 0 vậy (8) là đường bậc hai suy biến. Chú ý rằng phương trình (1) có thể viết dưới dang: (x,-x,) (x,-x,) = 0, tức là hoặc xị - x; = 0, hoặc x¡— x; = 0. Chú ý rằng hai phương trình đó lần lượt là phương trình của đường thẳng A,E va dudng thang A,E. Vậy đường bậc hai (S) đã cho là một cặp đường thẳng.

Cho đường bậc hai (S) có phương trình x? + x = 0. Ma trận của nó là: 1 0 90 A=l0 1 0|, bởi vậy (S) là đường bậc hai suy biến. Rõ ràng 0 0 0 là (S) chỉ gồm một điểm duy nhất (0:0: 1) tức là điểm A, cla muc tiêu. Tuy nhiên nếu ta xét trên trường số phức thì phương trình của (S) c6 thé viét duéi dang (x, + ix,)(x, — ix.

Boi vay ta cé thé nói đường bậc hai (8) là “cặp đường thẳng ảo” có phương trình lần lượt là: Xị + 1X;= Ö Và Xị— 1X; = Ö. Nếu ta xét thêm đường bậc hai (8) có phương trinh: x? + 4x3 =0 thi (S’) citng chi gdm mét diém duy nhất A; như (8).