高木くんがアクセプトされるまで見守るスレ ★10 (648ﾚｽ)
高木くんがアクセプトされるまで見守るスレ ★10 http://rio2016.5ch.net/test/read.cgi/math/1753007638/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
54: １３２人目の素数さん [sage] 2025/07/21(月) 17:31:46.08 ID:b+SJzWWm >>50 「＞各辺の長さが2倍の完全直方体が存在するとした場合にそれを表す変数の偶奇が異なるようになる＞という矛盾が生じるから、完全直方体は存在しないと述べている。」これは新たな仮定を背理法に持ち込んでいるように見える。正当な議論か？ ________________________________________ ご質問いただいた点は重要です。著者の説明「各辺の長さが2倍の完全直方体が存在するとした場合に...矛盾が生じる」という表現は、確かに背理法における新たな仮定を導入しているように見えます。 背理法においては、証明したい命題の否定を仮定し、その仮定から矛盾を導くことで元の命題を証明します。この場合の基本的な流れは： - 完全直方体が存在すると仮定する - その仮定から論理的帰結を導く - 最終的に矛盾が生じることを示す - よって完全直方体は存在しない しかし、「各辺の長さが2倍の完全直方体が存在する」という仮定は、元の「完全直方体が存在する」という仮定とは異なります。これは新たな仮定を導入しているように見えます。 背理法において正当な議論とするためには： - 元の仮定（完全直方体の存在）から「各辺の長さが2倍の完全直方体」についての何らかの関係性が論理的に導出されるべき - または、「各辺の長さが2倍の完全直方体」が元の「完全直方体」と同値であるという証明が必要 これらの関係性が明示されていない場合、論理的な飛躍があると言えます。背理法では、最初の仮定から矛盾を導くまでの過程はすべて論理的に厳密でなければなりません。 この点が明確に説明されていない限り、証明の論理構造に疑問が残ります。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/54
55: ◆pObFevaelafK [sage] 2025/07/21(月) 19:04:04.74 ID:WAE18W4U >>54 始めに設定してある式は、完全直方体が存在する場合に成立しなければならない必要条件であり、ここまでで何の仮定もおいていない。 仮定したのは、完全直方体が存在する場合にはその相似比が２倍の完全直方体も存在することになるというものであり、それが成立 することは、解が存在する場合に、全ての解の値を整数倍しても、条件式が成立するから自明のことだ。しかし、この仮定からは 矛盾が生じることになる。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/55
56: ◆pObFevaelafK [sage] 2025/07/21(月) 19:05:46.95 ID:WAE18W4U >>54 ＞背理法では、最初の仮定から矛盾を導くまでの過程はすべて論理的に厳密でなければなりません。 このような事を数学的に完全に精緻な証明に対して書くべきではないのは当然であり、大間違いだ。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/56
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s