高木くんがアクセプトされるまで見守るスレ ★10 (796ﾚｽ)
上下前次1-新
347(2): １３２人目の素数さん [sage] 07/27(日)15:40 ID:ot77wZ1Y(2/16)
>>346
>>141は
k_4,k_5,k_6が2倍になってたら
vは奇数でなくとも良いよね…※
(1)(2)を比較したらvは偶数になる…✝
※と✝に矛盾はない
vの符号がk_4,k_5,k_6に応じて変わるだけとしか
348(1): １３２人目の素数さん [sage] 07/27(日)15:45 ID:ot77wZ1Y(3/16)
>>347
>>346
vの符号がk_4,k_5,k_6に応じて変わる
>式(1)と式(2)が等しくならなければならない
は矛盾しない。念の為
vがk_4,k_5,k_6に応じて変わるだけなので、式(1)と式(2)が等しくなるを満たしながら変われば矛盾しない
349(1): ◆pObFevaelafK [age] 07/27(日)16:31 ID:fkyKGCZB(4/19)
Another definitive proof of Goldbach conjecture
https://mathlog.info/articles/HkvrTN0O7vORvkjQ9b1O
ゴールドバッハ予想の証明を公開しました。
350(1): ◆pObFevaelafK [sage] 07/27(日)16:38 ID:fkyKGCZB(5/19)
>>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でも成立しなければならない。
351(1): １３２人目の素数さん [sage] 07/27(日)16:55 ID:DzoBYGky(1/2)
>>350
m_4,n_4,w,k_4,m_5,n_5,-x,k_5,4m_6,n_6,v,k_6がそれぞれk_4,k_5,ｋ_6に応じて変わるんだから、>>350を満たしたところで矛盾しないわな
352(1): ◆pObFevaelafK [sage] 07/27(日)17:00 ID:fkyKGCZB(6/19)
>>351
k_4,k_5,k_6が整数倍になるとは限りません。
353(1): １３２人目の素数さん [sage] 07/27(日)17:06 ID:DzoBYGky(2/2)
>>352
整数倍に限らないとすると、どうなるんだ？
354(1): ◆pObFevaelafK [sage] 07/27(日)17:09 ID:fkyKGCZB(7/19)
>>353
係数が全て0になる。
355(1): １３２人目の素数さん [sage] 07/27(日)17:17 ID:THtFr1Yy(1)
>>354
0になる必要なくね？k_4 ,k_5,k_6が整数倍されてなくても
((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を満たすように
((4m_4n_4)^2-w)、
((2(m_5^2-n_5^2))^2-x)、
((4m_6n_6)^2-v)
が変化すればいいだけなんから
356(1): ◆pObFevaelafK [sage] 07/27(日)17:22 ID:fkyKGCZB(8/19)
>>355
式(1)から式(2)を出したのは、同値変型だから、全てのk_4,k_5,k_6で
式(1)と式(2)が成立しなければならない。
357(1): １３２人目の素数さん [sage] 07/27(日)17:44 ID:ot77wZ1Y(4/16)
>>356
論文の(1)式のg^2=(rk_4k_5ｋ_6)^2の関係はk_4,k_5,k_6が互いに素(a,b,cが互いに素から)から導出されてるから、全てのk_4k_5ｋ_6でも成り立つというわけではないよ
とりあえず論文の(1)式のg^2=(rk_4k_5ｋ_6)^2がどんなk_4,k_5,k_6でも成り立つ理由を高木くんはどう考えているのか聞こうか
358(2): １３２人目の素数さん [sage] 07/27(日)17:58 ID:ot77wZ1Y(5/16)
あと同値変形って一体何だ(高木以外向けへの質問)
変形の途中でちょくちょく、sは奇数とする、tは偶数とする、…とか挟みながら変形するのは同値変形の字面からするとすごく怪しいのだが
359(2): ◆pObFevaelafK [sage] 07/27(日)18:11 ID:fkyKGCZB(9/19)
>>357
＞とりあえず論文の(1)式のg^2=(rk_4k_5ｋ_6)^2がどんなk_4,k_5,k_6でも成り立つ理由を高木くんはどう考えているのか聞こうか
k_4,k_5,k_6が互いに素という条件は、それで表される立体が、原始完全直方体になるということで、式(1)と式(2)が
成立しなければならないということになるのは、その条件で表される立体が完全直方体になるということだから。
>>358
論理的に導いているから、式(1)は成立するが、式(2)は成立しないだとか、その逆になる場合がないということになる。
360(1): １３２人目の素数さん [sage] 07/27(日)19:30 ID:ot77wZ1Y(6/16)
>>359
どんなk_4,k_5,ｋ_6でも
gがk_4,k_5,ｋ_6を約数にもつ理由は？
約数にもたないとしないと論文の(1)式のg^2=(rk_4k_5ｋ_6)^2
が成り立たない
361(1): １３２人目の素数さん [sage] 07/27(日)19:31 ID:ot77wZ1Y(7/16)
>>359
高木くんに>>358は聞いてない。
362(1): ◆pObFevaelafK [sage] 07/27(日)19:50 ID:fkyKGCZB(10/19)
>>360
数式だけの行の11行目の式から。
>>361
括弧のなかを読んでいなかった。
363(2): １３２人目の素数さん [sage] 07/27(日)20:20 ID:ot77wZ1Y(8/16)
>>362
11行目ってどれよ
>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_4k_5k_6でg^2=(rk_4k_5ｋ_6)^2は導けない
364(2): ◆pObFevaelafK [sage] 07/27(日)20:31 ID:fkyKGCZB(11/19)
>>363
「全ての」と書いたのは間違いで、任意のが正しいのであり
式(1)を満たす任意のk_4,k_5,k_6に対して、式(2)が成立する
と考えられる。
365(1): １３２人目の素数さん [sage] 07/27(日)21:22 ID:ot77wZ1Y(9/16)
>>364
任意と全て、一緒の意味(∀)だから
366(1): １３２人目の素数さん [sage] 07/27(日)21:26 ID:ot77wZ1Y(10/16)
>>364
>>365
全てとか任意とかの言葉を学ぶ気配も全くないガイジ
https://mathlog.info/articles/BwUIdWQfn2LrrMySi08s
のコメント欄参照
全く成長していない
上下前次1-新書関写板覧索設栞歴
あと 430 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s