浮点数运算中x(1/x)=1的成立条件是什么？

你提到的误区很典型：只有当x是2的整数次幂时，1/x才能在二进制浮点数（比如IEEE 754标准的单/双精度）中精确存储。教授用5举例，正是因为1/5=0.2在十进制是有限小数，但转成二进制是无限循环的0.(0011)，根本无法被浮点数精确表示——这就是x*(1/x)≠1的核心原因之一。

你原本的假设“若1/x能精确表示，则x*(1/x)=1”其实是成立的，但前提是1/x真的能在二进制浮点数中精确存储（也就是x是2的幂）。问题出在你可能把“十进制下的精确可表示”和“二进制浮点数下的精确可表示”搞混了，比如0.2在十进制看起来是有限小数，但在二进制里是循环的，自然存不精确。

至于你说的最小正整数x=49：在IEEE 754单精度下，49的二进制是110001，1/49是无限循环二进制小数，存储时会被舍入。当你用这个舍入后的近似值乘以49，结果就会略微偏离1，这就是舍入误差导致的结果。

补充几个关键事实：

• 二进制浮点数的精确表示范围仅包含整数和分母为2的幂的分数，其余数值都只能是近似值。
• 当x不是2的幂时，1/x必然无法精确存储，因此x*(1/x)几乎不可能等于1。
• 即使x是2的幂，只有在没有溢出/下溢的情况下，x*(1/x)才会精确等于1（比如x=2^1024在双精度里会溢出，此时结果就不是1了，但这属于极端情况）。

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