探検

背理法は不要なのか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 は無理数であることの証明は、
　　 背理法を使う以外の方法はない」
という誤った(上の証明が反例)認識を持っている
人たち(以下、仮に「背理法依存者」といいます)が多数います。
これは、全世界的のようですし、数学者の中にも多数います。
略
　このような誤った認識に輪をかけるのが、
　「大学の数学教員が、自分の書いた数学書の中で (*) を公言している。」
ことです
2026/09/30(水) 01:25:53.05ID:uSnVqUmO
隔離スレ
129１３２人目の素数さん
垢版 |
2026/09/30(水) 08:01:13.31ID:vg9inBi/
>>126
素因数分解可能性一意性を使うらしい
2n^2を素因数分解すると2が奇数個
m^2を素因数分解すると2は偶数個
だから
2n^2≠m^2
よって
√2n≠m
で
√2≠m/n
130１３２人目の素数さん
垢版 |
2026/09/30(水) 08:03:12.79ID:vg9inBi/
でも
そもそも素因数分解可能性や一意性は
背理法をたんまり使ってるけどね
131１３２人目の素数さん
垢版 |
2026/09/30(水) 08:09:20.62ID:vg9inBi/
それにそもそも
無理数は有理数でない実数というのが定義なのだから
有理数でない＝有理数と仮定すると矛盾
は定義そのものなんだけどね
「〜ではない」の定義が「〜と仮定すると矛盾」なのだから
132１３２人目の素数さん
垢版 |
2026/09/30(水) 08:14:29.88ID:vg9inBi/
それにそもそも
整数が（自然数が）
偶数と奇数の直和になるというのは
背理法で示すんじゃないかな
とか思い出すと何でも背理法使ってるような気になってくるけどね
2026/09/30(水) 14:08:09.07ID:uSnVqUmO
なげーよ
語尾と修飾語と接続詞減らせ
2026/09/30(水) 14:08:09.31ID:uSnVqUmO
なげーよ
語尾と修飾語と接続詞減らせ
2026/09/30(水) 14:12:16.30ID:uSnVqUmO
でないとダラダラして見える
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の平方根という数は存在しない数になるだろう。
存在しないのは存在反証される数であって存在証明されない数ではない
139１３２人目の素数さん
垢版 |
2026/10/01(木) 18:41:41.32ID:yjK1M/kN
>>138
ですね
新着レスの表示
レスを投稿する

ニューススポーツなんでも実況