SICP 习题 （2.15）解题总结：区间误差的深入思考

SICP 习题 2.15 是接着 题目 2.14 的， 题目 2.14中提到了Alyssa设计的区间计算模块在并联电阻计算时会出现问题，这个问题是Lem发现的。接着，一个叫Eva的人也发现了这个问题，同时她还有更深入的思考。
Eva觉得，如果一个公式可以写成一种形式，其中具有非准确性的变量不重复出现，那么Alyssa的系统产生的区间的限界会更紧一些。因此，她觉得在计算并联电阻时，公式“1/（1/R1 ＋ 1/R2）”比公式“(R1*R2)/ (R1 + R2)”要更好一些。
题目要求我们去看看Eva说的对不对。

要理解题目的意思有点困难，主要是不知道这里的“具有非准确性的变量”什么意思。不过我们可以根据我们在习题2.14中观察到的现象来做一个直观的推断。我们在习题2.14中发现，Alyssa的区间除法会出现问题，两个区间相除会扩大误差。不过，一个值得注意的是，实现公式“1/（1/R1 ＋ 1/R2）”时Lem定义了一个叫one的区间，值是(1 1)，这是一个确定区间，没有误差，在区间除法中使用它是不会带来误差扩大的问题的。比如one/(100 200)，就是
(1 1) / (100 200)=> (1 1) * (1/100 1/200)
=> (1/100 1/200)
进一步计算one / (one / (100 200))的话，就是 (1 1) / (1/100 1/200)(1 1) * (100 200)(100 200)
也就是说，如果我们有定义区间one为(1 1)，那么one/(one/A)还是A，不会带来区间误差变大的问题。
所以，就如题目2.15提到的，使用了one的程序part2是一个比较好的程序。