>>749

そうですか。背理法なら
もし0.99999…＝1なら、という仮定の下で
0＋0.99999…＝１
0＋0.99999…＝0.99999…
は同じもので、矛盾はありません。背理法は失敗です。

もし0.99999…＝1なら、という仮定があなたの主張0.99999…≠1と矛盾する、というなら
それは背理法ではありません。あなたの主張0.99999…≠1は証明すべきことなので証明の中の証拠として使えません。
証明は失敗です。