0.9的循环等于1,这只能用反证法.
只能假定它不成立,证明不成立的理由是错的.
而无法直接证明其相等