Phương trình Euler là gì? Công thức, chứng minh và ứng dụng

Phương trình Euler (hay công thức Euler trong giải tích phức) là một định lý toán học nền tảng thiết lập mối quan hệ sâu sắc giữa hàm số mũ phức và các hàm lượng giác. Công thức này được Leonhard Euler công bố vào năm 1748 trong tác phẩm Introductio in analysin infinitorum và được xem là một trong những viên ngọc quý đẹp nhất của toán học nhân loại.

Dạng tổng quát và đẳng thức Euler

Công thức Euler được phát biểu tổng quát cho mọi số thực $x$ (tính theo đơn vị radian):

$e^{ix} = \cos(x) + i\sin(x)$

Trong đó:

• $e$ là cơ số của logarit tự nhiên (cơ số logarit tự nhiên).
• $i$ là đơn vị ảo trong trường số phức, thỏa mãn điều kiện $i^2 = -1$.
• $\cos(x)$ và $\sin(x)$ là các hàm lượng giác tiêu chuẩn của góc $x$.

Khi thay giá trị đặc biệt $x = \pi$ vào công thức trên, ta thu được Đẳng thức Euler (Euler's Identity) trứ danh:

$e^{i\pi} + 1 = 0$

Đẳng thức này kết nối kỳ diệu năm hằng số toán học quan trọng nhất trong cùng một phương trình ngắn gọn: số 0 (phần tử trung hòa phép cộng), số 1 (phần tử đơn vị phép nhân), số $\pi$ (hình học), số $e$ (giải tích) và đơn vị ảo $i$ (đại số số phức).

Chứng minh công thức Euler bằng chuỗi Taylor

Cách chứng minh kinh điển và trực quan nhất của công thức Euler dựa trên khai triển chuỗi lũy thừa Taylor - Maclaurin quanh điểm 0 của ba hàm số:

• Khai triển hàm mũ: e^z = 1 + z + rac{z^2}{2!} + rac{z^3}{3!} + rac{z^4}{4!} + \cdots
• Khai triển hàm cosin: \cos(x) = 1 - rac{x^2}{2!} + rac{x^4}{4!} - \cdots
• Khai triển hàm sin: \sin(x) = x - rac{x^3}{3!} + rac{x^5}{5!} - \cdots

Khi thay $z = ix$ vào chuỗi hàm mũ và sử dụng tính chất lũy thừa tuần hoàn của đơn vị ảo ($i^2 = -1, i^3 = -i, i^4 = 1$), việc nhóm các số hạng thực và phần ảo riêng biệt sẽ trực tiếp dẫn tới biểu thức $\cos(x) + i\sin(x)$.

Ý nghĩa hình học trên mặt phẳng phức

Theo C. Edward Sandifer (2020), công thức Euler cung cấp cách biểu diễn số phức dưới dạng cực (polar form) vô cùng mạnh mẽ:

• Mọi số phức $z = a + bi$ đều có thể biểu diễn dưới dạng $z = r e^{i heta}$, trong đó $r = |z|$ là môđun và $heta$ là argument của số phức.
• Điểm $e^{i heta}$ vạch nên một đường tròn đơn vị tâm tại gốc tọa độ trên mặt phẳng phức Gauss khi góc $heta$ biến thiên.
• Phép nhân hai số phức trở nên trực quan: phép nhân $z_1 z_2 = (r_1 e^{i heta_1})(r_2 e^{i heta_2}) = r_1 r_2 e^{i( heta_1 + heta_2)}$ tương ứng với phép co giãn độ dài theo tích hai môđun và phép quay một góc bằng tổng hai argument.

Ứng dụng sâu rộng của phương trình Euler

Theo Paul Nahin (2011), phương trình Euler không chỉ là một vẻ đẹp thuần túy lý thuyết mà còn là công cụ kỹ thuật then chốt thúc đẩy thế giới hiện đại:

1. Kỹ thuật điện, điện tử và xử lý tín hiệu số

Trong phân tích mạch điện xoay chiều, các kỹ sư sử dụng dạng phức (phasor) $V(t) = V_0 e^{i(\omega t + \phi)}$ dựa trên công thức Euler để chuyển đổi các phương trình vi phân phức tạp về mạch RLC thành các phép tính đại số đơn giản.

2. Biến đổi Fourier và nén dữ liệu số

Biến đổi Fourier liên tục và rời rạc (DFT / FFT) sử dụng các hàm mũ phức cơ sở $e^{-i\omega t}$ để phân tách bất kỳ tín hiệu thời gian nào thành các thành phần tần số, làm nền tảng cho việc nén hình ảnh (JPEG), âm thanh (MP3), video (MPEG) và mạng truyền thông không dây 5G.

3. Cơ học lượng tử và quang học sóng

Hàm sóng trong cơ học lượng tử $\psi(x,t) = A e^{i(kx - \omega t)}$ giải phương trình Schrödinger biểu diễn trạng thái của các hạt vi mô, nơi pha phức đóng vai trò quyết định hiện tượng giao thoa lượng tử.

Bảng tổng kết các dạng phương trình mang tên Euler

Tên gọi	Lĩnh vực	Dạng phương trình tiêu biểu	Ứng dụng
Công thức / Đẳng thức Euler	Giải tích phức	$e^{ix} = \cos(x) + i\sin(x)$	Biểu diễn số phức, biến đổi Fourier, xử lý tín hiệu.
Phương trình Euler thủy khí	Cơ học chất lưu	rac{\partial \mathbf{u}}{\partial t} + (\mathbf{u} \cdot abla)\mathbf{u} = -rac{1}{ ho} abla p + \mathbf{g}	Mô phỏng dòng chảy chất lưu lý tưởng không nhớt.
Phương trình Euler - Lagrange	Giải tích biến phân / Cơ học giải tích	rac{d}{dt}\left(rac{\partial L}{\partial \dot{q}_i} ight) - rac{\partial L}{\partial q_i} = 0	Tối ưu hóa quỹ đạo chuyển động cơ học và lý thuyết trường.