关于浮点数x、整数n满足y=n-x时x+y是否恒等于n的技术疑问

问题描述 #

给定任意浮点数x、整数n，令y = n - x，当0≤x,y,n≤MAX_VALUE时，x + y == n是否始终成立？

示例验证代码 #

基础测试

const n=5;
const x=1.23;
const y=n-x;
document.write(x+y==n); // 输出true

非负x随机测试

for(let i=0;i<100000;i++){
  const n=Math.floor(Math.random()*10000);
  const x=Math.random()*5000;
  const y=n-x;
  if(x+y!=n){
    document.write(x+","+y+","+n);
    break;
  }
}

多次运行均未输出异常。

x>n时的随机测试

for(let i=0;i<100000;i++){
  const n=Math.floor(Math.random()*10000);
  const x=10000+Math.random()*5000;
  const y=n-x;
  if(x+y!=n){
    document.write(x+","+y+","+n);
    break;
  }
}

同样无异常输出。

x为负数时的测试

for(let i=0;i<100000;i++){
  const n=Math.floor(Math.random()*10000);
  const x=Math.random()*-5000;
  const y=n-x;
  if(x+y!=n){
    document.write(x+","+y+","+n);
    break;
  }
}

运行后会输出异常值，等式不成立。

解答 #

1. 非负x场景下，等式恒成立，无反例 #

在x≥0的前提下，无论x是否大于n，x + y == n始终成立。

2. 非负x时等式成立的原因 #

JavaScript采用IEEE 754标准的双精度浮点数，这类浮点数的运算遵循基础代数恒等性：对于任意合法的数值a和b，a + (b - a) = b是必然成立的逻辑。
当y = n - x时，代入后运算式为x + (n - x)，从代数逻辑上必然等于n；而双精度浮点数在这种直接逆运算的场景下，不会出现精度丢失——减法得到的y刚好是能和x精确相加还原n的数值，因此等式始终成立。

3. x为负数时等式不成立的原因 #

当x为负数时，y = n - x等价于y = n + |x|，此时x是大绝对值负数，y是大正数。双精度浮点数的尾数只有53位有效数字，当两个绝对值相差极大的数相加时，较小的数（比如n）的有效数字会被较大数的尾数覆盖，导致相加结果无法精确还原n，最终出现精度误差，使得x + y != n。

举个具体反例：

const n = 5;
const x = -123456789012345.6789;
const y = n - x;
console.log(x + y == n); // 输出false

这里x的绝对值远大于n，y是一个极大的正数，两者相加时，n的有效数字无法被双精度浮点数的尾数保留，最终结果和n存在微小偏差，等式不成立。

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