关于0.0002+0.0005!=0.0007

从十进制算术定义上，0.000002 与 0.000006 相加，其精确和为 0.000008。等式成立是十进制有理数运算的固有结论。
若出现 “相加不等于 0.000008” 的现象，不代表该有理数加法本身失效，而是数值的表示载体引入了额外约束。二进制浮点编码无法精确表示部分十进制小数，只能存储近似值。两个近似值参与加法运算，运算结果仍是近似值，其数值与理论精确值存在微小偏差。
该偏差属于表示层误差，并非数学运算公理被推翻。数学层面的相等关系，和计算机存储体系下可得到的数值，属于两套独立体系。判断相等时，需要区分：是有理数精确运算，还是有限位二进制近似运算。二者规则不同，结论自然不同。
从底层逻辑看，十进制小数与二进制编码的映射存在固有局限。0.000002、0.000006 无法被二进制浮点数精确表达，存入内存时就被截断为最接近的近似值。两个已经带有微小偏差的近似值执行加法运算，误差会叠加传递，最终输出结果偏离理论精确值 0.000008。数学上的有理数加法规则并未失效，差异来源于表示层面的有限位数约束，而非运算逻辑本身出错。浮点数的底层是离散的有限集合，无法覆盖全体实数，因此不能直接用精确相等来判定运算结果。