>>1 より
安部直人
”素因数分解を習った中学生なら誰でもわかる３行の直接証明：
　「自然数　a,b につき、
　　aa と 2bb の素因数の個数は偶数と奇数
　　で異なるから aa≠2bb、よって √2≠a/b。」”

戻る
上記を 通常の背理法（Reductio ad absurdum wikipedia）
”Irrationality of the square root of 2”と 比較しよう

まず、背理法では
"思考実験">>3　ないし 仮説思考>>1 として
√2を 有理数と仮定して
√2＝a/b とおくことからスタートする

そして 両辺を二乗して
2＝(a/b)^2 を得て あとは下記の通りだ

ところで、上記 安部直人 ３行の直接証明は
通常の背理法を知った後で、通常の背理法の前半を飛ばして
後半部分をちょっと変えて、つまみ食いしたものにすぎない！

それを、３行で 背理法より短いから 「オレさま直説法 エライ！」とか
意味分らん

すでに述べたように、"思考実験">>3　ないし 仮説思考>>1 は
日常生活でも また 数学以外の 物理や化学などの分野で
頻繁に使われる
必須の思考テクニック

それを否定して、何の意味があるのか！

(参考)
https://ja.wikipedia.org/wiki/%E8%83%8C%E7%90%86%E6%B3%95
背理法
https://en.wikipedia.org/wiki/Reductio_ad_absurdum
Reductio ad absurdum

Irrationality of the square root of 2
The classic proof that the square root of 2 is irrational is a refutation by contradiction.[39] Indeed, we set out to prove the negation ¬ ∃ a, b ∈ N . a/b = √2 by assuming that there exist natural numbers a and b whose ratio is the square root of two, and derive a contradiction.

Assume that √2 is rational,[40] so it can be written as a fraction a/b in lowest terms, where a and b are integers with no common factors. This assumption allows us to apply a proof by contradiction.[41] Squaring both sides gives 2 = a²/b², which implies that a² = 2b².[42] Therefore, a² is even, and it follows that a must also be even. Let a = 2k for some integer k. Substituting back into the equation gives (2k)² = 2b², which simplifies to 4k² = 2b², or b² = 2k². Hence, b² is even, and therefore b must also be even. This shows that both a and b are even, which contradicts the assumption that a/b was in lowest terms. Therefore, the original assumption is false, and √2 is irrational.[40]