高斯代数基本定理的一种证明

代数基本定理

对于多项式 f(z)=anzn+an−1zn−1+⋯+a1z+a0f(z) = a_n z^n + a_{n-1} z^{n-1} + \cdots + a_1 z + a_0f(z)=anzn+an−1zn−1+⋯+a1z+a0(其中 n>1n > 1n>1 且 an,a0≠0a_n, a_0 \neq 0an,a0=0),它在复数域内有根。

f(z)=U(r,θ)+V(r,θ)i f(z) = U(r, \theta) + V(r, \theta)i f(z)=U(r,θ)+V(r,θ)i

其中 rrr 和 θ\thetaθ 分别是 zzz 的模和幅角。

CR条件

r∂U∂r=∂V∂θr∂V∂r=−∂U∂θ \begin{align*} r\frac{\partial U}{\partial r} &= \frac{\partial V}{\partial \theta} \\ r\frac{\partial V}{\partial r} &= -\frac{\partial U}{\partial \theta} \end{align*} r∂r∂Ur∂r∂V=∂θ∂V=−∂θ∂U

构造二元实函数 HHH

H(r,θ)=arctan⁡(U(r,θ)V(r,θ)) H(r, \theta) = \arctan\left(\frac{U(r, \theta)}{V(r, \theta)}\right) H(r,θ)=arctan(V(r,θ)U(r,θ))

HHH 的二阶混合偏导数

∂2H∂r∂θ=∂∂r(∂U∂θV−U∂V∂θV2+U2) \frac{\partial^2 H}{\partial r \partial \theta} = \frac{\partial}{\partial r} \left( \frac{\frac{\partial U}{\partial \theta}V - U\frac{\partial V}{\partial \theta}}{V^2 + U^2} \right) ∂r∂θ∂2H=∂r∂(V2+U2∂θ∂UV−U∂θ∂V)

累次积分 I1I_1I1 和 I2I_2I2

I1=∫0Rdr∫02π∂2H∂r∂θdθ,I2=∫02πdθ∫0R∂2H∂r∂θdr I_1 = \int_{0}^{R} dr \int_{0}^{2\pi} \frac{\partial^2 H}{\partial r \partial \theta} d\theta, \quad I_2 = \int_{0}^{2\pi} d\theta \int_{0}^{R} \frac{\partial^2 H}{\partial r \partial \theta} dr I1=∫0Rdr∫02π∂r∂θ∂2Hdθ,I2=∫02πdθ∫0R∂r∂θ∂2Hdr

假设 f(z)f(z)f(z) 无根

假设 f(z)f(z)f(z) 无根,则 U2+V2≠0U^2 + V^2 \neq 0U2+V2=0,从而 ∂2H∂r∂θ\frac{\partial^2 H}{\partial r \partial \theta}∂r∂θ∂2H 连续,积分顺序可交换,并且 I1=I2I_1 = I_2I1=I2。

I1I_1I1 和 I2I_2I2 不恒等

∫02π∂2H∂r∂θdθ=0  ⟹  I1=0 \int_{0}^{2\pi} \frac{\partial^2 H}{\partial r \partial \theta} d\theta = 0 \implies I_1 = 0 ∫02π∂r∂θ∂2Hdθ=0⟹I1=0

I2=lim⁡R→∞∫02πdθ∫0R∂2H∂r∂θdr=∫02πdθ(∂H∂θ∣r=0r=R)=−2πn I_2 = \lim_{R \to \infty} \int_{0}^{2\pi} d\theta \int_{0}^{R} \frac{\partial^2 H}{\partial r \partial \theta} dr = \int_{0}^{2\pi} d\theta \left( \left. \frac{\partial H}{\partial \theta} \right|_{r=0}^{r=R} \right) = -2\pi n I2=R→∞lim∫02πdθ∫0R∂r∂θ∂2Hdr=∫02πdθ(∂θ∂H r=0r=R)=−2πn

结论

由于 I1≠I2I_1 \neq I_2I1=I2,存在 rm,θmr_m, \theta_mrm,θm 使得 U2(rm,θm)+V2(rm,θm)=0U^2(r_m, \theta_m) + V^2(r_m, \theta_m) = 0U2(rm,θm)+V2(rm,θm)=0,即存在某个 zm=rmeiθmz_m = r_m e^{i\theta_m}zm=rmeiθm 使得 f(zm)=0f(z_m) = 0f(zm)=0。

相关推荐
大卫小东(Sheldon)11 天前
写了一个BBP算法的实现库,欢迎讨论
数学·rust
救救孩子把12 天前
2-机器学习与大模型开发数学教程-第0章 预备知识-0-2 数列与级数(收敛性、幂级数)
人工智能·数学·机器学习
救救孩子把13 天前
3-机器学习与大模型开发数学教程-第0章 预备知识-0-3 函数初步(多项式、指数、对数、三角函数、反函数)
人工智能·数学·机器学习
HAH-HAH15 天前
【蓝桥杯 2024 国 Java A】粉刷匠小蓝
c++·学习·数学·算法·职场和发展·蓝桥杯·组合数学
hansang_IR17 天前
【题解】洛谷 P4286 [SHOI2008] 安全的航线 [递归分治]
c++·数学·算法·dfs·题解·向量·点积
乔宕一20 天前
留数法分解有理分式
数学
闻缺陷则喜何志丹21 天前
【数论】P10580 [蓝桥杯 2024 国 A] gcd 与 lcm|普及+
c++·数学·蓝桥杯·数论·洛谷
Tisfy21 天前
LeetCode 3516.找到最近的人:计算绝对值大小
数学·算法·leetcode·题解
falomsc22 天前
泊松求和公式推导
数学·数字信号处理·信号与系统·泊松求和
封奚泽优1 个月前
数学七夕花礼(MATLAB版)
开发语言·数学·matlab·七夕·鲜花