高木くんがアクセプトされるまで見守るスレ ★10 (704ﾚｽ)

高木くんがアクセプトされるまで見守るスレ ★10 http://rio2016.5ch.net/test/read.cgi/math/1753007638/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

571: １３２人目の素数さん [sage] 2025/08/01(金) 23:09:19.75 ID:sDSm6+Oy >>567 >>563 のようなトンチンカンな認識のもとでの証明なんだから間違ってるよ >>566 ガイジの考え方よりは俺の考え方のほうが普通よ >>567 高木くんのvwの奇数逆転論が証明なってないこともよくわかる vwのどちらかが奇数になるという議論は集合ω={(a,b,c,d,e,f,g)∈ℕ^7 | a^2+b^2=d^2 ∧ b^2+c^2=e^2 ∧ c^2+a^2=f^2 ∧ a^2+b^2+c^2=g^2 ∧ GCD(a,b,c)=1}の元にしか言ってない。 集合Ω={(a,b,c,d,e,f,g)∈ℕ^7 | a^2+b^2=d^2 ∧ b^2+c^2=e^2 ∧ c^2+a^2=f^2 ∧ a^2+b^2+c^2=g^2 }の元についてはvwのどちらかが奇数になるとは言ってない。 集合ωとΩの包含関係については、ω⊂Ω∧¬(Ω⊃ω) そのため集合Ωの元についてはvwのどちらかが奇数という議論は証明なっていない http://rio2016.5ch.net/test/read.cgi/math/1753007638/571

574: ◆pObFevaelafK [sage] 2025/08/02(土) 00:01:12.17 ID:3YDKcN8H >>570 ＞a^2+b^2+c^2=g^2を満たしておりますので電卓お使い下さい gは正整数だ。570は、明確にオイラーのレンガと完全直方体の定義の違いを理解していない。 a〜gを正整数としたときに、a^2+b^2=d^2, b^2+c^2=e^2, c^2+a^2=f^2, a^2+b^2+c^2=g^2 を満たすa〜gが存在する場合は、完全直方体が存在する。逆も真。ということを理解してい ないことを何度も書いている。 ＞{(a,b,c,d,e,f,g)∈ℕ^7 | a^2+b^2=d^2 ∧ b^2+c^2=e^2 ∧ c^2+a^2=f^2, a^2+b^2+c^2=g^2}としないガイジが悪い 証明に書いていないで、このスレに書いたことで無理に否定するな。 >>571 ＞vwのどちらかが奇数になるという議論は集合ω={(a,b,c,d,e,f,g)∈ℕ^7 | a^2+b^2=d^2 ∧ b^2+c^2=e^2 ∧ c^2+a^2=f^2 ∧ a^2+b^2+c^2=g^2 ∧ GCD(a,b,c)=1}の元にしか言ってない。 最新版の証明は、a,b,cが互いに素である場合しか考慮していないので、問題はない。571が問題だと書いていたg^2の式の右の等式が成立するように するためには、右辺の括弧の中をGCD(k_4,k_5,k_6)^2で割ればいいと何度も書いている。論理記号で胡麻化そうとしても無駄だ。 式(2)から式(3)は論理的に導いているので、式(2)が成立する場合に式(3)が成立しないということはない。そうだから、式(2)×4-式(3)=0の方程式は k_4,k_5,k_6が互いに素であるという条件を置いていても、その条件が成立する任意のk_4,k_5,k_6に対して成立しなければならないので、係数比較を 行うことが可能になる。諦めろ証明は完全に正しい。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/574

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.050s