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 các phép biến đổi Möbius" được thực hiện bởi sinh viên Võ Thanh Hải dưới sự hướng dẫn của ThS. Lê Ngô Hữu Lạc Thiện (Thành phố Hồ Chí Minh, năm 2012). Đề tài thuộc chuyên ngành Toán học (Hình học giải tích và Hình học biến hình).

Số phức ra đời từ đầu thế kỷ XIX xuất phát từ nhu cầu giải quyết các phương trình đại số, sau đó phát triển mạnh mẽ và trở thành công cụ quan trọng trong toán học, vật lý và kinh tế học. Trong hình học phẳng, nhiều bài toán chứng minh vị trí tương đối, quan hệ đồng dạng, tính chất bảo toàn hay quỹ tích hình học vốn phức tạp khi tiếp cận bằng phương pháp thuần túy hình học cổ điển (tổng hợp) sẽ được đại số hóa và đơn giản hóa đáng kể khi biểu diễn trên mặt phẳng phức. Phép biến đổi Möbius (hay phép biến đổi tròn) là một lớp biến đổi hình học cơ bản do nhà toán học người Đức August Ferdinand Möbius khám phá vào năm 1853, đóng vai trò nền tảng trong hình học bảo giác và giải tích phức.

Mục tiêu nghiên cứu của khóa luận gồm các nhiệm vụ cụ thể:

  1. Hệ thống hóa cơ sở lý thuyết số phức và các phép biến hình cơ bản trong mặt phẳng phức (mặt phẳng Gauss).
  2. Nghiên cứu toàn diện các tính chất đại số, cấu trúc nhóm và phân loại hình học của phép biến đổi tròn (phép biến đổi Möbius), bao gồm phép đồng dạng, phép biến đổi tròn không đồng dạng và phép đối hợp Möbius.
  3. Xây dựng phương pháp và vận dụng công cụ số phức (công thức phép quay, tích thực của hai số phức, tính chất bất biến của tỉ số kép) để giải quyết các bài toán hình học phẳng tổng hợp.

Đối tượng nghiên cứu là trường số phức $\mathbb{C}$, mặt phẳng phức Gauss, các phép biến hình phẳng và lớp các hàm biến phân tuyến tính Möbius $z' = \frac{az+b}{cz+d}$ ($ad - bc \neq 0$). Phạm vi nghiên cứu giới hạn trong không gian hình học phẳng hai chiều $\mathbb{R}^2 \cong \mathbb{C}$ với các đối tượng hình học Euclid cổ điển (đoạn thẳng, đường thẳng, đường tròn, tam giác, đa giác).

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

Khóa luận vận dụng các khung lý thuyết, khái niệm và công cụ đại số - giải tích phức chuẩn tắc:

  • Mặt phẳng phức Gauss (mặt phẳng Cauchy, mặt phẳng biến phức): Sự tương ứng 1-1 giữa điểm thực $Z(x, y)$ và số phức $z = x + iy$; các dạng biểu diễn đại số, lượng giác $z = r(\cos\theta + i\sin\theta)$ và dạng mũ Euler $z = re^{i\theta}$; khái niệm điểm vô tận ($\infty$).
  • Phương trình song tuyến tính và hàm phân tuyến tính: Phương trình dạng $\alpha zz' + \beta z + \gamma z' + \delta = 0$ ($\alpha\delta - \beta\gamma \neq 0$) và dạng phân thức bậc nhất $z' = \frac{az+b}{cz+d}$ ($ad - bc \neq 0$).
  • Lý thuyết nhóm hình học (Felix Klein): Cấu trúc nhóm của các phép biến đổi bảo giác thuận, nhóm biến đổi tròn, nhóm đồng dạng, nhóm dời hình, nhóm các phép tịnh tiến và vị tự.
  • Bất biến tỉ số kép (Cross-ratio): Tỉ số kép của bốn đ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à tính chất bất biến qua phép biến đổi Möbius.
  • Phương trình giải tích của đường thẳng và đường tròn: Dạng phức tổng quát $az + \bar{a}\bar{z} + b = 0$ ($b \in \mathbb{R}$) cho đường thẳng và $z\bar{z} + az + \bar{a}\bar{z} + b = 0$ ($b \in \mathbb{R}, a\bar{a} - b > 0$) cho đường tròn.

Phương pháp nghiên cứu chủ đạo:

  • Phương pháp đại số hóa hình học: Thiết lập mối tương quan song ánh giữa các quan hệ hình học (song song, vuông góc, thẳng hàng, đồng viên, đồng dạng) với các đẳng thức/bất đẳng thức trên trường số phức.
  • Phương pháp suy diễn tiên đề và phân tích cấu trúc nhóm: Chứng minh các định lý phân loại phép biến hình thông qua việc giải phương trình điểm bất biến và phân tích ma trận hệ số.
  • Phương pháp tổng hợp và giải toán mẫu: Ứng dụng trực tiếp hệ thống công thức giải tích phức vào các bài toán chứng minh hình học phẳng.

Nguồn dữ liệu của đề tài là các tài liệu lý thuyết, giáo trình chuyên khảo về Hình học giải tích, Giải tích phức và các bài toán hình học phẳng trong chương trình toán học đại học và bồi dưỡng học sinh giỏi.

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

Chương 1: Một số lý thuyết cơ bản. Tổng quan về số phức

Chương 1 thiết lập toàn bộ nền tảng công cụ giải tích phức được dùng xuyên suốt đề tài.

  1. Tổng quan về số phức: Tác giả trình bày phép biểu diễn số phức trên mặt phẳng tọa độ $Oxy$ vuông góc; trục $Ox$ là trục thực, trục $Oy$ là trục ảo; tọa độ liên hợp $\bar{z} = x - iy$; dạng lượng giác và dạng mũ Euler $z = re^{i\theta}$; biểu diễn vectơ của số phức. Các phép toán cộng, trừ, nhân, chia số phức được mô tả gắn liền với dựng hình hình học (tam giác đồng dạng, quay vectơ, tỉ số độ dài). Định nghĩa và công thức tính căn bậc $n$ của số phức $z_0 = r(\cos\theta + i\sin\theta)$ và căn bậc $n$ của đơn vị ($z^n - 1 = 0$).
  2. Những phép biến hình cơ bản: Khảo sát các phép biến hình 1-1 $\omega$ trên mặt phẳng Gauss:
    • Phép tịnh tiến: $z' = z + a$.
    • Phép quay quanh điểm $A(a)$ góc $\alpha$: $z' = ze^{i\alpha} + a(1 - e^{i\alpha})$. Hệ quả phép đối xứng tâm $A$ ($\alpha = \pi$): $z' = -z + 2a$.
    • Phép vị tự tâm $A(a)$ tỉ số $k \neq 0$: $z' = kz + a(1 - k)$.
    • Phép đối xứng trục: Thiết lập phương trình qua hệ thức góc định hướng giữa các trục.
    • Phép nghịch đảo cực $M(m)$ phương tích $p$: $(z' - m)(\bar{z} - \bar{m}) = p \Leftrightarrow z' = \frac{m\bar{z} + p - m\bar{m}}{\bar{z} - \bar{m}}$; trường hợp cực $O$, $p=1$ có dạng $z' = \frac{1}{\bar{z}}$.
    • Điểm vô tận: Bổ sung điểm $\infty$ vào mặt phẳng Gauss để tạo thành mặt phẳng phức mở rộng.
    • Tích các phép biến hình: Quy tắc hợp thành $\omega = \omega_2\omega_1$; tích hai phép tịnh tiến là phép tịnh tiến; tích hai phép quay cùng tâm là phép quay, khác tâm là phép tịnh tiến hoặc phép quay.
    • Phép đối hợp: Phép biến đổi thỏa mãn $\omega^2 = 1 \Leftrightarrow \omega = \omega^{-1}$ (đối xứng tâm, đối xứng trục, phép nghịch đảo).
  3. Tỉ số kép: Định nghĩa tỉ số kép $(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}$. Chứng minh tính chất hoán vị 4 điểm cho tối đa 6 giá trị phân biệt. Khảo sát trường hợp có điểm ở vô tận $(z_1, z_2, z_3, \infty) = \frac{z_1 - z_3}{z_2 - z_3}$. Chứng minh điều kiện cần và đủ để tỉ số kép là một số thực là bốn điểm $Z_1, Z_2, Z_3, Z_4$ cùng thuộc một đường thẳng hoặc cùng thuộc một đường tròn.
  4. Đường thẳng và đường tròn: Tọa độ điểm chia đoạn thẳng $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}$) và phương trình tổng quát $az + \bar{a}\bar{z} + b = 0$. Thiết lập điều kiện ba điểm thẳng hàng $\frac{z_3 - z_1}{z_2 - z_1} \in \mathbb{R}$ và điều kiện trực giao $\frac{z_4 - z_3}{z_2 - z_1} \in i\mathbb{R}$. Thiết lập phương trình tổng quát của đường tròn $z\bar{z} + az + \bar{a}\bar{z} + b = 0$ và dạng tham số $z = \frac{at+b}{ct+d}$ với $t \in \mathbb{R}$.

Chương 2: Những phép biến đổi tròn

Chương 2 là nội dung trọng tâm của khóa luận, nghiên cứu toàn diện cấu trúc giải tích và hình học của phép biến đổi Möbius.

  1. Những tính chất chung của phép biến đổi tròn:
    • Xuất phát từ phương trình song tuyến tính $\alpha zz' + \beta z + \gamma z' + \delta = 0$ với $\alpha\delta - \beta\gamma \neq 0$, biến đổi thành hàm phân tuyến tính $z' = \frac{az+b}{cz+d}$ ($ad - bc \neq 0$).
    • Xác định duy nhất: Một phép biến đổi tròn được xác định duy nhất khi biết ảnh của 3 điểm phân biệt tùy ý $Z_1, Z_2, Z_3 \mapsto Z_1', Z_2', Z_3'$.
    • Tính bất biến của tỉ số kép: $(z_1', z_2', z_3', z_4') = (z_1, z_2, z_3, z_4)$ qua mọi phép biến đổi tròn.
    • Tính chất tròn: Biến tập hợp đường thẳng và đường tròn thành tập hợp đường thẳng và đường tròn.
    • Sự bảo toàn góc: Phép biến đổi tròn bảo toàn độ lớn và hướng của góc định hướng giữa hai đường cong (phép biến đổi bảo giác thuận).
    • Cấu trúc nhóm: Tích hai phép biến đổi tròn là một phép biến đổi tròn; tập hợp các phép biến đổi tròn lập thành nhóm tròn của mặt phẳng.
    • Điểm bất biến và điểm giới hạn: Phép biến đổi khác phép đồng nhất có tối đa 2 điểm bất biến. Hai điểm giới hạn là $L = -\frac{d}{c}$ (ảnh là $\infty$) và $M' = \frac{a}{c}$ (tạo ảnh của $\infty$).
  2. Phép đồng dạng ($c = 0$):
    • Phương trình có dạng $z' = \frac{a}{d}z + \frac{b}{d}$ ($ad \neq 0$). Điểm vô tận $\infty$ là điểm bất biến. Biến đường thẳng thành đường thẳng, đường tròn thành đường tròn; tỉ số đồng dạng là $|\frac{a}{d}|$.
    • Mọi phép đồng dạng thuận là tích của một phép quay, một phép vị tự đồng tâm và một phép tịnh tiến.
    • Xác định tâm phép đồng dạng $\omega = \frac{b}{d - a}$. Điều kiện hai tam giác đồng dạng thuận và điều kiện tam giác đều: $z_1^2 + z_2^2 + z_3^2 = z_1z_2 + z_2z_3 + z_3z_1$.
    • Khảo sát các nhóm con: nhóm các phép tịnh tiến, nhóm các phép dời hình (tịnh tiến và quay), nhóm các phép vị tự - tịnh tiến. Chứng minh phép đồng dạng đối hợp duy nhất là phép đối xứng tâm.
  3. Phép biến đổi tròn không đồng dạng ($c \neq 0$):
    • Phương trình chính tắc: $(z - l)(z' - m') = \frac{bc - ad}{c^2}$. Tích khoảng cách $LZ \cdot M'Z' = \text{const} = |\frac{bc-ad}{c^2}|$.
    • Điểm bất biến $E(e), F(f)$ là nghiệm của $cz^2 - (a - d)z - b = 0$. Trung điểm đoạn thẳng $EF$ trùng với trung điểm đoạn nối hai điểm giới hạn $LM'$: $\frac{e+f}{2} = \frac{l+m'}{2} = \frac{a-d}{2c}$.
    • Tỉ số kép bất biến $\lambda = (e, f, z, z')$.
    • Phân loại phép biến đổi tròn:
      • Parabolic: $\lambda = 1$ (hai điểm bất biến trùng nhau, $(a - d)^2 + 4bc = 0$).
      • Hyperbolic: $\lambda \in \mathbb{R} \setminus {0, 1}$.
      • Elliptic: $|\lambda| = 1, \lambda \notin \mathbb{R}$.
      • Loxodromic: $|\lambda| \neq 1, \lambda \notin \mathbb{R}$.
    • Phân tích phân rã: Mọi phép biến đổi tròn không đồng dạng đều phân tích được thành tích của một phép tịnh tiến, một phép nghịch đảo cực $O$ phương tích 1, một phép đối xứng trục $Ox$ và một phép đồng dạng.
  4. Phép đối hợp Möbius:
    • Điều kiện cần và đủ để phép biến đổi tròn là phép đối hợp: $a + d = 0$.
    • Là một phép biến đổi hyperbolic với bất biến $\lambda = -1$. Các điểm bất biến $E, F$ và cặp điểm liên hợp $Z, Z'$ tạo thành một tứ giác điều hòa.
    • Phương trình biểu diễn đối xứng dạng song tuyến: $azz' + b(z + z') + c = 0$.
Loại phép biến đổi tròn Điều kiện hệ số / Bất biến $\lambda$ Số điểm bất biến hữu hạn Tính chất hình học đặc trưng
Đồng dạng $c = 0$ 1 (nếu $a \neq d$) hoặc vô số Điểm $\infty$ là điểm bất biến; bảo toàn tỉ số khoảng cách
Parabolic $(a - d)^2 + 4bc = 0$, $\lambda = 1$ 1 (nghiệm kép) Tương đương phép tịnh tiến trong không gian xạ ảnh
Hyperbolic $\lambda \in \mathbb{R} \setminus {0, 1}$ 2 ($E, F$ phân biệt) Tỉ số khoảng cách đến 2 điểm bất biến biến thiên theo bội số thực
Elliptic $ \lambda = 1, \lambda \notin \mathbb{R}$
Loxodromic $|\lambda| \neq 1, \lambda \notin \mathbb{R}$ 2 ($E, F$ phân biệt) Tích đồng tâm của phép biến đổi hyperbolic và elliptic
Đối hợp Möbius $a + d = 0, \lambda = -1$ 2 ($E, F$ phân biệt) Là phép biến hình tự nghịch đảo ($\omega = \omega^{-1}$), tạo tứ giác điều hòa

Chương 3: Bài tập tổng hợp

Chương 3 áp dụng toàn bộ công cụ số phức đã xây dựng để giải các bài toán hình học phẳng.

  1. Một số vấn đề cơ bản (Hệ thống công cụ áp dụng):
    • Công thức phép quay quanh một điểm: Điểm $C(c)$ là ảnh của $B(b)$ qua phép quay quanh $A(a)$ góc $\alpha$: $c = a + (b - a)\varepsilon$ với $\varepsilon = \cos\alpha + i\sin\alpha = e^{i\alpha}$.
    • Điều kiện trực giao, thẳng hàng và đồng viên: Ba điểm $M_1, M_2, M_3$ thẳng hàng khi $\frac{z_3 - z_1}{z_2 - z_1} \in \mathbb{R}$; hai đường thẳng $M_1M_2 \perp M_3M_4$ khi $\frac{z_4 - z_3}{z_2 - z_1} \in i\mathbb{R}$; bốn điểm đồng viên khi $(z_1, z_2, z_3, z_4) \in \mathbb{R}$.
    • Tam giác đồng dạng: Tam giác $A_1A_2A_3$ đồng dạng thuận với $B_1B_2B_3$ khi $\frac{a_3 - a_1}{a_2 - a_1} = \frac{b_3 - b_1}{b_2 - b_1}$; đồng dạng nghịch khi $\frac{a_3 - a_1}{a_2 - a_1} = \frac{\bar{b}_3 - \bar{b}_1}{\bar{b}_2 - \bar{b}_1}$.
    • Các điều kiện tương đương của tam giác đều $A_1A_2A_3$:
      • $z_1^2 + z_2^2 + z_3^2 = z_1z_2 + z_2z_3 + z_3z_1$.
      • $z_1 + \varepsilon z_2 + \varepsilon^2 z_3 = 0$ với $\varepsilon = e^{i\frac{2\pi}{3}} = -\frac{1}{2} + i\frac{\sqrt{3}}{2}$ (đối với tam giác định hướng dương).
      • $(z_1 - z_2)^2 + (z_2 - z_3)^2 + (z_3 - z_1)^2 = 0$.
    • 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}) \in \mathbb{R}$. Tính chất: $a \cdot b = 0 \Leftrightarrow OA \perp OB$; $AB \perp CD \Leftrightarrow (b - a) \cdot (d - c) = 0$.
  2. Toán tổng hợp (Các bài toán hình học phẳng cụ thể):
    • Bài toán 1: Dựng các hình vuông ra phía ngoài trên các cạnh của một hình bình hành. Sử dụng công thức phép quay góc $90^\circ$ ($\times i$) quanh các đỉnh để biểu diễn tọa độ 4 tâm hình vuông, chứng minh $O_1O_2 = O_1O_4$ và $O_1O_2 \perp O_1O_4$, suy ra 4 tâm lập thành một hình vuông.
    • Bài toán 2: Ba đường tròn bằng nhau $C_1(O_1, r), C_2(O_2, r), C_3(O_3, r)$ cùng đi qua gốc $O$ và cắt nhau từng đôi một tại $A, B, C$. Biểu diễn tọa độ phức $z_A = z_1 + z_2$, $z_B = z_2 + z_3$, $z_C = z_3 + z_1$, chứng minh $\triangle ABC = \triangle O_1O_2O_3$, suy ra bán kính đường tròn ngoại tiếp $\triangle ABC$ đúng bằng $r$.
    • Bài toán 3: Dựng các hình vuông tâm $D, E$ trên các cạnh $AB, BC$ của $\triangle ABC$. Dùng tọa độ phức tính argument của tỉ số $\frac{z_E - z_D}{z_C - z_A}$, chứng minh góc giữa $AC$ và $DE$ bằng $45^\circ$.
    • Bài toán 4: Dựng các tam giác đều $ABN, ACM$ ra phía ngoài $\triangle ABC$; gọi $P, Q, R$ lần lượt là trung điểm của $BC, AM, AN$. Biểu diễn tọa độ theo công thức phép quay $60^\circ$ và chứng minh hệ thức $p^2 + q^2 + r^2 = pq + qr + rp$, khẳng định $\triangle PQR$ là tam giác đều.
    • Bài toán 5: Lục giác $AA'BB'CC'$ nội tiếp đường tròn $(O; R)$ thỏa mãn $AA' = BB' = CC' = R$; $M, N, P$ là trung điểm các cạnh $AA', BB', CC'$. Chứng minh $\triangle MNP$ là tam giác đều.

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

Khóa luận đã hoàn thành các kết quả cụ thể:

  • Tổng hợp lý thuyết: Xây dựng bức tranh hoàn chỉnh về mối liên hệ giữa đại số số phức và hình học phẳng, biến các khái niệm hình học trực quan thành các công thức giải tích chính xác.
  • Làm rõ cấu trúc phép biến đổi Möbius:
    • Chứng minh định lý xác định duy nhất phép biến đổi tròn qua 3 cặp điểm tương ứng.
    • Chứng minh tính bất biến của tỉ số kép $(z_1, z_2, z_3, z_4)$ qua nhóm biến đổi tròn.
    • Phân loại rõ ràng 4 dạng biến đổi tròn không đồng dạng (Parabolic, Hyperbolic, Elliptic, Loxodromic) thông qua bất biến tỉ số kép $\lambda$.
    • Xác lập điều kiện cần và đủ cho phép đối hợp Möbius ($a + d = 0$).
    • Phân tích phép biến đổi tròn tổng quát thành tích các phép biến hình sơ cấp (tịnh tiến, nghịch đảo, đối xứng trục, đồng dạng).
  • Đóng góp phương pháp luận giải toán: Cung cấp hệ thống công thức giải tích phức mẫu mực (công thức quay, tích thực, điều kiện đại số của tam giác đều) giúp giải quyết ngắn gọn, tường minh các bài toán hình học phẳng phức tạp mà không cần vẽ thêm nhiều đường phụ.

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

  • Hạn chế:
    • Phạm vi nghiên cứu dừng lại ở mặt phẳng Euclid hai chiều $\mathbb{R}^2 \cong \mathbb{C}$, chưa mở rộng sang không gian xạ ảnh phức, mặt cầu Riemann $\hat{\mathbb{C}}$ hay đại số quaternion trong không gian 3 chiều và 4 chiều.
    • Các bài toán ứng dụng ở Chương 3 chủ yếu tập trung vào các cấu hình đa giác và đường tròn quen thuộc, chưa khảo sát các bài toán cực trị hình học hoặc quỹ tích bậc cao.
  • Hướng nghiên cứu tiếp:
    • Mở rộng nghiên cứu nhóm Möbius trên mặt cầu Riemann $\hat{\mathbb{C}} = \mathbb{C} \cup {\infty}$ và mối liên hệ với hình học phi Euclid (mô hình đĩa Poincaré và nửa mặt phẳng trên Poincaré).
    • Khảo sát ứng dụng của phép biến đổi bảo giác Möbius trong các bài toán vật lý kỹ thuật (cơ học chất lưu, trường điện từ, lý thuyết thế).

Giá trị tham khảo

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

  • Sinh viên ngành Toán học, Sư phạm Toán: Dùng làm tài liệu học tập, tham khảo cho các học phần Hình học giải tích, Hình học biến hình, Giải tích phức và Cơ sở hình học cao cấp.
  • Giáo viên và học sinh chuyên Toán: Tham khảo Chương 3 để rèn luyện phương pháp dùng số phức giải toán hình học phẳng (chuyên đề bồi dưỡng học sinh giỏi quốc gia, Olympic toán).
  • Nội dung nổi bật: Phần phân loại phép biến đổi tròn bằng tỉ số kép bất biến $\lambda$ (Chương 2) và kỹ thuật sử dụng tích thực của số phức để giải quyết quan hệ vuông góc (Chương 3).

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

1. Điều kiện cần và đủ để một phép biến đổi tròn $z' = \frac{az+b}{cz+d}$ ($ad-bc \neq 0$) trở thành phép đối hợp Möbius là gì? Điều kiện cần và đủ là $a + d = 0$. Khi đó phương trình của phép biến hình có thể viết dưới dạng song tuyến tính đối xứng $czz' - a(z + z') - b = 0$, nghĩa là nếu $Z'$ là ảnh của $Z$ thì $Z$ cũng là ảnh của $Z'$ qua cùng phép biến đổi đó ($\omega = \omega^{-1}$).

2. Bốn lớp phân loại của phép biến đổi tròn không đồng dạng được xác định dựa trên đại lượng bất biến $\lambda$ như thế nào? Bất biến $\lambda = (E, F, Z, Z')$ là tỉ số kép tạo bởi hai điểm bất biến $E, F$ và cặp điểm tương ứng $Z, Z'$. Bốn lớp phân loại gồm:

  • Parabolic: $\lambda = 1$ (hai điểm bất biến trùng nhau).
  • Hyperbolic: $\lambda \in \mathbb{R} \setminus {0, 1}$.
  • Elliptic: $|\lambda| = 1, \lambda \notin \mathbb{R}$.
  • Loxodromic: $|\lambda| \neq 1, \lambda \notin \mathbb{R}$.

3. Điều kiện đại số số phức để ba điểm phân biệt $Z_1(z_1), Z_2(z_2), Z_3(z_3)$ tạo thành một tam giác đều là gì? Theo khóa luận, ba điểm lập thành tam giác đều khi và chỉ khi thỏa mãn một trong các hệ thức tương đương:

  • $z_1^2 + z_2^2 + z_3^2 = z_1z_2 + z_2z_3 + z_3z_1$.
  • $(z_1 + \varepsilon z_2 + \varepsilon^2 z_3)(z_1 + \varepsilon^2 z_2 + \varepsilon z_3) = 0$ với $\varepsilon = \cos\frac{2\pi}{3} + i\sin\frac{2\pi}{3}$.
  • $z_1 + \varepsilon z_2 + \varepsilon^2 z_3 = 0$ (đối với tam giác có định hướng dương).

4. Khái niệm "tích thực của hai số phức" được định nghĩa thế nào và dùng để giải quyết quan hệ hình học nào? Tích thực của hai số phức $a$ và $b$ được định nghĩa là $a \cdot b = \frac{1}{2}(\bar{a}b + a\bar{b}) \in \mathbb{R}$. Ý nghĩa hình học chính: $a \cdot b = 0$ khi và chỉ khi vectơ $OA \perp OB$. Để chứng minh hai đoạn thẳng $AB \perp CD$, điều kiện tương đương là $(b - a) \cdot (d - c) = 0$.

5. Một phép biến đổi tròn không đồng dạng ($c \neq 0$) có thể được phân tích thành tích của những phép biến hình sơ cấp nào? Từ phương trình chính tắc $z' = m' + \frac{bc-ad}{c^2(z-l)}$, phép biến đổi được phân tích tuần tự thành 4 bước: (1) Phép tịnh tiến $z_1 = z - l$; (2) Phép nghịch đảo cực $O$ phương tích 1: $z_2 = \frac{1}{\bar{z}_1}$; (3) Phép đối xứng qua trục thực $Ox$: $z_3 = \bar{z}_2 = \frac{1}{z_1}$; (4) Phép đồng dạng $z' = m' + \frac{bc-ad}{c^2}z_3$.

Kết luận

Khóa luận tốt nghiệp của tác giả Võ Thanh Hải đã hệ thống hóa chặt chẽ lý thuyết biểu diễn số phức và khảo sát chuyên sâu cấu trúc hình học - đại số của nhóm phép biến đổi tròn Möbius. Công trình làm rõ các đặc trưng bất biến, phân loại giải tích và phép phân rã của các biến đổi phân tuyến tính trên mặt phẳng Gauss. Đồng thời, khóa luận chứng minh tính hiệu quả của công cụ số phức trong việc giải quyết tường minh và chuẩn xác nhiều bài toán hình học phẳng kinh điển.