Python 3.9中cmath计算e^(i*pi)返回非预期极小虚部的问题咨询

你的代码编写不存在疏漏，该现象是计算机浮点数计算的固有特性导致，并非cmath库的实现逻辑问题。

根本原因 #

• 浮点数存储的近似性本质：Python中cmath.pi返回的π值并非数学定义上的精确常数，而是符合IEEE 754标准的双精度浮点数近似值，与真实π的偏差在1e-16量级。所有基于这个近似值开展的三角函数、指数函数计算，都无法得到绝对精确的数学结果。
• 计算路径的一致性：你编写的两种计算方式，底层最终调用的是同一套双精度浮点数运算逻辑——无论是直接计算复数指数形式的cmath.exp(1.0j * cmath.pi)，还是通过欧拉公式展开的cmath.cos(cmath.pi) + (1.0j)*cmath.sin(cmath.pi)，使用的π近似值、内部计算流程完全一致，因此最终输出结果没有差异。
• 非零虚部的来源：实际参与运算的是近似π而非精确π，因此sin(cmath.pi)的计算结果不会是数学意义上的精确0，而是1.2246467991473532e-16量级的极小值。这个值与虚数单位相乘，就形成了你观测到的非零虚部。

通用处理方式 #

这类浮点精度带来的偏差是所有支持双精度浮点数的编程语言、数值库都会出现的通用现象，不需要调整cmath库的调用逻辑。实际使用中，只需对计算结果做简单处理即可适配需求：

• 对幅值小于1e-15的虚部直接置零
• 提取结果的实部开展后续计算

内容的提问来源于stack exchange，提问作者TheRoboticM