高木くんがアクセプトされるまで見守るスレ ★10 (650ﾚｽ)
高木くんがアクセプトされるまで見守るスレ ★10 http://rio2016.5ch.net/test/read.cgi/math/1753007638/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
501: １３２人目の素数さん [sage] 2025/07/30(水) 23:01:30.68 ID:s5Il96Rf >>498 >>500 論理式でその初期条件とか条件を外すとかがどう表現されるのか全く検討がつかない 論理式で書けない代物なってるようしか見えない 書いた本人である高木くんが論理式に直せないなら、もうそれは諦めることをお勧めする そして論理式を書く手がかりなれば良いが、証明支援系使って書いたほうが書き手読み手共の精神衛生上いい フリーソフトで転がってる代物はいくつかある https://note.com/morikita/n/nf45b6e44964f http://rio2016.5ch.net/test/read.cgi/math/1753007638/501
502: １３２人目の素数さん [sage] 2025/07/30(水) 23:02:45.95 ID:s5Il96Rf >>501 >>498 >>500 訂正ね 論理式では書けない代物になってるようにしか見えない http://rio2016.5ch.net/test/read.cgi/math/1753007638/502
505: ◆pObFevaelafK [sage] 2025/07/31(木) 03:09:17.93 ID:ZlLsdSeG >>501 始めの7式が、完全直方体が存在するための必要十分条件で、この条件を 満たすときに、a,b,cが互いに素だというのが、その完全直方体が原始 完全直方体だということ。a,b,cが互い素という条件を満たすときの a,b,c,gの値をa_1,b_1,c_1,g_1とすると、それを整数m倍したma_1,mb_1,m_c1 の3辺で構成される立体は、始めの7式を満たすので完全直方体になる。 例えば、(ma_1)^2+(mb_1)^2+(mc_1)^2=(mg_1)^2が成立する。 g^2の式は、k_4,k_5,k_6(a,b,c)が互いに素であるときにしか成立しないが、右辺 の括弧の中の式をGCD(k_4,k_5,k_6)^2で割るように変更すると、互いに素でない 場合にも式が成立するようになる。a,b,cが互いに素であるという場合に、変数の 偶奇を決定することができる。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/505
509: １３２人目の素数さん [sage] 2025/07/31(木) 08:13:42.67 ID:Ta0z0UNM >>508 >>501 うわー間違えた、論理式じゃなくて論理記号だ http://rio2016.5ch.net/test/read.cgi/math/1753007638/509
511: １３２人目の素数さん [sage] 2025/07/31(木) 10:31:30.78 ID:Ta0z0UNM >>510 無理だってば >>501で論理記号を論理式と言い間違えたが 論理記号でその初期条件とか条件を外すとかがどう表現されるのか全く検討がつかない 論理記号で書けない代物になってるようにしか見えない http://rio2016.5ch.net/test/read.cgi/math/1753007638/511
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.026s