高木くんがアクセプトされるまで見守るスレ ★10 (594ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
54(2): 07/21(月)17:31:46.08 ID:b+SJzWWm(3/6) AAS
>>50
「＞各辺の長さが2倍の完全直方体が存在するとした場合にそれを表す変数の偶奇が異なるようになる＞という矛盾が生じるから、完全直方体は存在しないと述べている。」これは新たな仮定を背理法に持ち込んでいるように見える。正当な議論か？
________________________________________
ご質問いただいた点は重要です。著者の説明「各辺の長さが2倍の完全直方体が存在するとした場合に...矛盾が生じる」という表現は、確かに背理法における新たな仮定を導入しているように見えます。
背理法においては、証明したい命題の否定を仮定し、その仮定から矛盾を導くことで元の命題を証明します。この場合の基本的な流れは：
- 完全直方体が存在すると仮定する
- その仮定から論理的帰結を導く
省8
62(4): ◆pObFevaelafK 07/21(月)20:41:49.08 ID:WAE18W4U(17/18) AAS
>>60
お前は馬鹿過ぎてお話にならないから書かなくていい。
はじめにそういう限定を置いたものを考慮する。そのa,b,cが存在した場合には
2a,2b,2cを辺とする完全直方体も存在することになる。ということだけだ。
>>61
限定を置いて考慮する問題はどこにでもある。例えばFLTもx,y,zを互いに素である
GCD(x,y,z)=1と限定する。それは、mを整数として、x,y,zが解であるのであれば
省2
85(1): ◆pObFevaelafK 07/22(火)22:01:37.08 ID:esixkGxx(8/15) AAS
>>82
(1)の式が成立するのは、a,b,cがGCD(a,b,c)=!のときの完全直方体であり、始めの条件設定とは
異なるが、当然この原始完全直方体の辺を整数倍したものも完全直方体にはなるはずであり
(1)の式の両辺を4倍したものが、辺の長さが2a,2b,2cである完全直方体が満たすべき式に
なり成立しなければならない。(2)は(1)から論理的に導いた式であるから、原始完全直方体
が存在する場合には成立しなければならない。(1)、(2)は、「vとk_4、vとk_5、wとk_5、wと
k_6、xとk_6、xとk_4が互いに素になる」という条件により、係数比較を行うことができるので
省7
129(2): ◆pObFevaelafK 07/23(水)16:54:41.08 ID:7G0AvtP3(13/33) AAS
>>128
再定義などしていない。解が存在するのであれば、その整数倍もそれら4本の方程式の
解になるというだけのことだ。こんな簡単な事にふざけたレスをする意図は何だ。
いい加減に下らないレスを書くのを止めろ。
238(1): 07/25(金)10:35:33.08 ID:tHbJuay1(7/33) AAS
>>235
231 １３２人目の素数さん sage 2025/07/25(金) 10:12:14.95 ID:tHbJuay1
>>230
124 １３２人目の素数さん sage 2025/07/23(水) 14:00:39.17 ID:61N7gw2J
>>123
なんと(1)にabcも2a,2b,2cもないのです!!ｗｗｗ
あるのはkmnrあとは原始直方体のgなのです
省3
321: ◆pObFevaelafK 07/26(土)08:32:55.08 ID:wRKdSWc+(6/16) AAS
再度完全直方体の証明を修正しました。
335(2): 07/26(土)11:22:26.08 ID:d6gegyri(1) AAS
>>334
>どのようなk_4,k_5,k_6でも成立しなければならない
ならんよ
k_4,k_5,k_6は、a,b,cから導かれる変数。
a=(m_1^2-n_1^2)k_1=(m_2^2-n_2^2)k_2=(m_5^2-n_5^2)k_5
b=2k_2m_2n_2=(m_3^2-n_3^2)k_3=2k_6m_6n_6
c=2k_3m_3n_3=2k_1m_1n_1=2k_4m_4n_4
省11
504: 07/30(水)23:39:58.08 ID:s5Il96Rf(7/7) AAS
三段階目はこっちか
このときに、k_4,k_5,k_6が
それぞれに互いに素である
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s