>>324
>10進表示された無限小数のことは杉浦解析入門Ⅰでは滅多に使わない

でも、そのめったにつかわない10進無限小数表現をわざわざ君は証明で使ったんだから
完全に理解しないとウソ証明書いて間違うよね

１．無限小数展開はほぼ一意に実数を決める　
一意でないのは0.5000…と0.4999…の対のように、0が無限につづくものと9が無限につづくものの場合だけ

２．有理数は循環小数（0が続く場合も0を節とする循環小数とする）で、無理数は非循環小数
他の性質は、上記の性質から導けることを証明した後でなければ、利用できない

この２点から逸脱すれば間違うよ