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

Khóa luận tốt nghiệp "Một số dạng toán trong hình học Affine" do sinh viên Nguyễn Đình Tuấn thực hiện dưới sự hướng dẫn của TS. Hoàng Nhật Quy tại Khoa Toán, Trường Đại học Sư phạm – Đại học Đà Nẵng (bảo vệ tháng 05/2023). Đề tài được đặt trong bối cảnh đổi mới giáo dục toán học phổ thông tại Việt Nam, cụ thể là Chương trình Giáo dục phổ thông 2018. Theo chương trình mới, mạch kiến thức "Hình học và một số yếu tố đo lường" tiếp tục được khẳng định là một trong ba mạch nội dung cốt lõi của môn Toán, bên cạnh mạch "Số và Đại số" và mạch "Thống kê và Xác suất".

Về mặt khoa học, hình học sơ cấp được giảng dạy ở bậc phổ thông thực chất là sự cụ thể hóa của hình học Euclid trong trường hợp không gian 2 chiều (mặt phẳng) và 3 chiều (không gian). Tuy nhiên, cách tiếp cận thuần túy sơ cấp thường thiếu tính bao quát. Khi loại bỏ khái niệm khoảng cách và góc giữa hai vectơ, cấu trúc không gian Affine tuy có ít quan hệ metric hơn hình học Euclid nhưng lại mang lại phạm vi nghiên cứu rộng mở hơn với các đối tượng hình học tổng quát trong không gian $n$ chiều. Đồng thời, không gian Affine liên kết với không gian vectơ đóng vai trò cấu nối tự nhiên giữa hình học và đại số tuyến tính, cho phép đại số hóa các bài toán hình học thông qua phương pháp tọa độ.

Mục tiêu nghiên cứu của khóa luận được xác định cụ thể như sau:

  1. Nghiên cứu hệ thống cơ sở lý thuyết của hình học Affine $n$ chiều nhằm cung cấp cái nhìn tổng thể, mang tính bản chất đối với các đối tượng trong hình học sơ cấp.
  2. Khái quát hóa các khái niệm, tính chất và dạng toán quen thuộc của hình học sơ cấp (như trung điểm, trọng tâm, đường thẳng, mặt phẳng, đường cong bậc hai) thành các kết quả tổng quát trong không gian Affine $n$ chiều.
  3. Vận dụng công cụ đại số tuyến tính để phân loại, thiết lập thuật giải và giải quyết các bài toán hình học trong không gian nhiều chiều, đồng thời chuyển đổi ngược lại các kết quả hình học cao cấp thành các bài toán thực hành phù hợp với chương trình phổ thông.

Đối tượng và phạm vi nghiên cứu:

  • Đối tượng nghiên cứu: Cấu trúc không gian Affine, các đối tượng hình học cơ bản (hệ điểm độc lập, mục tiêu Affine, tập lồi, đơn hình, hình hộp, các phẳng và siêu mặt bậc hai), cùng các dạng toán hình học sơ cấp có khả năng tổng quát hóa lên hình học cao cấp.
  • Phạm vi nghiên cứu: Giới hạn trong không gian Affine hữu hạn chiều trên trường số thực $\mathbb{R}$ hoặc số phức $\mathbb{C}$, trọng tâm thực hành đặt trên các không gian $A^2, A^3, A^4, A^5$; nghiên cứu tập trung vào ba chủ đề bài toán: bài toán tâm tỉ cự và cực trị hình học, bài toán thiết lập phương trình $m$-phẳng, và bài toán xác định các yếu tố của siêu mặt bậc hai.

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

Khóa luận được xây dựng trên hệ thống lý thuyết chuẩn tắc của hình học cao cấp và đại số tuyến tính, tham khảo từ 4 tài liệu chuyên khảo chuyên ngành. Khung lý thuyết trọng tâm bao gồm các khái niệm và cấu trúc sau:

  • Không gian Affine: Một bộ $(A, \vec{A}, f)$ gồm tập hợp điểm khác rỗng $A$, không gian vectơ $\vec{A}$ trên trường $K$ ($\mathbb{R}$ hoặc $\mathbb{C}$) và ánh xạ liên kết $f: A \times A \to \vec{A}$ (ký hiệu $f(M,N) = \vec{MN}$) thỏa mãn hai tiên đề:
    1. Với mỗi điểm $M \in A$ và vectơ $\vec{v} \in \vec{A}$, tồn tại duy nhất điểm $N \in A$ sao cho $\vec{MN} = \vec{v}$.
    2. Hệ thức Chasles: $\vec{MN} + \vec{NP} = \vec{MP}$ với mọi $M, N, P \in A$.
  • Hệ điểm độc lập và phụ thuộc Affine: Hệ $m+1$ điểm ${A_0, A_1, \dots, A_m}$ được định nghĩa là độc lập Affine khi và chỉ khi hệ $m$ vectơ ${\vec{A_0 A_1}, \vec{A_0 A_2}, \dots, \vec{A_0 A_m}}$ độc lập tuyến tính trong $\vec{A}$. Trong không gian Affine $n$ chiều ($A^n$), một hệ độc lập có tối đa $n+1$ điểm; mọi hệ có từ $n+2$ điểm trở lên đều phụ thuộc Affine.
  • Mục tiêu Affine và công thức đổi mục tiêu: Một mục tiêu Affine ${O; \vec{e}i}{i=1,\dots,n}$ gồm một gốc $O$ và một cơ sở của $\vec{A}$. Tọa độ điểm $M(x_i)$ được xác định qua biểu diễn $\vec{OM} = \sum_{i=1}^n x_i \vec{e}_i$. Khi đổi sang mục tiêu mới ${O'; \vec{e}'_i}$, công thức đổi tọa độ có dạng ma trận: $[x] = C[x'] + [b]$, trong đó $C$ là ma trận chuyển cơ sở không suy biến ($\det C \neq 0$) và $[b]$ là tọa độ của gốc mới $O'$.
  • Cấu trúc lồi: Định nghĩa đoạn thẳng $PQ = {M \in A : \vec{OM} = \lambda \vec{OP} + (1-\lambda)\vec{OQ}, 0 \le \lambda \le 1}$, tập lồi, đơn hình $m$-chiều ($m$-đơn hình) và hình hộp $m$-chiều ($m$-hộp).
  • Tâm tỉ cự: Điểm $G$ duy nhất thỏa mãn $\vec{OG} = \frac{1}{\lambda} \sum_{i=1}^m \lambda_i \vec{OP}i$ (với $\lambda = \sum{i=1}^m \lambda_i \neq 0$), tương đương với đẳng thức $\sum_{i=1}^m \lambda_i \vec{GP}_i = \vec{0}$.
  • Siêu mặt bậc hai: Tập hợp các điểm thỏa mãn phương trình đại số bậc hai dạng ma trận: $[x]^* A [x] + 2[a]^* [x] + a_0 = 0$, với $A$ là ma trận vuông đối xứng cấp $n$.

Phương pháp nghiên cứu thực tế được tác giả triển khai bao gồm:

  • Phương pháp tiên đề và cấu trúc đại số: Sử dụng tiên đề để định nghĩa không gian và suy diễn logic các tính chất cơ bản.
  • Phương pháp tọa độ hóa: Thiết lập song ánh $\phi: A^n \to K^n$ để chuyển hóa hoàn toàn các quan hệ hình học thành phương trình, hệ phương trình đại số và phép toán ma trận.
  • Phương pháp tổng quát hóa: Mở rộng các kết quả cụ thể từ không gian 2 chiều, 3 chiều lên không gian $n$ chiều tổng quát.
Khái niệm Hình học sơ cấp Khái niệm Đại số tuyến tính Đối tượng tương ứng trong Hình học Affine
Hai điểm phân biệt Vectơ khác không 2 điểm độc lập Affine
Ba điểm không thẳng hàng 2 vectơ độc lập tuyến tính 3 điểm độc lập Affine
Bốn điểm không đồng phẳng 3 vectơ độc lập tuyến tính 4 điểm độc lập Affine
Hệ trục tọa độ $Oxy$, $Oxyz$ Cơ sở của không gian vectơ Mục tiêu Affine ${O; \vec{e}_1, \dots, \vec{e}_n}$
Đường thẳng, mặt phẳng Không gian vectơ con $m$-phẳng (với $m=1, 2$)
Đường elip, mặt cầu, parabol Dạng toàn phương, ma trận đối xứng Siêu mặt bậc hai trong $A^n$

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

Chương 1: Kiến thức chuẩn bị

Chương 1 có độ dài từ trang 7 đến trang 18, giữ vai trò xây dựng hệ thống nền tảng lý thuyết cho toàn bộ công trình. Nội dung chương được chia thành 4 tiểu mục chính:

  • 1.1 Không gian Affine: Trình bày định nghĩa hình thức về không gian Affine liên kết với không gian vectơ qua ánh xạ $f$. Tác giả chứng minh 4 tính chất suy diễn từ hệ thức Chasles:
    1. $\vec{MN} = \vec{0} \Leftrightarrow M = N$.
    2. $\vec{MN} = \vec{PQ} \Leftrightarrow \vec{MP} = \vec{NQ}$.
    3. $\vec{MN} + \vec{NM} = \vec{0}$.
    4. $\vec{MN} = \vec{PN} - \vec{PM}$. Tiểu mục cũng phân tích cấu trúc Affine chính tắc trên chính không gian vectơ $V$ qua ánh xạ $f(\vec{u}, \vec{v}) = \vec{u} - \vec{v}$, đồng thời thiết lập định nghĩa về tính độc lập và phụ thuộc Affine của hệ điểm, chứng minh định lý về số lượng điểm độc lập tối đa trong không gian $n$ chiều.
  • 1.2 Tọa độ Affine và mục tiêu Affine: Xây dựng mục tiêu Affine ${O; \vec{e}i}$ và chứng minh tính song ánh của ánh xạ tọa độ $\phi: A^n \to K^n$. Thiết lập công thức biến đổi tọa độ khi thay đổi mục tiêu Affine: $$x_i = \sum{j=1}^n c_{ij} x'_j + b_i \quad \Leftrightarrow \quad [x] = C[x'] + [b]$$ Tác giả cụ thể hóa công thức trong các trường hợp đặc biệt: phép tịnh tiến gốc tọa độ ($C = I_n$), phép đổi cơ sở dạng ma trận tam giác với các phần tử trên đường chéo bằng 1.
  • 1.3 Tập lồi trong không gian Affine thực: Định nghĩa đoạn thẳng $PQ$ qua tổ hợp Affine $\vec{OM} = \lambda \vec{OP} + (1-\lambda)\vec{OQ}$ với $0 \le \lambda \le 1$. Định nghĩa tập lồi tổng quát và khẳng định mỗi $m$-phẳng là một tập lồi. Trình bày khái niệm $m$-đơn hình tạo bởi $m+1$ điểm độc lập ${A_0, \dots, A_m}$: $$C = \left{ M \in A^n : \vec{OM} = \sum_{i=0}^m x_i \vec{OA}i, , x_i \ge 0, , \sum{i=0}^m x_i = 1 \right}$$ Định lý 1.3 chứng minh chi tiết tính lồi của mọi $m$-đơn hình bằng việc xét tổ hợp đoạn thẳng của hai điểm bất kỳ thuộc đơn hình.
  • 1.4 Hình hộp $m$-chiều: Định nghĩa $m$-hộp tạo bởi điểm gốc $O$ và hệ $m$ vectơ độc lập tuyến tính ${\vec{e}_1, \dots, \vec{e}m}$: $$H = \left{ M \in A^n : \vec{OM} = \sum{i=1}^m x_i \vec{e}_i, , 0 \le x_i \le 1 \right}$$ Xác định số đỉnh của $m$-hộp là $2^m$ đỉnh (ứng với $x_i \in {0; 1}$), chỉ rõ các trường hợp cụ thể: 0-hộp là điểm, 1-hộp là đoạn thẳng, 2-hộp là hình bình hành, 3-hộp là hình hộp; đồng thời chứng minh mọi hình hộp đều là tập lồi.

Chương 2: Một số dạng toán trong hình học Affine

Chương 2 (từ trang 19 đến trang 56) là phần đóng góp cốt lõi của khóa luận, phân loại và giải quyết chi tiết 4 nhóm dạng toán:

  • 2.1 Các bài toán liên quan tới tâm tỉ cự của một hệ điểm: Trình bày định nghĩa tâm tỉ cự $G$ của họ điểm ${P_i}$ với hệ số ${\lambda_i}$ ($\sum \lambda_i \neq 0$). Chứng minh định lý điều kiện cần và đủ: $\sum_{i=1}^m \lambda_i \vec{GP}_i = \vec{0}$, tính chất bất biến khi nhân họ hệ số với số thực $k \neq 0$. Thiết lập 4 công thức khai triển cơ bản cho điểm $M$ tùy ý:
    1. Trung điểm $I$ của đoạn thẳng $AB$: $\vec{MA} + \vec{MB} = 2\vec{MI}$ và $MA^2 + MB^2 = 2MI^2 + IA^2 + IB^2$.
    2. Trọng tâm $G$ của tam giác $ABC$: $\vec{MA} + \vec{MB} + \vec{MC} = 3\vec{MG}$ và $MA^2 + MB^2 + MC^2 = 3MG^2 + GA^2 + GB^2 + GC^2$.
    3. Hệ hai điểm ${A, B}$ với hệ số ${\alpha, \beta}$ ($\alpha+\beta \neq 0$): $\alpha \vec{MA} + \beta \vec{MB} = (\alpha+\beta)\vec{MI}$ và $\alpha MA^2 + \beta MB^2 = (\alpha+\beta)MI^2 + \alpha IA^2 + \beta IB^2$.
    4. Hệ ba điểm ${A, B, C}$ với hệ số ${\alpha, \beta, \delta}$ ($\alpha+\beta+\delta \neq 0$): $\alpha \vec{MA} + \beta \vec{MB} + \delta \vec{MC} = (\alpha+\beta+\delta)\vec{MI}$ và $\alpha MA^2 + \beta MB^2 + \delta MC^2 = (\alpha+\beta+\delta)MI^2 + \alpha IA^2 + \beta IB^2 + \delta IC^2$. Ứng dụng các đẳng thức trên, tác giả giải quyết tuần tự 11 bài toán cực trị tọa độ tìm điểm $M$ trên đường thẳng $d$ hoặc mặt phẳng $(P)$ để biểu thức vectơ đạt môđun nhỏ nhất hoặc biểu thức bình phương đạt giá trị lớn nhất/nhỏ nhất trong không gian $Oxy$ và $Oxyz$.
  • 2.2 Các bài toán liên quan tới các phẳng trong không gian Affine: Định nghĩa $m$-phẳng $\alpha$ đi qua $P$ với không gian chỉ phương $\vec{\alpha}$ ($\dim \vec{\alpha} = m$). Xây dựng hai dạng biểu diễn giải tích:
    • Phương trình tham số: $[x] = A[t] + [b]$ với $A$ là ma trận cấp $n \times m$ có hạng bằng $m$.
    • Phương trình tổng quát: Hệ $n-m$ phương trình tuyến tính độc lập $\sum_{j=1}^n a_{ij} x_j + b_i = 0$ ($i = 1, \dots, n-m$). Giải quyết các bài toán thiết lập phương trình qua các không gian có số chiều tăng dần: lập phương trình mặt phẳng trong $A^3$; viết phương trình phẳng có số chiều bé nhất chứa 2 vectơ trong $A^4$ đi qua $M(0,2,1,1)$; viết phương trình phẳng bé nhất chứa hai đường thẳng chéo nhau $d_1, d_2$ trong $A^4$; và lập phương trình mặt phẳng 2 chiều trong không gian $A^5$ đi qua điểm $M(2; 0; 1; 0; -1)$.
  • 2.3 Các bài toán liên quan tới siêu mặt bậc hai trong không gian Affine: Định nghĩa phương trình tổng quát và dạng ma trận: $[x]^* A [x] + 2[a]^* [x] + a_0 = 0$. Thiết lập lý thuyết về tâm của siêu mặt bậc hai: tâm là điểm triệt tiêu các số hạng bậc nhất khi chọn làm gốc tọa độ. Điều kiện cần và đủ để siêu mặt có tâm duy nhất là ma trận phần bậc hai không suy biến ($\det A \neq 0$). Tọa độ tâm là nghiệm của hệ phương trình đại số: $$A[x] + [a] = 0$$ Nếu $\det A = 0$, siêu mặt không có tâm hoặc có vô số tâm. Áp dụng giải các bài toán: đưa mặt bậc hai trong $A^3$ về dạng ma trận; tìm tâm của đường elip trong $A^2$ ($I(-1; 2)$); chứng minh đường parabol trong $A^2$ không có tâm do hệ vô nghiệm; xác định giao điểm của đường thẳng đi qua $A(1;2;1;-1)$ và $B(2;-1;0;2)$ với 4 siêu phẳng tọa độ $x_1=0, x_2=0, x_3=0, x_4=0$ trong $A^4$.
  • 2.4 Các bài toán liên quan tới tiếp tuyến và siêu tiếp diện của siêu mặt bậc hai: Trình bày các khái niệm lý thuyết về điểm kì dị, phương tiệm cận, đường tiệm cận, tiếp tuyến và siêu tiếp diện của siêu mặt bậc hai trong không gian Affine.

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

Khóa luận đã hệ thống hóa các kết quả toán học cụ thể kèm theo lời giải chi tiết, không mang tính suy diễn, được tổng hợp qua bảng phân loại các bài toán tiêu biểu dưới đây:

Nhóm bài toán Không gian khảo sát Dữ liệu đầu vào tiêu biểu Kết quả tính toán giải tích
Cực trị tâm tỉ cự (hệ 2 điểm) $Oxyz$ $A(3; 3; -1), B(5; 3; -11)$, $d: \frac{x-10}{10} = \frac{y+8}{-7} = \frac{z-2}{2}$ Trung điểm $I(4; 3; -6)$; tìm $M \in d$ để $
Cực trị tâm tỉ cự (hệ 2 điểm) $Oxy$ $A(4; 3), B(-3; -4)$, $d: 3x+5y-21=0$, hệ số ${2; 5}$ Tâm tỉ cự $I(-1; -2)$; điểm tối ưu trên $d$ là $M(2; 3)$
Cực trị bình phương khoảng cách $Oxy$ $A(7; 13), B(5; 5)$, $d: 3x+4y-3=0$, hệ số ${3; -5}$ Tâm tỉ cự $I(4; -7)$; điểm làm cực đại $3MA^2 - 5MB^2$ là $M(5; -3)$
Cực trị tâm tỉ cự (hệ 3 điểm) $Oxyz$ $A(7; 4; -3), B(2; 4; 2), C(6; 2; 2)$, $(P): 3x+2y-2z-2=0$, hệ số ${2; 3; 5}$ Tâm tỉ cự $I(5; 3; 1)$; điểm tối ưu trên $(P)$ là $M(2; 1; 3)$
Cực trị bình phương khoảng cách $Oxyz$ $A(1; 8; 2), B(4; 3; 2), C(4; 5; 4)$, $(P): 5x-y+3z-2=0$, hệ số ${2; 3; -4}$ Tâm tỉ cự $I(-2; 5; -6)$; biểu diễn tham số hình chiếu $M(-2+5t; 5-t; -6+3t)$
Phẳng số chiều bé nhất $A^4$ Qua $M(0, 2, 1, 1)$, phương chứa $\vec{a}(0,1,2,0), \vec{b}(1,1,0,0)$ Hệ PTTQ gồm 2 phương trình: $2x_1 - 2x_2 + x_3 + 3 = 0$ và $x_4 = 1$
Phẳng chứa 2 đường thẳng $A^4$ Chứa $d_1$ qua $A(1;0;-2;1)$ và $d_2$ qua $B(0;1;1;-1)$ Phương trình tổng quát (3-phẳng): $3x_1 - 4x_2 + x_3 - 2x_4 - 1 = 0$
Lập phương trình phẳng $A^5$ Mặt phẳng qua $M_0(2; 0; 1; 0; -1)$ nhận $\vec{a}, \vec{b}$ làm cơ sở phương Hệ PTTQ gồm 3 phương trình: $3x_1-x_2-x_3-5=0$, $4x_1-3x_2-x_4-8=0$, $x_1-2x_2+x_5-1=0$
Xác định tâm siêu mặt $A^2$ Elip: $3x^2 - 2xy + 3y^2 + 10x - 14y + 1 = 0$ Nghiệm hệ $A[x]+[a]=0$ cho tâm duy nhất $I(-1; 2)$
Khảo sát tâm siêu mặt $A^2$ Parabol: $x^2 - 2xy + y^2 + 4x - 6y + 1 = 0$ $\det A = 0$, hệ phương trình tìm tâm vô nghiệm $\Rightarrow$ không có tâm
Giao điểm đường thẳng $A^4$ Đường thẳng qua $A(1;2;1;-1), B(2;-1;0;2)$ với siêu phẳng tọa độ Giao với $x_1=0$ tại $M_1(0;5;2;-4)$; giao với $x_2=0$ tại $M_2(5/3; 0; 1/3; 1)$

Đóng góp của khóa luận thể hiện ở các khía cạnh:

  • Làm rõ bản chất hình học cao cấp của các bài toán cực trị tọa độ phổ thông, chứng minh rằng các bài toán tìm điểm tối ưu trên đường thẳng hoặc mặt phẳng thực chất đều quy về việc xác định tâm tỉ cự của hệ điểm và tìm hình chiếu vuông góc của điểm cố định đó.
  • Cung cấp quy trình giải thuật chuẩn tắc bằng đại số tuyến tính (khử tham số Gauss, phương pháp ma trận) để xử lý các đối tượng hình học trong không gian nhiều chiều ($n \ge 4$), nơi trực giác hình học trực quan không còn thao tác được.
  • Đề xuất định hướng sư phạm cho sinh viên ngành Toán trong việc vận dụng góc nhìn tổng quát để thiết kế các bài toán phân hóa, sáng tạo bài toán mới phục vụ giảng dạy hình học phổ thông theo chương trình 2018.

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

Khóa luận phản ánh một số hạn chế gắn liền với phạm vi của một đồ án tốt nghiệp đại học:

  • Do giới hạn thời gian và kiến thức bản thân tác giả thừa nhận trong lời cảm ơn, đề tài chỉ tập trung khảo sát các đối tượng trên cấu trúc Affine thuần túy, chưa kết hợp sâu với cấu trúc Metric của không gian Euclid để xử lý trọn vẹn các bài toán khoảng cách và góc đa chiều.
  • Khóa luận dừng lại ở mức độ phân loại các bài toán giải tích cụ thể trên các không gian số chiều thấp ($n \le 5$), chưa xây dựng thành các thuật toán tự động hóa tổng quát cho không gian $n$ chiều tùy ý.
  • Phần lý thuyết về tiếp tuyến, siêu tiếp diện, điểm kì dị và phương tiệm cận (Mục 2.4) chủ yếu dừng lại ở việc nêu định nghĩa và tính chất cơ sở, chưa phát triển hệ thống bài tập thực hành phong phú như các mục trước.

Hướng nghiên cứu mở rộng được gợi mở từ văn bản:

  • Tiếp tục nghiên cứu sâu hơn về mối quan hệ giữa Hình học Affine và Hình học xạ ảnh, sử dụng tọa độ thuần nhất để nghiên cứu các điểm vô tận và phần tiệm cận của siêu mặt bậc hai.
  • Nghiên cứu phân loại afin hoàn chỉnh cho các siêu mặt bậc hai trên cả hai trường số thực $\mathbb{R}$ và số phức $\mathbb{C}$.

Giá trị tham khảo

Khóa luận là tài liệu tham khảo hữu ích cho các nhóm đối tượng:

  • Sinh viên ngành Sư phạm Toán và Cử nhân Toán: Cung cấp tài liệu học tập trực quan cho học phần Hình học cao cấp và Đại số tuyến tính, giúp người học hiểu rõ cách đưa các công cụ đại số trừu tượng (ma trận chuyển cơ sở, hạng ma trận, hệ phương trình tuyến tính) vào giải quyết các bài toán hình học cụ thể.
  • Giáo viên THPT dạy môn Toán: Giúp giáo viên nắm bắt bản chất của phương pháp tọa độ trong không gian, hiểu rõ nguồn gốc lý thuyết của phương pháp tâm tỉ cự để tự tin biên soạn các chuyên đề bồi dưỡng học sinh giỏi hoặc các bài toán vận dụng cao về cực trị hình học trong không gian $Oxyz$.
  • Nội dung có giá trị tham khảo cao nhất: Bảng công thức khai triển tâm tỉ cự và 11 bài toán cực trị minh họa trong Mục 2.1; quy trình khử tham số để lập phương trình tổng quát của $m$-phẳng trong không gian $A^4, A^5$ tại Mục 2.2; và thuật toán thiết lập phương trình ma trận xác định tâm của siêu mặt bậc hai trong Mục 2.3.

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

1. Hình học Affine khác biệt căn bản với Hình học Euclid ở điểm nào theo trình bày của tác giả?
Hình học Affine không có khái niệm khoảng cách (độ dài) và khái niệm góc giữa hai vectơ. Do vắng mặt các yếu tố đo lường này, hình học Affine có ít tính chất metric hơn hình học Euclid, nhưng bù lại có cấu trúc đối tượng tổng quát và phong phú hơn, đóng vai trò nền tảng trung gian giữa đại số tuyến tính và hình học sơ cấp.

2. Điều kiện cần và đủ để một siêu mặt bậc hai trong không gian $A^n$ có tâm duy nhất là gì?
Điều kiện cần và đủ để siêu mặt bậc hai $(S): [x]^* A [x] + 2[a]^* [x] + a_0 = 0$ có một tâm duy nhất là định thức của ma trận phần bậc hai khác không ($\det A \neq 0$). Khi đó tọa độ của tâm là nghiệm duy nhất của hệ phương trình ma trận $A[x] + [a] = 0$. Nếu $\det A = 0$, siêu mặt bậc hai sẽ không có tâm (như trường hợp đường parabol) hoặc có vô số tâm.

3. Phương pháp tâm tỉ cự giải quyết các bài toán cực trị độ dài và bình phương khoảng cách như thế nào?
Phương pháp này phân tích các vectơ hoặc tổng bình phương vô hướng chứa điểm biến thiên $M$ qua một điểm cố định duy nhất $I$ (hoặc $G$) là tâm tỉ cự của hệ điểm. Khi đó, biểu thức phức tạp ban đầu được rút gọn về dạng phụ thuộc duy nhất vào khoảng cách $MI$. Bài toán cực trị hình học được quy về việc tìm hình chiếu vuông góc của điểm cố định $I$ lên đường thẳng $d$ hoặc mặt phẳng $(P)$ đã cho.

4. Số lượng phương trình trong hệ phương trình tổng quát của một $m$-phẳng trong không gian $A^n$ được xác định ra sao?
Hệ phương trình tổng quát của một $m$-phẳng trong không gian Affine $n$ chiều gồm đúng $n - m$ phương trình tuyến tính độc lập đối với $n$ biến tọa độ $x_1, x_2, \dots, x_n$. Ví dụ: trong không gian $A^4$, một mặt phẳng 2 chiều được biểu diễn bởi $4 - 2 = 2$ phương trình tổng quát; trong không gian $A^5$, một mặt phẳng 2 chiều được biểu diễn bởi $5 - 2 = 3$ phương trình tổng quát.

5. Vì sao đơn hình $m$-chiều và hình hộp $m$-chiều được khẳng định là các tập lồi?
Khóa luận đã chứng minh bằng giải tích rằng với hai điểm bất kỳ $M, N$ thuộc đơn hình (hoặc hình hộp), mọi điểm $P$ nằm trên đoạn thẳng nối $M$ và $N$ (biểu diễn dưới dạng tổ hợp $(1-t)M + tN$ với $0 \le t \le 1$) đều có các tọa độ thỏa mãn đầy đủ các điều kiện ràng buộc về dấu không âm và tổng hệ số bằng 1 (đối với đơn hình) hoặc giới hạn trong đoạn $[0; 1]$ (đối với hình hộp). Do đó toàn bộ đoạn thẳng $MN$ đều thuộc tập hợp, thỏa mãn định nghĩa tập lồi.

Kết luận

Khóa luận tốt nghiệp của tác giả Nguyễn Đình Tuấn đã hoàn thành mục tiêu hệ thống hóa cơ sở lý thuyết của hình học Affine và thiết lập mối liên hệ mật thiết với các kiến thức hình học sơ cấp. Thông qua công cụ đại số tuyến tính và phương pháp tọa độ, công trình đã phân loại và giải quyết trọn vẹn ba nhóm bài toán trọng tâm gồm tâm tỉ cự, phương trình $m$-phẳng và siêu mặt bậc hai trong không gian nhiều chiều. Đề tài cung cấp tài liệu tham khảo khoa học, mạch lạc cho sinh viên sư phạm toán và giáo viên phổ thông trong việc nâng cao năng lực toán học chuyên ngành và đổi mới phương pháp dạy học hình học.