背理法は不要なのか2

1１３２人目の素数さん

2026/07/20(月) 17:27:08.36ID:a0+1odGL

前スレ背理法は不要なのか
https://rio2016.5ch.io/test/read.cgi/math/1781354251/
<テンプレ>
前スレの『背理法被害者の会』を受けて
中高一貫校生のために背理法を徹底的に議論するスレです
前スレ 41より
下記の理科大教授　安部直人氏
”素因数分解を習った中学生なら誰でもわかる３行の直接証明：
　「自然数　a,b につき、
　　aa と 2bb の素因数の個数は偶数と奇数
　　で異なるから aa≠2bb、よって √2≠a/b。」”
と。彼はこれが、いいっぺという

まあ、これへの批判としては ”aa と 2bb の素因数の個数は偶数と奇数”が、天下りすぎなのと
さらに下記「結果的に正しくない仮定から論理的に正しくない矛盾を導くわけですから、
途中に更に多くの誤った主張が並びます」もヘン
下記の仮説思考という思考テクニックがある
現実とは別に「もしこうだったら？」と考えることは、人の常！　それを否定するのは如何か・・

https://biz.moneyforward.com/payroll/basic/69504/
マネーフォワード
更新日 : 2026年3月31日
仮説思考とは？プロセスや具体例、トレーニング方法について解説

https://abel.a.la9.jp/
東京理科大学理学部第一部数学科　教授　安部直人
https://abel.a.la9.jp/sub11.html
東京理科大学数学科　教授　安部直人
新設　(2013)07月06日
脱背理法と大学入試問題
”「私自身が、背理法のおかげで頭が腐った被害者であると実感しています。十数年前から現在もリハビリ中です。」(背理法被害者の会)”
十数年前から脱背理法教育
　例えば、本ＨＰ０１頁(説明も)にあるような
　素因数分解を習った中学生なら誰でもわかる３行の直接証明：
　「自然数　a,b につき、
　　aa と 2bb の素因数の個数は偶数と奇数
　　で異なるから aa≠2bb、よって √2≠a/b。」
　(不要かもしれませんが少し説明を加えます。
　a と b を素数の積で表したとき、
　その素数(素因数)の個数をそれぞれ s と t とすれば、
　aa と 2bb の素因数の個数は s+s=2s と 1+t+t=2t+1 です。)

これを、
　高校数学Ａ教科書にある、準備を込めて１頁近く要する背理法証明
と比較してみてください。この証明が短いということも利点ですが、
証明途中に述べられていることは正しく、
説明さえ詳しければ必ず理解納得できます。

　一方、背理法の証明の中では、
結果的に正しくない仮定から論理的に正しくない矛盾を導くわけですから、
途中に更に多くの誤った主張が並びます。
誤った主張は誰も(天才でさえ)理解納得はできません。
例えば、1+1=3 を理解納得せよといわれている困ります。

　一方、数学教育の現状では
(*)　「√2 は無理数であることの証明は、
　　背理法を使う以外の方法はない」
という誤った(上の証明が反例)認識を持っている
人たち(以下、仮に「背理法依存者」といいます)が多数います。
これは、全世界的のようですし、数学者の中にも多数います。
略
　このような誤った認識に輪をかけるのが、
　「大学の数学教員が、自分の書いた数学書の中で (*) を公言している。」
ことです

134１３２人目の素数さん

2026/09/30(水) 14:08:09.31ID:uSnVqUmO

なげーよ
語尾と修飾語と接続詞減らせ

135１３２人目の素数さん

2026/09/30(水) 14:12:16.30ID:uSnVqUmO

でないとダラダラして見える

136１３２人目の素数さん

2026/09/30(水) 14:43:28.14ID:wGngz+BU

>>135
無駄むだムダ無だ

137１３２人目の素数さん

2026/10/01(木) 13:30:03.49ID:XyA/agkZ

実数の公理を設けなければ、有理数体の世界にはルート2は存在しないので、
2の平方根という数は存在しない数になるだろう。でもルート2があると考えて
形式的に式√2で表すと便利につかえるだろう。それはまるで実数の世界には
－1の平方根が無いから虚数は存在しない数なのだが、存在するかのように
思って使うと便利だったりするように。元の世界を広げて存在しないはずの
ものを付け加えて、元の世界は拡張された世界の一部だったことにしている
わけだ。それで矛盾が起きなければ良い。モデルとして実数が数直線なら
虚数を含めた複素数のモデルは平面で、それは実数の対によって表現できる
とし、矛盾が起こらないことを実数の言葉で説明・証明したので、複素数は
使っても良いものになった。

138１３２人目の素数さん

2026/10/01(木) 13:50:50.84ID:euTfLY8H

>2の平方根という数は存在しない数になるだろう。
存在しないのは存在反証される数であって存在証明されない数ではない

レスを投稿する