Nghiệm đơn vị phức: Từ bài toán trung học đến nền tảng của biến đổi Fourier

Một trong những điều kỳ diệu nhất của toán học là chỉ từ những câu hỏi tưởng chừng đơn giản, ta có thể đi rất sâu. Hãy lấy ví dụ về nghiệm đơn vị (roots of unity) — nơi "đơn vị" chỉ đơn giản là số 1.

Khởi đầu: nghiệm đơn vị trên tập số thực

Việc nghiên cứu nghiệm đơn vị thường bắt đầu từ bậc trung học: căn bậc hai của 1 là gì? Tương đương với việc giải phương trình x² = 1. Có hai đáp án: 1 và -1.

Tương tự với bậc cao hơn, nghiệm bậc ba là nghiệm của phương trình x³ = 1, và cứ thế tiếp tục. Khi chỉ làm việc với số thực, câu chuyện gần như dừng lại ở đó: với bậc lẻ thì đáp án duy nhất là 1, với bậc chẵn thì đáp án là 1 hoặc -1.

Nhưng khi mở rộng sang tập số phức, mọi thứ trở nên thú vị hơn nhiều.

Nghiệm đơn vị trong số phức

Theo định nghĩa hình thức, nghiệm đơn vị là một số phức mà khi lũy thừa lên một số nguyên dương n bất kỳ sẽ cho kết quả bằng 1. Thay vì xét tất cả các nghiệm có thể, ta thường quan tâm đến tập nghiệm ứng với một n cụ thể: các số phức z sao cho zⁿ = 1.

Ví dụ với n = 4, có bốn nghiệm: 1, -1, i và -i. Với n = 3, ba nghiệm là 1, (-1 + i√3)/2 và (-1 - i√3)/2. Có thể kiểm tra dễ dàng rằng chúng đều cho kết quả 1 khi lũy thừa bậc ba — nhưng làm sao để tính ra chúng ngay từ đầu?

Tính nghiệm bằng tọa độ cực

Một số phức có độ lớn bằng 1 có thể biểu diễn dưới dạng tọa độ cực là z = e^(iθ). Khi lũy thừa z lên bậc n, ta được zⁿ = e^(inθ). Độ lớn của zⁿ vẫn bằng 1 — điều kiện thiết yếu để z là nghiệm đơn vị bậc n.

Đặt zⁿ = e^(inθ) = 1. Bản thân số 1 cũng biểu diễn được dưới dạng cực: 1 = e^(i2πk) với k = 0, 1, 2, ... Từ đó suy ra nθ = 2πk, hay θ = 2πk/n.

Công thức tổng quát cho các nghiệm đơn vị bậc n là:

z_k = e^(i2πk/n), với k = 0, 1, ..., n-1

Ví dụ với n = 2: z₀ = 1 và z₁ = -1. Với n = 3: z₀ = 1, z₁ = -1/2 + i√3/2 và z₂ = -1/2 - i√3/2 — đúng như dự đoán.

Nghiệm đơn vị và phép quay trên đường tròn đơn vị

Điều gì xảy ra khi nhân một nghiệm đơn vị với chính nó? Vì độ lớn của nghiệm bằng 1, phép nhân này tương đương với một phép quay trên đường tròn đơn vị theo góc của nghiệm đó.

Ví dụ với z₁ của nghiệm bậc ba, góc là 2π/3. Nhân z₁ với chính nó cho góc 4π/3. Nhân thêm lần nữa ta được góc 6π/3 = 2π, tức quay về 1 — đúng như kỳ vọng.

Cách hình dung này rất trực quan: các nghiệm đơn vị phân bố đều quanh đường tròn đơn vị, và khi lũy thừa chúng lên, các nghiệm "quay" dần cho đến khi trở về 1.

Hình học: nghiệm đơn vị và đa giác đều

Vì các nghiệm đơn vị phân bố đều trên đường tròn đơn vị, nếu nối các nghiệm liền kề bằng đoạn thẳng, ta sẽ nhận được một đa giác đều ứng với mỗi giá trị n ≥ 3.

Chứng minh khá đơn giản: nối mỗi nghiệm với gốc tọa độ, ta được các tam giác bằng nhau vì cạnh từ gốc đến nghiệm đều dài 1 và góc ở tâm đều bằng 2π/n. Do đó các cạnh và góc của đa giác đều giống nhau — tức đa giác đều.

Số phức liên hợp của nghiệm đơn vị

Nếu lấy nghịch đảo của một nghiệm đơn vị z_k = e^(i2πk/n), ta được z_k⁻¹ = e^(-i2πk/n). Lũy thừa bậc n của nó cũng bằng 1, nên nó cũng là nghiệm đơn vị bậc n.

Điều thú vị là z_k⁻¹ cũng chính là số phức liên hợp của z_k. Nói cách khác, tập hợp các nghiệm liên hợp chính là tập nghiệm ban đầu nhưng được liệt kê theo thứ tự ngược lại.

Lý thuyết nhóm: nhóm cyclic của nghiệm đơn vị

Tập hợp μₙ = {z_k = e^(2πik/n) : k = 0, 1, ..., n-1} cùng với phép nhân lập thành một nhóm:

• Tính đóng: nếu zⁿ = 1 và yⁿ = 1 thì (zy)ⁿ = 1
• Phần tử đơn vị: số 1 thuộc μₙ
• Tính kết hợp: kế thừa từ phép nhân số phức
• Phần tử nghịch đảo: như đã chứng minh ở phần liên hợp

Vì phép toán là nhân số phức nên nhóm này còn có tính giao hoán — tức là nhóm Abelian.

Đặt w = z₁, nhóm có thể viết là μₙ = {1, w, w², ..., wⁿ⁻¹}, cho thấy rõ đây là một nhóm cyclic với w là phần tử sinh. Điều thú vị là không chỉ w mới là phần tử sinh: bất kỳ w^k nào cũng sinh được nhóm, miễn là k và n nguyên tố cùng nhau. Những nghiệm như vậy được gọi là nghiệm nguyên thủy (primitive roots).

Tổng các nghiệm đơn vị

Tổng của tất cả nghiệm đơn vị bậc n (với n > 1) là một cấp số nhân với công bội w:

S = 1 + w + w² + ... + wⁿ⁻¹ = (1 - wⁿ)/(1 - w) = 0

Kết quả này rất hợp lý về mặt hình học: các nghiệm phân bố đều quanh đường tròn đơn vị, nên khi xem chúng như các vector, mọi thành phần triệt tiêu lẫn nhau.

Tổng quát hơn, với lũy thừa bậc k bất kỳ:

Tổng từ i=0 đến n-1 của w^(ki) bằng n nếu k chia hết cho n, và bằng 0 trong các trường hợp còn lại

Lũy thừa nghiệm đơn vị như một cơ sở trực giao

Xét các lũy thừa của nghiệm đơn vị như các vector: v₀ = [1, 1, ..., 1], v₁ = [1, w, w², ..., wⁿ⁻¹], v₂ = [1, w², w⁴, ...], và cứ thế đến vₙ₋₁.

Gom các vector này vào một ma trận n × n gọi là V, rồi tính tích vô hướng của hai hàng bất kỳ (có liên hợp phần tử thứ hai), ta được kết quả: bằng n khi i = j và bằng 0 khi i ≠ j.

Nói cách khác, các vector v_i trực giao lẫn nhau. Vì có n vector trực giao trong không gian Cⁿ, chúng tạo thành một cơ sở cho Cⁿ.

Đây chính là nền tảng của DFT (Discrete Fourier Transform — Biến đổi Fourier rời rạc), và ma trận V còn được gọi là ma trận Fourier. Điều này có ý nghĩa sâu rộng trong toán học và kỹ thuật, đặc biệt với xử lý tín hiệu số và học máy.

Một chi tiết thú vị: ma trận V có tính đối xứng, nên các cột của nó cũng trực giao lẫn nhau.

Góc nhìn dành cho độc giả Việt Nam

Với cộng đồng lập trình và AI tại Việt Nam, nghiệm đơn vị không chỉ là kiến thức toán thuần túy. Biến đổi Fourier nhanh (FFT) — dựa trên chính cấu trúc nghiệm đơn vị — là thuật toán then chốt trong xử lý âm thanh, hình ảnh, viễn thông và nhiều mô hình học sâu hiện đại. Hiểu rõ bản chất của nghiệm đơn vị giúp lập trình viên nắm được vì sao các phép biến đổi tần số lại hiệu quả đến vậy, thay vì chỉ dùng thư viện có sẵn như một "hộp đen".