有没有只能用反证法证明的命题

问题描述:

有没有只能用反证法证明的命题

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