2013-12-21から1日間の記事一覧
数学に背理法という証明手法があります。導き出すべき結論が成り立たないことを仮定すると矛盾が発生することから命題の正しさを証明する方法です。例えば、√2が無理数であることを証明するために、この背理法は使われます。矛盾しているならば間違っている…
数学に背理法という証明手法があります。導き出すべき結論が成り立たないことを仮定すると矛盾が発生することから命題の正しさを証明する方法です。例えば、√2が無理数であることを証明するために、この背理法は使われます。矛盾しているならば間違っている…