>>667
おっちゃん、どうも、スレ主です。
あまりネタバレせずに、早く、ドクターに診て貰え！

ところで、√2が無理数であることの証明に背理法が使われるのは
１．無理数の定義が、「有理数でない」実数という形で、有理数の否定で書かれていることが一つ
２．背理法は、論理でA→B、 集合ではA⊂Bだが、A∩¬B＝Φ（空集合←矛盾）を導く論法と思えば分り易いだろう
３．背理法の大きな利点は、A→Bを導くのにくらべ、使える条件がA∩¬B→Φで増えていること
４．√2→無理数が、”√2＆有理数”→Φと、分かり易く書き直せていることの利点は大きい
５．で、γ→有理数を証明するのに、”γ＆無理数”→Φ（矛盾）と書き直す利点が見えてこない
　　（問題を難しくしていると思う）
６．というか、プロ数学者の予想は（>>617）”The most well known one is: Conjecture 1.0.1. Euler’s constant(γ) is irrational.”やで（＾＾
　　だから、背理法で解こうとするなら、”γ＆有理数”→Φ（矛盾）となるけど、γの場合は√2と違って、簡単じゃない！

あまりネタバレせずに、早く、（数学科）ドクターに診て貰え！（＾＾