https://www.ajimatics.com/entry/2021/03/22/174633 これについていたブコメ id:versatile 「実数の中には、「2乗して0になる数」というのは0しかありません」の証明ってどうやるの？ が、ちょっと面白い問題だったので参戦。 メタブを見に行ったら、そういう数が存在した場合は逆数をとると矛盾が引き起こせるよっていうスマートな背理法が書かれてたんだけど、これはかなり危うい議論に見える。 というのも、その議論は0でない実数は必ず逆数が取れるよねっていう前提を所与のものとして扱っているわけで、じゃあその「0でない実数は必ず逆数がとれる」って命題はどうやって証明するのという話になる。 そんなの当たり前の話じゃないかと感じられるかもしれないが、我々の証明しようとしている「二乗して0になる数は0以外にない」という命題も同程度には当たり前のことであって