留数定理如何把沿闭曲线的积分化为奇点处的留数之和？
How does the residue theorem reduce a contour integral to a sum of residues at singularities?
留数定理说，解析函数在闭合路径上的积分等于2πi乘以路径内各孤立奇点留数之和。它把难求的路径积分转化为计算奇点处的局部系数，广泛用于求实积分与级数。阿尔福斯与斯坦、沙克拉希的复分析书都强调其威力。
The residue theorem states that the integral of an analytic function around a closed path equals 2πi times the sum of residues at the isolated singularities inside. It turns hard contour integrals into computing local coefficients at singularities and is widely used for real integrals and series. Ahlfors and Stein & Shakarchi stress its power.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-11-03
来源 · Source
Ahlfors《Complex Analysis》；Stein 与 Shakarchi《Complex Analysis》
Ahlfors, Complex Analysis; Stein & Shakarchi, Complex Analysis
独立核验依据 · Independent verification: 核验依据 1 OPENLIBRARY 标识 /works/OL281679W：Complex Analysis（首版 1953
#留数定理 #奇点 #围道积分
柯西积分定理为何是复分析的基石，它对解析函数意味着什么？
Why is Cauchy's integral theorem a cornerstone of complex analysis, and what does it imply for analytic functions?
柯西积分定理指出，在单连通区域内解析函数沿任意闭曲线的积分为零，由此推出积分与路径无关。它是导出柯西积分公式以及函数可任意阶求导的前提。阿尔福斯与康威的复分析教材都把它置于理论起点。
Cauchy's integral theorem says the integral of an analytic function around any closed curve in a simply connected domain is zero, so the integral is path-independent. It is the premise for Cauchy's integral formula and for a function being differentiable to all orders. Ahlfors and Conway place it at the start of the theory.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-11-02
来源 · Source
Ahlfors《Complex Analysis》；Conway《Functions of One Complex Variable》
Ahlfors, Complex Analysis; Conway, Functions of One Complex Variable
独立核验依据 · Independent verification: 核验依据 1 OPENLIBRARY 标识 /works/OL2816395W：Functions of one comple
#柯西积分定理 #解析函数 #闭曲线积分
黎曼映射定理保证了什么关于单连通区域的结果？
What result about simply connected domains does the Riemann mapping theorem guarantee?
黎曼映射定理说，任何不等于整个复平面的单连通开区域，都可通过共形映射一一对应地映到单位圆盘。它表明单连通区域在复结构意义下本质上只有一种，是共形几何的核心结论。阿尔福斯与康威的著作都给出了严格证明。
The Riemann mapping theorem says any simply connected open domain not equal to the whole plane can be mapped conformally and bijectively onto the unit disk. It shows that simply connected domains are essentially unique up to conformal structure, a core result in conformal geometry. Ahlfors and Conway give rigorous proofs.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-11-02
来源 · Source
Ahlfors《Complex Analysis》；Conway《Functions of One Complex Variable》
Ahlfors, Complex Analysis; Conway, Functions of One Complex Variable
独立核验依据 · Independent verification: 核验依据 1 OPENLIBRARY 标识 /works/OL2816395W：Functions of one comple
#黎曼映射定理 #共形映射 #单连通区域
欧拉公式 e^(iθ)=cos θ+i sin θ 是怎样从指数函数的定义推出来的？
How does Euler's formula e^(iθ)=cos θ+i sin θ follow from the definition of the exponential function?
把复指数定义为幂级数 e^z=Σ z^n/n! 并代入 z=iθ。偶数次幂因 i²=-1 而符号交替，恰好拼成 cos θ 的级数；奇数次幂提出因子 i 后拼成 sin θ 的级数，逐项比较即得公式。它把指数与圆周运动联系起来：e^(iθ) 是单位圆上转角为 θ 的点，令 θ=π 立得 e^(iπ)+1=0。
Define the complex exponential by its power series e^z=Σ z^n/n! and substitute z=iθ. On even powers, i²=-1 creates alternating signs that assemble into the series of cos θ; odd powers carry a leftover factor i, and what remains assembles into sin θ. Comparing term by term yields the formula. It ties exponentials to circular motion: e^(iθ) is the point of the unit circle at angle θ, and setting θ=π instantly gives e^(iπ)+1=0.
难度 进阶 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-11-03
来源 · Source
L. V. Ahlfors，《Complex Analysis》（复分析），第3版，McGraw-Hill，1979，第2章
L. V. Ahlfors, Complex Analysis, 3rd ed., McGraw-Hill, 1979, Chapter 2
独立核验依据 · Independent verification: 核验依据 1 OPENLIBRARY 标识 /works/OL281679W：Complex Analysis（首版 1953
#复分析 #欧拉公式 #幂级数
请写出柯西积分公式，并解释它为什么表明全纯函数必定无穷次可导。
State the Cauchy integral formula and explain why it implies that holomorphic functions are infinitely differentiable.
若 f 全纯而闭路 C 绕 a 一周，则 f(a)=(1/2πi)∮_C f(z)/(z−a)dz：被积函数在 z=a 确有单极点，其留数恰为 f(a)，边界值由此锁定内点取值。将 a 视作参数在积分号下逐次求导，得各阶导数的积分表达式，右端始终有意义，故各阶导数存在且连续。实变量函数并无这种保证，可见复可导远强于实可导。
If f is holomorphic and a closed curve C winds once around a, then f(a) = (1/2πi)∮_C f(z)/(z−a) dz: the integrand does have a simple pole at z = a, but its residue is exactly f(a), so the boundary values lock down the interior value. Treating a as a parameter and differentiating repeatedly under the integral sign yields integral formulas for derivatives of every order whose right sides remain well defined; hence derivatives of all orders exist and are continuous. No such guarantee holds for real variables, showing how much stronger complex differentiability is.
难度 进阶 · 适合 初中(12-15)
CC BY 4.0 · 来源待核验 · Source pending review
来源 · Source
出处备注：作者 / 书名 / 版次 / 出版社 / 年份齐备，仅缺独立比对证据；已在可信度报告单列披露，不再重复核验。
L. V. Ahlfors《Complex Analysis》，第 3 版，McGraw-Hill，1979，第 4 章（Complex Integration）
L. V. Ahlfors, Complex Analysis, 3rd ed., McGraw-Hill, 1979, Ch. 4 (Complex Integration)
#复分析 #柯西积分公式 #全纯函数
复变函数的可微性远比实函数苛刻：为什么 f(z) = z̄（取共轭）处处连续却在任何一点都不复可导？柯西-黎曼方程说明了什么？
Complex differentiability is far more demanding than the real kind: why is f(z) = z̄ (complex conjugation) continuous everywhere yet nowhere complex-differentiable, and what do the Cauchy-Riemann equations say?
复可导要求 Δz→0 时 [f(z+Δz)-f(z)]/Δz 与方向无关：对 z̄ 沿实轴商为 1、沿虚轴为 -1，极限不存在。一般写 f = u + iv，可导必推出柯西-黎曼方程 u_x = v_y、u_y = -v_x，而 u = x、v = -y 违反之。它保证可导映射局部近似旋转加伸缩，是全纯函数刚性的起点。
Complex differentiability demands that [f(z+Δz)-f(z)]/Δz tend to one limit regardless of direction as Δz → 0. For conjugation the quotient is always 1 along the real axis but -1 along the imaginary axis, so no limit exists. Writing f = u + iv generally, differentiability forces the Cauchy-Riemann equations u_x = v_y and u_y = -v_x; here u = x and v = -y give u_x = 1 ≠ v_y = -1, violating them. Geometrically these equations mean a differentiable map looks locally like a rotation plus scaling — the seed of the rigidity of holomorphic functions.
难度 进阶 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
J. W. Brown 与 R. V. Churchill《Complex Variables and Applications》（第8版），McGraw-Hill，2009，第2章
J. W. Brown & R. V. Churchill, Complex Variables and Applications, 8th ed., McGraw-Hill, 2009, Chapter 2
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780073051949 (2009)
#复分析 #柯西-黎曼方程 #全纯函数