题:证明 0. 9 ‾ = 1 0.\overline{9} = 1 0.9=1,从而得出任意有限的 d d d进制展开式的表示不唯一
证:
注意:命题里是十进制展开式
1. 1. 1.
∵ 0. 9 ‾ = 0. 1 ‾ ∗ 9 = 1 9 ∗ 9 = 1 \because 0.\overline{9} = 0.\overline{1} * 9 = \frac{1}{9} * 9 = 1 ∵0.9=0.1∗9=91∗9=1
∴ \therefore ∴ 证毕
2. 2. 2. 更加一般的命题证明:求一个有限的 d d d进制展开式的多种表示
设 α = ( . a 1 a 2 . . . a k . . . ) d = β = ( . b 1 b 2 . . . b k . . . ) d \alpha = (.a_1a_2...a_k...)_d = \beta = (.b_1b_2...b_k...)_d α=(.a1a2...ak...)d=β=(.b1b2...bk...)d,并在第 k k k位出现第一个不同且 a k > b k a_k > b_k ak>bk
∵ α = β \because \alpha = \beta ∵α=β
∴ α − β = 0 \therefore \alpha - \beta = 0 ∴α−