>>33

まあ兄ちゃん、本の＜解答＞はこれだ。

＜解答＞背理法で示そう。証明すべき命題を記号論理を用いて表すと

∀ε＞０[|a|<ε]⇒ａ＝０・・・・・①

となる。∀ε＞０[|a|<ε]をｐ、ａ＝０をｑと考え、

公式　￢（ｐ⇒ｑ）＝ｐ∧（￢ｑ）を用いて①を否定すると、

∀ε＞０[|a|<ε]∧ａ≠０・・・・②

となる。②よりａ≠０であるから｜ａ｜＞０となる。
②においてεは任意の正の数だから、ε＝｜ａ｜とおくと
０＜｜ａ｜＜｜ａ｜が得られ、矛盾である。
したがって、否定命題②が儀となり、もとの命題①が示された。


これと同じ解答じゃなかろ？