27. [M25] 此题需要结合正文中计算
的标准算法。 用
表示
基于有限精度的近似值:
,用
替代公式(18)中的
,即
并且
,这里的
和
是很小的大于零的常数,表示基于有限精度的近似值的误差上界和下界。若用
表示计算结果,试证明 k 步之后有
。
证明:
在此回顾一下正文中计算 的标准算法。
用二进制表示为
(17)
假设 ,若 x < 1, 则首先计算
。
x 的整数部分 n 满足 。为得到
的值,我们设
,对所有的
,
若 ,则
;
若 ,则
(18)
这个过程的有效性来自如下事实:
对 k = 0, 1, 2, ...,有 , (19)
这个事实可以用归纳法证明:当 k = 0 时,显然有 ,
时,若
满足条件
,
此时 满足
,
当 时,令
,则
,满足
;
当 时,令
,则
,仍然满足
。归纳证明完毕。
回到这道习题,我们有
由于 都是大于零的很小的常数,可以在这里假定
, 则
,而
,因此要证明以上的不等式成立,只需证明比它们更加严格的不等式
即可。
类似于公式(19),我们有 ,即
,代入上面的式子就得到要证明的不等式为
继续用归纳法。当 时,根据题面显然有
,
时,若
满足
,对上式各个部分分别取平方,得到
先看左边的不等式 ,两边同时乘以
,且根据题面有
,
由于 ,当
时,令
,可得
;当
时,令
,即
,可得
。综合起来,可得 。
再看右边的不等式 ,两边同时乘以
,
且根据题面有 ,可以推得
和上面的推导类似,可得 。结合起来,就得到了要证明的不等式
。 反推回去,就证明了 。这个式子也说明,随着 k 的增大,
越来越接近于
。