java - 评估 Math.tan(Math.acos(0d))

Question

下面的说法不应该成立吗？

assertTrue(Double.isNaN(Math.tan(Math.acos(0d))));

但是 Java 返回的不是 Double.NaN

6.123233995736766 * 10^-17    

在我的 64 位机器上。

编辑: 这是复制和粘贴错误。事实上，Java 返回 1.633123935319537E16

我知道这是因为浮点表示，但我的印象是，正切函数的那些未定义的值将得到与例如相同的处理。 Math.sqrt(-1d) 但我想在这种情况下 java.lang.Math 只是在评估之前检查参数是否为正。

Answer 1

我得到了一些不同的东西。

System.out.println(Math.tan(Math.acos(0d)));
// and the tan for the next representable value.
System.out.println(Math.tan(Math.acos(0d) + Math.ulp(Math.acos(0d))));

打印

1.633123935319537E16
-6.218431163823738E15

64 位浮点无法精确表示 PI/2(它有无限多个位数)，它表示接近该值的数字，并且该值的 tan() 是有限的。