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

Khóa luận tốt nghiệp "Sử dụng số phức để nghiên cứu một số tính chất trong tam giác" được thực hiện bởi sinh viên Trần Huỳnh Anh (Lớp Toán 5C – Vũng Tàu, Niên khóa 2007 – 2012), dưới sự hướng dẫn của Th.S Lê Ngô Hữu Lạc Thiện tại Khoa Toán, Trường Đại học Sư phạm Thành phố Hồ Chí Minh (nghiệm thu tháng 5 năm 2012).

Theo trình bày của tác giả trong lời mở đầu, số phức ra đời từ thế kỷ XIX xuất phát từ nhu cầu phát triển của toán học nhằm giải các phương trình đại số. Kể từ khi xuất hiện, số phức đã chứng minh được tính hữu dụng trong nhiều phân môn toán học khác nhau. Trong hình học phẳng sơ cấp và nâng cao, số phức đóng vai trò như một công cụ đại số hữu hiệu giúp chuyển đổi các quan hệ hình học thuần túy (tính trực giao, thẳng hàng, đồng quy, đồng viên, tỉ số diện tích) thành các phép toán đại số giải tích ngắn gọn và tường minh hơn các phương pháp hình học tổng hợp truyền thống. Tuy nhiên, việc hệ thống hóa các định lý, công thức biến phức và áp dụng linh hoạt vào các cấu hình tam giác đòi hỏi một quá trình khảo sát lý thuyết chặt chẽ.

Mục tiêu và nhiệm vụ nghiên cứu của đề tài được xác định theo 3 nội dung chính:

  1. Hệ thống hóa và bổ sung các kiến thức nền tảng về lý thuyết số phức, các phép biến hình trong mặt phẳng Gauss, tỉ số kép và phương trình biểu diễn đường thẳng, đường tròn.
  2. Thiết lập cơ sở giải tích phức cho các cấu hình tam giác phẳng, bao gồm việc định nghĩa tích thực, tích phức, tọa độ các điểm đặc biệt (trọng tâm, tâm nội tiếp, trực tâm, điểm Nagel), đường tròn 9 điểm Euler, các hệ thức khoảng cách đặc biệt, tọa độ tỉ cự, diện tích và tính trực giao của hai tam giác.
  3. Ứng dụng các kết quả lý thuyết đã chứng minh để giải quyết 4 dạng bài toán hình học tam giác cụ thể.

Đối tượng nghiên cứu của đề tài là các đối tượng hình học phẳng trong tam giác (đỉnh, cạnh, đường thẳng Simson, tam giác thủy túc, đường tròn Euler, các điểm đồng quy, khoảng cách và diện tích) được mô hình hóa qua trường số phức $\mathbb{C}$. Phạm vi nghiên cứu giới hạn trong không gian hình học phẳng hai chiều (mặt phẳng Gauss) với các hệ thức hình học cổ điển của tam giác trong chương trình đại học và chuyên toán.

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

Khóa luận vận dụng khung lý thuyết giải tích biến phức và hình học giải tích trên mặt phẳng phức (mặt phẳng Gauss/Cauchy). Các khái niệm, công cụ và mô hình toán học chính được tác giả xây dựng và sử dụng bao gồm:

  • Mô hình mặt phẳng biến phức (Gauss): Thiết lập sự tương ứng 1-1 giữa điểm $Z(x, y)$ trên mặt phẳng tọa độ thực và số phức $z = x + iy \in \mathbb{C}$, biểu diễn vectơ $\vec{OZ}$, số phức liên hợp $\bar{z} = x - iy$, dạng lượng giác $z = r(\cos\theta + i\sin\theta)$, dạng mũ $z = re^{i\theta}$ qua công thức Euler, và căn bậc $n$ của đơn vị $U_n = {1, \varepsilon, \varepsilon^2, \dots, \varepsilon^{n-1}}$ với $\varepsilon = \cos\frac{2\pi}{n} + i\sin\frac{2\pi}{n}$.
  • Hệ thống phép biến hình phẳng: Mô hình hóa các phép biến hình dưới dạng hàm biến phức $z' = f(z)$, gồm phép tịnh tiến ($z' = z + a$), phép quay quanh điểm $a$ góc $\alpha$ ($z' = ze^{i\alpha} + a(1 - e^{i\alpha})$), phép vị tự tâm $a$ tỉ số $k$ ($z' = kz + a(1 - k)$), phép đối xứng trục, phép nghịch đảo cực $m$ phương tích $p$ ($(z' - m)(\bar{z} - \bar{m}) = p$), và phép đối hợp ($w^2 = 1$).
  • Tỉ số kép (Cross-ratio): Định nghĩa tỉ số kép của 4 điểm $(z_1, z_2, z_3, z_4) = \frac{z_1 - z_3}{z_1 - z_4} : \frac{z_2 - z_3}{z_2 - z_4}$ và tiêu chuẩn tỉ số kép thực để xác định tính thẳng hàng hoặc đồng viên của 4 điểm.
  • Đại số tích thực và tích phức:
    • Tích thực: $a \cdot b = \frac{1}{2}(\bar{a}b + a\bar{b}) \in \mathbb{R}$, đóng vai trò tích vô hướng để xác định tính trực giao ($a \cdot b = 0 \Leftrightarrow OA \perp OB$).
    • Tích phức: $a \times b = \frac{1}{2}(\bar{a}b - a\bar{b})$, đóng vai trò tích có hướng liên hệ trực tiếp với diện tích đại số của tam giác.
  • Tọa độ tỉ cự (Barycentric coordinates): Biểu diễn điểm $P$ qua $z_P = \mu_a a + \mu_b b + \mu_c c$ với $\mu_a + \mu_b + \mu_c = 1$.
  • Các bất biến cơ bản của tam giác: Nửa chu vi $s$, bán kính đường tròn nội tiếp $r$, bán kính đường tròn ngoại tiếp $R$, và phương trình bậc ba nhận độ dài ba cạnh làm nghiệm: $t^3 - 2st^2 + (s^2 + r^2 + 4Rr)t - 4sRr = 0$.

Phương pháp nghiên cứu chủ đạo là phương pháp đại số hóa hình học: chuyển đổi bài toán hình học sang biểu thức đại số trên trường số phức, sử dụng kỹ thuật chọn hệ trục tọa độ tối ưu (chọn gốc tọa độ $O$ tại tâm đường tròn ngoại tiếp tam giác để thỏa mãn $|a| = |b| = |c| = R$), sau đó sử dụng các phép biến đổi đồng nhất đại số để chứng minh kết quả.

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

Chương 1: Một số lý thuyết cơ bản

Chương 1 đóng vai trò hệ thống hóa toàn bộ công cụ toán học nền tảng, chia làm 4 mục lớn:

  • I. Tổng quan về số phức: Trình bày định nghĩa số phức, điểm biểu diễn hình học trên mặt phẳng Gauss, trục thực $Ox$, trục ảo $Oy$, tọa độ liên hợp $\bar{z}$, môđun $|z| = \sqrt{x^2 + y^2}$, argument $\theta \in [0, 2\pi)$, argument mở rộng $\text{Arg}(z)$, dạng lượng giác, dạng mũ theo công thức Euler. Khảo sát các phép toán đại số (cộng, trừ, nhân, chia) và diễn giải hình học của chúng. Trình bày công thức căn bậc $n$ của số phức $z_k = \sqrt[n]{r}\left(\cos\frac{\theta + 2k\pi}{n} + i\sin\frac{\theta + 2k\pi}{n}\right)$ với biểu diễn hình học là $n$ đỉnh của đa giác đều nội tiếp đường tròn tâm $O$ bán kính $\sqrt[n]{r}$. Khảo sát chi tiết căn bậc $n$ của đơn vị với các trường hợp $n = 2, 3, 4$.
  • II. Những phép biến hình cơ bản: Thiết lập công thức biến phức cho phép tịnh tiến, phép quay, phép đối xứng tâm ($z' = -z + 2a$), phép vị tự, hệ thức giữa ba điểm theo hệ thức Möbius, phép đối xứng trục, phép nghịch đảo qua cực $m$ phương tích $p$. Bổ sung khái niệm điểm vô tận $\infty$ trong mặt phẳng Gauss và khảo sát tích của hai phép tịnh tiến, tích của hai phép quay cùng tâm hoặc khác tâm, tính chất của phép đối hợp.
  • III. Tỉ số kép: Thiết lập định nghĩa tỉ số kép $(z_1, z_2, z_3, z_4)$, 6 giá trị cơ bản khi hoán vị 4 điểm, trường hợp có điểm ở vô tận $(z, 1, 0, \infty) = z$. Chứng minh định lý quan trọng: Tỉ số kép của bốn điểm là một số thực khi và chỉ khi bốn điểm đó cùng thuộc một đường thẳng hoặc cùng thuộc một đường tròn.
  • IV. Đường thẳng và đường tròn: Khảo sát tọa độ điểm chia đoạn thẳng theo tỉ số $k$ ($z = \frac{z_1 + kz_2}{1 + k}$), phương trình tham số của đường thẳng $z = a + bt$ ($t \in \mathbb{R}$), phương trình tổng quát của đường thẳng $\bar{a}z + a\bar{z} + b = 0$ ($b \in \mathbb{R}$), điều kiện 3 điểm thẳng hàng qua định thức cấp 3, điều kiện trực giao giữa hai đoạn thẳng ($M_1M_2 \perp M_3M_4 \Leftrightarrow \frac{z_1 - z_2}{z_3 - z_4} \in i\mathbb{R}^*$). Khảo sát phương trình tổng quát của đường tròn $z\bar{z} + \bar{a}z + a\bar{z} + b = 0$ ($b \in \mathbb{R}, a\bar{a} - b > 0$) và phương trình tham số dạng phân tuyến tính $z = \frac{at + b}{ct + d}$ ($ad - bc \neq 0$).

Chương 2: Sử dụng số phức để nghiên cứu một số tính chất trong tam giác

Chương 2 là trọng tâm lý thuyết của khóa luận, gồm 8 tiểu mục nghiên cứu sâu các cấu hình hình học tam giác:

  • 1. Tích thực của hai số phức: Định nghĩa $a \cdot b = \frac{1}{2}(\bar{a}b + a\bar{b})$. Chứng minh tính chất $AB \perp CD \Leftrightarrow (b - a) \cdot (d - c) = 0$. Thiết lập tọa độ phức của trực tâm $H$ tam giác $ABC$ khi chọn tâm ngoại tiếp $O$ làm gốc tọa độ là $h = a + b + c$ (trường hợp tổng quát: $h = a + b + c - 2o$).
  • 2. Tích phức của hai số phức: Định nghĩa $a \times b = \frac{1}{2}(\bar{a}b - a\bar{b})$. Chứng minh $a \times b = \pm 2i S[OAB]$ tùy theo hướng định hướng của tam giác. Thiết lập công thức diện tích đại số của tam giác $ABC$: $$S[ABC] = \frac{1}{4i} \begin{vmatrix} a & \bar{a} & 1 \ b & \bar{b} & 1 \ c & \bar{c} & 1 \end{vmatrix}$$ Chứng minh điều kiện thẳng hàng $(b - a) \times (c - a) = 0$ và điều kiện song song $AB \parallel CD \Leftrightarrow (b - a) \times (d - c) = 0$.
  • 3. Tâm tỉ cự và một số điểm đặc biệt trong một tam giác: Chứng minh công thức tọa độ giao điểm $Q$ của ba đường đồng quy $AA', BB', CC'$: $q = \frac{ma + nb + pc}{m + n + p}$. Từ đó xác định tọa độ các điểm đặc biệt:
    • Trọng tâm $G$: $g = \frac{a + b + c}{3}$ (với $m = n = p = 1$).
    • Tâm đường tròn nội tiếp $I$: $i = \frac{\alpha a + \beta b + \gamma c}{2s}$ (với $m = \alpha, n = \beta, p = \gamma$ là độ dài các cạnh).
    • Trực tâm $H$: $h = \frac{a\tan A + b\tan B + c\tan C}{\tan A + \tan B + \tan C}$.
    • Điểm Nagel $N$: $z_N = \frac{(s - \alpha)a + (s - \beta)b + (s - \gamma)c}{s}$.
  • 4. 9 điểm của đường tròn Euler: Xác định tọa độ hình chiếu $P$ của điểm $X(x)$ lên đường thẳng $BC$: $p = \frac{1}{2}\left(x + b + c - \frac{bc\bar{x}}{R^2}\right)$. Chứng minh 9 điểm (3 trung điểm cạnh, 3 chân đường cao, 3 trung điểm đoạn nối đỉnh với trực tâm) cùng thuộc đường tròn Euler có tâm $z_{O_9} = \frac{1}{2}(a + b + c)$ và bán kính $R_9 = \frac{R}{2}$.
  • 5. Các khoảng cách đặc biệt trong tam giác:
    • Xây dựng đa thức bậc ba nhận $\alpha, \beta, \gamma$ làm nghiệm: $t^3 - 2st^2 + (s^2 + r^2 + 4Rr)t - 4sRr = 0$.
    • Suy ra các đẳng thức: $\alpha^2 + \beta^2 + \gamma^2 = 2(s^2 - r^2 - 4Rr)$ và $\alpha^3 + \beta^3 + \gamma^3 = 2s(s^2 - 3r^2 - 6Rr)$.
    • Thiết lập bổ đề tích thực: $a \cdot b = R^2 - \frac{\gamma^2}{2}$, $b \cdot c = R^2 - \frac{\alpha^2}{2}$, $c \cdot a = R^2 - \frac{\beta^2}{2}$.
    • Chứng minh hệ thức khoảng cách $OI^2 = R^2 - 2Rr$ (kèm chứng minh bất đẳng thức Euler $R \ge 2r$), $ON = R - 2r$, $OH^2 = 9R^2 + 2r^2 + 8Rr - 2s^2$, và $OO_9^2 = \frac{1}{4}OH^2$.
  • 6. Khoảng cách giữa hai điểm trong mặt phẳng của tam giác: Chứng minh công thức tính khoảng cách giữa hai điểm $P_1(\alpha_1, \beta_1, \gamma_1)$ và $P_2(\alpha_2, \beta_2, \gamma_2)$ theo tọa độ tỉ cự: $$P_1P_2^2 = -\sum_{\text{cyc}} (\alpha_1 - \alpha_2)(\beta_1 - \beta_2)\gamma^2$$ Suy ra bất đẳng thức $\sum_{\text{cyc}} (\alpha_1 - \alpha_2)(\beta_1 - \beta_2)\gamma^2 \le 0$, áp dụng cho cặp điểm $(G, I)$ dẫn đến bất đẳng thức $\sum_{\text{cyc}} (2\alpha - \beta - \gamma)(2\beta - \alpha - \gamma)\gamma^2 \le 0$.
  • 7. Diện tích của một tam giác theo tọa độ tỷ cự: Thiết lập công thức diện tích $S[P_1P_2P_3] = S[ABC] \left| \det(\alpha_i, \beta_i, \gamma_i) \right|$. Tính diện tích tam giác Cevian $S[A'B'C'] = S[ABC] \frac{1 + mnp}{(1+m)(1+n)(1+p)}$. Tính diện tích tam giác tạo bởi các tiếp điểm nội tiếp $K_I = \frac{2\alpha\beta\gamma}{(2s)^3}S[ABC]$ và trực tâm $K_H = (2\cos A\cos B\cos C)S[ABC]$.
  • 8. Các tam giác trực giao:
    • Chứng minh định lý đường thẳng Simson – Wallance: $P, Q, R$ thẳng hàng khi và chỉ khi $M$ thuộc đường tròn ngoại tiếp tam giác $ABC$.
    • Thiết lập công thức diện tích tam giác thủy túc $PQR$ của điểm $X$: $S[PQR] = \frac{S[ABC]}{4R^2}|x\bar{x} - R^2|$.
    • Chứng minh Định lý Pompeiu và thiết lập tính đồng dạng giữa tam giác Pompeiu với tam giác thủy túc.
    • Chứng minh điều kiện cần và đủ về tính trực giao giữa hai tam giác $ABC$ và $XYZ$ cùng nội tiếp đường tròn $(O; R)$: Tam giác $ABC$ và tam giác $XYZ$ trực giao khi và chỉ khi $abc = xyz$.

Chương 3: Ứng dụng số phức giải một số bài toán hình học

Chương 3 áp dụng toàn bộ hệ thống lý thuyết và công thức đã thiết lập ở Chương 2 để phân loại và giải quyết các bài toán hình học tam giác, chia thành 4 dạng:

  • Dạng 1: Sử dụng tích thực và tích phức để chứng minh tính vuông góc, thẳng hàng và song song. Vận dụng các tiêu chuẩn $u \cdot v = 0$ để chứng minh vuông góc, $u \times v = 0$ để chứng minh song song và $(u - v) \times (w - v) = 0$ để chứng minh ba điểm thẳng hàng.
  • Dạng 2: Các bài toán liên quan đến đường tròn 9 điểm Euler. Vận dụng tọa độ tâm $O_9$, bán kính $R/2$ và biểu thức hình chiếu $P$ để giải các bài toán về tính đồng viên và vị trí tương đối của các đường tròn đặc biệt.
  • Dạng 3: Chứng minh các tam giác trực giao. Sử dụng điều kiện đại số biến phức $abc = xyz$ để giải quyết các bài toán liên quan đến hai tam giác nội tiếp cùng đường tròn ngoại tiếp.
  • Dạng 4: Một số bài toán tổng hợp. Kết hợp tọa độ tỉ cự, công thức khoảng cách và tỉ số diện tích để giải các bài toán hình học phẳng phức tạp.

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

Khóa luận đã tổng hợp và đại số hóa thành công một hệ thống phong phú các công thức hình học tam giác trên mặt phẳng phức. Bảng dưới đây tổng hợp các kết quả và công thức tiêu biểu được chứng minh trong văn bản:

Đại lượng / Khái niệm Biểu thức số phức / Công thức giải tích Điều kiện / Ý nghĩa hình học
Tích thực $a \cdot b = \frac{1}{2}(\bar{a}b + a\bar{b})$ $a \cdot b = 0 \Leftrightarrow OA \perp OB$
Tích phức $a \times b = \frac{1}{2}(\bar{a}b - a\bar{b})$ $
Trực tâm $H$ $h = a + b + c$ Khi gốc tọa độ $O$ là tâm đường tròn ngoại tiếp
Trọng tâm $G$ $g = \frac{a + b + c}{3}$ Điểm đồng quy của 3 đường trung tuyến
Tâm nội tiếp $I$ $i = \frac{\alpha a + \beta b + \gamma c}{\alpha + \beta + \gamma} = \frac{\alpha a + \beta b + \gamma c}{2s}$ Tâm đường tròn nội tiếp bán kính $r$
Điểm Nagel $N$ $z_N = \frac{(s - \alpha)a + (s - \beta)b + (s - \gamma)c}{s}$ Giao điểm các đường nối đỉnh với tiếp điểm bàng tiếp
Tâm đường tròn Euler $O_9$ $z_{O_9} = \frac{1}{2}(a + b + c) = \frac{h}{2}$ Trung điểm đoạn thẳng nối tâm ngoại tiếp $O$ và trực tâm $H$
Khoảng cách $OI$ $OI^2 = R^2 - 2Rr$ Suy ra bất đẳng thức Euler $R \ge 2r$
Khoảng cách $ON$ $ON = R - 2r$ Đoạn thẳng nối tâm ngoại tiếp và điểm Nagel
Khoảng cách $OH$ $OH^2 = 9R^2 + 2r^2 + 8Rr - 2s^2$ Khoảng cách giữa tâm ngoại tiếp và trực tâm
Khoảng cách tỉ cự $P_1P_2$ $P_1P_2^2 = -\sum_{\text{cyc}} (\alpha_1 - \alpha_2)(\beta_1 - \beta_2)\gamma^2$ Tính theo tọa độ tỉ cự của $P_1, P_2$ ($\sum \alpha_i = 1$)
Diện tích tam giác thủy túc $S[PQR] = \frac{S[ABC]}{4R^2}|x\bar{x} - R^2|$ Triệt tiêu khi $X$ thuộc đường tròn ngoại tiếp (Simson)
Tính trực giao hai tam giác $abc = xyz$ $\Delta ABC$ và $\Delta XYZ$ cùng nội tiếp $(O; R)$

Đóng góp của khóa luận thể hiện ở việc xây dựng một cầu nối chặt chẽ giữa đại số số phức và hình học phẳng cổ điển. Thay vì dựa vào các kỹ thuật dựng hình phụ hoặc biến đổi lượng giác phức tạp trong hình học sơ cấp, tác giả đã cung cấp một thuật giải có tính quy chuẩn: chọn gốc tọa độ $O$, biểu diễn các điểm dưới dạng số phức, và thực hiện các phép biến đổi đại số tương đương để đi đến kết luận hình học.

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

Dựa trên nội dung và phạm vi nghiên cứu được trình bày trong khóa luận:

  • Hạn chế: Đề tài chỉ giới hạn trong phạm vi hình học phẳng hai chiều (mặt phẳng Gauss), tập trung chủ yếu vào tam giác và các đường tròn/đường thẳng liên quan. Văn bản chưa mở rộng sang các đa giác bậc cao hơn (tứ giác toàn phần, ngũ giác) hoặc các cấu hình hình học phi Euclid.
  • Hướng nghiên cứu tiếp:
    • Mở rộng ứng dụng số phức sang nghiên cứu các đường cong bậc hai liên quan đến tam giác (như elip Steiner, hyperbol Kiepert, hyperbol Jerabek).
    • Nghiên cứu mở rộng sang không gian 3 chiều bằng cách sử dụng đại số Quaternion (số bốn chiều) hoặc đại số Clifford để khảo sát các tính chất hình học của tứ diện.
    • Xây dựng thuật toán và chương trình hóa các phép chứng minh hình học bằng số phức trên các phần mềm toán học tính toán biểu trưng (như Mathematica, Maple).

Giá trị tham khảo

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

  • Sinh viên ngành Sư phạm Toán và Toán học: Cung cấp tài liệu học tập chuyên đề về hình học giải tích phức, giúp củng cố kiến thức về số phức và rèn luyện kỹ năng đại số hóa các bài toán hình học phẳng.
  • Giáo viên giảng dạy Toán THPT và các lớp chuyên Toán: Nguồn tham khảo chất lượng để xây dựng bài giảng bồi dưỡng học sinh giỏi về chủ đề "Ứng dụng số phức giải toán hình học phẳng", đặc biệt là các dạng toán chứng minh tính thẳng hàng, đồng quy, vuông góc và tính toán khoảng cách/diện tích.
  • Người làm đề tài nghiên cứu liên quan: Phần đáng tham khảo nhất là Chương 2 (hệ thống định lý về tích thực, tích phức, tọa độ tỉ cự, công thức khoảng cách và tiêu chuẩn trực giao $abc = xyz$) và Chương 3 (phương pháp phân loại 4 dạng toán hình học).

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

1. Tích thực và tích phức của hai số phức $a$ và $b$ được định nghĩa như thế nào và có ý nghĩa hình học gì? Trong Chương 2 (mục 1 và mục 2), tích thực được định nghĩa là $a \cdot b = \frac{1}{2}(\bar{a}b + a\bar{b}) \in \mathbb{R}$, mang ý nghĩa tương đương tích vô hướng của hai vectơ $\vec{OA}$ và $\vec{OB}$ (cho biết $OA \perp OB \Leftrightarrow a \cdot b = 0$). Tích phức được định nghĩa là $a \times b = \frac{1}{2}(\bar{a}b - a\bar{b})$, có môđun bằng hai lần diện tích tam giác $OAB$ ($a \times b = \pm 2i S[OAB]$) và triệt tiêu khi và chỉ khi ba điểm $O, A, B$ thẳng hàng hoặc $a \parallel b$.

2. Khi chọn gốc tọa độ $O$ trùng với tâm đường tròn ngoại tiếp tam giác $ABC$, tọa độ phức của trực tâm $H$ và tâm đường tròn Euler $O_9$ được xác định ra sao? Theo chứng minh ở Chương 2 (mục 1 và mục 4), khi $|a| = |b| = |c| = R$ (tâm ngoại tiếp $O$ là gốc tọa độ), tọa độ phức của trực tâm $H$ là $h = a + b + c$. Tâm đường tròn 9 điểm Euler $O_9$ là trung điểm của đoạn thẳng $OH$, do đó có tọa độ phức là $z_{O_9} = \frac{1}{2}(a + b + c) = \frac{h}{2}$, và bán kính đường tròn Euler bằng $R_9 = \frac{R}{2}$.

3. Điều kiện cần và đủ để hai tam giác $ABC$ và $XYZ$ cùng nội tiếp đường tròn $(O; R)$ trực giao với nhau là gì? Theo Định lý tại mục 8.2 của Chương 2, hai tam giác $ABC$ và $XYZ$ cùng nội tiếp đường tròn $(O; R)$ (gốc tọa độ $O$ là tâm) trực giao với nhau (tức đường thẳng Simson của điểm $X$ đối với tam giác $ABC$ vuông góc với đường thẳng $YZ$) khi và chỉ khi tích tọa độ phức của các đỉnh thỏa mãn đẳng thức đại số: $abc = xyz$.

4. Diện tích của tam giác thủy túc phụ thuộc vào vị trí của điểm xét đối với đường tròn ngoại tiếp như thế nào? Tại mục 8.1 của Chương 2, tác giả chứng minh diện tích tam giác thủy túc $PQR$ của điểm $X(x)$ đối với tam giác $ABC$ nội tiếp $(O; R)$ được tính bởi công thức $S[PQR] = \frac{S[ABC]}{4R^2}|x\bar{x} - R^2|$. Khi điểm $X$ nằm trên đường tròn ngoại tiếp ($|x|^2 = x\bar{x} = R^2$), diện tích $S[PQR] = 0$, nghĩa là ba điểm $P, Q, R$ thẳng hàng, đây chính là định lý về đường thẳng Simson – Wallance.

5. Bất đẳng thức Euler $R \ge 2r$ được chứng minh thông qua hệ thức khoảng cách nào trong khóa luận? Tại mục 5.2 của Chương 2, tác giả thiết lập công thức tính khoảng cách giữa tâm đường tròn ngoại tiếp $O$ và tâm đường tròn nội tiếp $I$ là $OI^2 = R^2 - 2Rr = R(R - 2r)$. Vì khoảng cách bình phương luôn không âm ($OI^2 \ge 0$) và $R > 0$, suy ra $R - 2r \ge 0 \Leftrightarrow R \ge 2r$. Đẳng thức $R = 2r$ xảy ra khi và chỉ khi $OI = 0 \Leftrightarrow O \equiv I$, tức tam giác $ABC$ là tam giác đều.

Kết luận

Khóa luận tốt nghiệp "Sử dụng số phức để nghiên cứu một số tính chất trong tam giác" của tác giả Trần Huỳnh Anh là một công trình nghiên cứu lý thuyết toán học có kết cấu chặt chẽ và hàm lượng học thuật cao. Khóa luận đã hệ thống hóa hoàn chỉnh phương pháp đại số hóa hình học phẳng thông qua các công cụ tích thực, tích phức, phép biến hình, tỉ số kép và tọa độ tỉ cự. Các kết quả về đường tròn Euler, đường thẳng Simson, hệ thức khoảng cách đặc biệt và điều kiện trực giao $abc = xyz$ được chứng minh tường minh, mang lại giá trị tham khảo thiết thực cho công tác giảng dạy và học tập chuyên ngành Toán học.