高木くんがアクセプトされるまで見守るスレ ★10 (470レス)
高木くんがアクセプトされるまで見守るスレ ★10 http://rio2016.5ch.net/test/read.cgi/math/1753007638/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
342: ◆pObFevaelafK [sage] 2025/07/27(日) 12:41:04.48 ID:fkyKGCZB >>341 式(1)と式(2)を比較するとそうなる。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/342
344: ◆pObFevaelafK [sage] 2025/07/27(日) 14:05:39.76 ID:fkyKGCZB >>343 はい、そうです。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/344
346: ◆pObFevaelafK [sage] 2025/07/27(日) 15:23:30.55 ID:fkyKGCZB >>345 どのようなk_4,k_5,k_6でも式(1)と式(2)が等しくならなければ ならないので、係数比較ができる。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/346
349: ◆pObFevaelafK [age] 2025/07/27(日) 16:31:14.56 ID:fkyKGCZB Another definitive proof of Goldbach conjecture https://mathlog.info/articles/HkvrTN0O7vORvkjQ9b1O ゴールドバッハ予想の証明を公開しました。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/349
350: ◆pObFevaelafK [sage] 2025/07/27(日) 16:38:12.33 ID:fkyKGCZB >>347-348 式(1)×4-式(2)より ((4m_4n_4)^2-w)k_4^2+((2(m_5^2-n_5^2))^2-x)k_5^2+((4m_6n_6)^2-v)k_6^2=0 がどのようなk_4,k_5,k_6でも成立しなければならない。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/350
352: ◆pObFevaelafK [sage] 2025/07/27(日) 17:00:21.11 ID:fkyKGCZB >>351 k_4,k_5,k_6が整数倍になるとは限りません。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/352
354: ◆pObFevaelafK [sage] 2025/07/27(日) 17:09:44.70 ID:fkyKGCZB >>353 係数が全て0になる。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/354
356: ◆pObFevaelafK [sage] 2025/07/27(日) 17:22:36.37 ID:fkyKGCZB >>355 式(1)から式(2)を出したのは、同値変型だから、全てのk_4,k_5,k_6で 式(1)と式(2)が成立しなければならない。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/356
359: ◆pObFevaelafK [sage] 2025/07/27(日) 18:11:36.84 ID:fkyKGCZB >>357 >とりあえず論文の(1)式のg^2=(rk_4k_5k_6)^2がどんなk_4,k_5,k_6でも成り立つ理由を高木くんはどう考えているのか聞こうか k_4,k_5,k_6が互いに素という条件は、それで表される立体が、原始完全直方体になるということで、式(1)と式(2)が 成立しなければならないということになるのは、その条件で表される立体が完全直方体になるということだから。 >>358 論理的に導いているから、式(1)は成立するが、式(2)は成立しないだとか、その逆になる場合がないということになる。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/359
362: ◆pObFevaelafK [sage] 2025/07/27(日) 19:50:51.86 ID:fkyKGCZB >>360 数式だけの行の11行目の式から。 >>361 括弧のなかを読んでいなかった。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/362
364: ◆pObFevaelafK [sage] 2025/07/27(日) 20:31:15.98 ID:fkyKGCZB >>363 「全ての」と書いたのは間違いで、任意のが正しいのであり 式(1)を満たす任意のk_4,k_5,k_6に対して、式(2)が成立する と考えられる。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/364
367: ◆pObFevaelafK [sage] 2025/07/27(日) 21:39:58.99 ID:fkyKGCZB >>363 g=(m_4^2+n_4^2)k_4=(m_5^2+n_5^2)k_5=(m_6^2+n_6^2)k_6 を満たす任意のk_4,k_5,k_6に対して g^2=(rk_4k_5k_6)^2 が成立する。 >>366 差別語を書くな。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/367
369: ◆pObFevaelafK [sage] 2025/07/27(日) 21:52:28.34 ID:fkyKGCZB k_4,k_5,k_6の条件を追加して、完全直方体の証明を修正しました。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/369
370: ◆pObFevaelafK [sage] 2025/07/27(日) 21:53:54.71 ID:fkyKGCZB >>368 それは間違いだった。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/370
372: ◆pObFevaelafK [sage] 2025/07/27(日) 22:04:16.60 ID:fkyKGCZB >>371 364で >「全ての」と書いたのは間違いで、任意のが正しい と書いたのが間違い。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/372
374: ◆pObFevaelafK [sage] 2025/07/27(日) 22:14:53.81 ID:fkyKGCZB >>349 logの表記を修正しました。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/374
375: ◆pObFevaelafK [sage] 2025/07/27(日) 22:17:16.23 ID:fkyKGCZB >>373 元々k_4,k_5,k_6は互いに素であるとしているから。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/375
377: ◆pObFevaelafK [sage] 2025/07/27(日) 22:45:39.93 ID:fkyKGCZB >>376 375の条件は正確には、GCD(k_4,k_5,k_6)=1。 以前は、それぞれが互いに素としていたが、この定義を修正したので 式(2)(以前は式(1))の修正を行いました。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/377
379: ◆pObFevaelafK [sage] 2025/07/27(日) 23:01:33.11 ID:fkyKGCZB >>378 最新の証明では、式(2)は原始完全直方体のときに成立するので 原始完全直方体のときだけを考えればよいということになりました。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/379
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.136s*