探検

背理法は不要なのか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 は無理数であることの証明は、
　　 背理法を使う以外の方法はない」
という誤った(上の証明が反例)認識を持っている
人たち(以下、仮に「背理法依存者」といいます)が多数います。
これは、全世界的のようですし、数学者の中にも多数います。
略
　このような誤った認識に輪をかけるのが、
　「大学の数学教員が、自分の書いた数学書の中で (*) を公言している。」
ことです
112１３２人目の素数さん
垢版 |
2026/08/06(木) 11:12:56.22ID:289HPqRS
（直観主義論理は排中律無いだけだから形式化できないわけはない）
113１３２人目の素数さん
垢版 |
2026/08/06(木) 15:07:26.43ID:i5h8aAml
>>112
>（直観主義論理は排中律無いだけだから形式化できないわけはない）

うむ
その見方は、歴史的には
Category theory の発展を待たなければならなかった
下記の Category theory、トポス (数学)、Curry–Howard correspondence
を ご参照

(参考)
https://en.wikipedia.org/wiki/Category_theory
Category theory
Historical notes
Categorical logic is now a well-defined field based on type theory for intuitionistic logics, with applications in functional programming and domain theory, where a cartesian closed category is taken as a non-syntactic description of a lambda calculus.

https://ja.wikipedia.org/wiki/%E3%83%88%E3%83%9D%E3%82%B9_(%E6%95%B0%E5%AD%A6)
トポス (数学)
トポス（topos）とは、位相空間上の層のなす圏を一般化した概念である
数理論理学者たちによる更なる公理化を経て、集合論のモデルを与える枠組みとしても認識されるようになった。
数理論理学との関わり
Kripke-Joyalの意味論とよばれる手続きによって集合論的論理式をトポスの対象と射についての言明として解釈することができる。
こうして構成される集合論のモデルのうちには排中律が成り立たないような直観主義的モデルも自然に現れる。

https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
Curry–Howard correspondence
(google訳)
カリー・ハワード対応
このアイデアは、LEJ ブロウワー、アーレント・ヘイティング、アンドレイ・コルモゴロフ（ブロウワー-ヘイティング-コルモゴロフ解釈を参照）[ 2 ]およびスティーブン・クリーネ（実現可能性を参照）によってさまざまな形で与えられた直観主義論理の操作的解釈に関連している。この関係は、カリー-ハワード-ランベックの3方向対応として、圏論を含むように拡張されている。[ 3 ] [ 4 ] [ 5 ]
114１３２人目の素数さん
垢版 |
2026/08/06(木) 18:50:56.98ID:Muv+LfxP
>>111
君を無視しようと言ってるんだと思うよ
文脈的に
115１３２人目の素数さん
垢版 |
2026/08/06(木) 18:55:04.31ID:/Vos677Y
ですね
2026/08/06(木) 19:03:39.34ID:qLVQWfkT
てすと
2026/08/06(木) 22:31:20.77ID:qWbsHYAY
>(参考)
↑
(俺にはチンプンカンプンだけど数学分かってると思われたいからコピペ貼っとこっと)
2026/08/08(土) 09:26:55.57ID:uTmrs9Qm
日本語wikiそんな訳なのか
aiかなんかの自動翻訳なんやろな
めちゃくちゃ
2026/08/08(土) 09:44:20.03ID:3mGQn3IL
結局背理法が不要であるという主張は誤りってことでいいね
120１３２人目の素数さん
垢版 |
2026/08/09(日) 11:14:13.52ID:JB5lTNVg
>>119
>結局背理法が不要であるという主張は誤りってことでいいね

はっきりいうが
「背理法が不要であるという主張は誤り」です
当然ですが

>>118
>日本語wikiそんな訳なのか
>aiかなんかの自動翻訳なんやろな
>めちゃくちゃ

日本語wikiで たまに意味が通らない記述があって
英文wikiを見に行くと
あ これ日本語wikiの元ネタで 誤訳しているっぽい
というのが、結構ありよ
121１３２人目の素数さん
垢版 |
2026/08/09(日) 11:23:38.20ID:48bZm4i6
個人の嗜好に正しいも誤りも無い
122１３２人目の素数さん
垢版 |
2026/08/09(日) 11:50:42.65ID:JB5lTNVg
対偶 Contraposition en.wikipedia
√2 の無理数の証明を 扱っている（＾＾

https://en.wikipedia.org/wiki/Contraposition
Contraposition
(google訳)
対偶

Proof by contrapositive
対偶による証明

However, indirect methods such as proof by contradiction can also be used with contraposition, as, for example, in the proof of the irrationality of the square root of 2. By the definition of a rational number, the statement can be made that "If
√2 is rational, then it can be expressed as an irreducible fraction". This statement is true because it is a restatement of a definition. The contrapositive of this statement is "If
√2 cannot be expressed as an irreducible fraction, then it is not rational". This contrapositive, like the original statement, is also true. Therefore, if it can be proven that
√2 cannot be expressed as an irreducible fraction, then it must be the case that
√2 is not a rational number. The latter can be proved by contradiction.

ただし、例えば、 √2 の無理数の証明のように、背理法などの間接的な方法も対偶とともに使用できる。有理数の定義により、「もし
√2が有理数であれば、既約分数として表すことができる」。この文は定義の言い換えであるため真である。この文の対偶は「もし
√2既約分数として表現できないならば、それは有理数ではない」。この対偶も、元の命題と同様に真である。したがって、もし証明できるならば、
√2既約分数として表現できない場合、次のことが成り立つはずです。
√2は有理数ではない。後者は背理法によって証明できる。
123１３２人目の素数さん
垢版 |
2026/08/09(日) 12:18:57.33ID:gbk0Ylsn
>>122
√２が有理数でないことの証明も理解出来ん中卒は書き込むな
2026/08/09(日) 14:06:28.96ID:K3WTvcZw
そのメチャクチャな訳を意味も分からず引用したら正しい認識なんかできるはずないわな
2026/08/15(土) 23:58:54.84ID:ze8L5riu
>>121
個人の嗜好と言い切るには主語がデカいな
「俺は背理法を使いません」で済ませておけばよかった
まるで背理法が不要であるかのような書き方をしてるから誤りだと言われてるわけ
新着レスの表示
レスを投稿する

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