高木くんがアクセプトされるまで見守るスレ ★10 (678ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
501(4): １３２人目の素数さん [sage] 2025/07/30(水) 23:01:30.68 ID:s5Il96Rf(4/7) AAS
>>498
>>500
論理式でその初期条件とか条件を外すとかがどう表現されるのか全く検討がつかない
論理式で書けない代物なってるようしか見えない
書いた本人である高木くんが論理式に直せないなら、もうそれは諦めることをお勧めする
そして論理式を書く手がかりなれば良いが、証明支援系使って書いたほうが書き手読み手共の精神衛生上いい
フリーソフトで転がってる代物はいくつかある
https://note.com/morikita/n/nf45b6e44964f
502: １３２人目の素数さん [sage] 2025/07/30(水) 23:02:45.95 ID:s5Il96Rf(5/7) AAS
>>501
>>498
>>500
訂正ね
論理式では書けない代物になってるようにしか見えない
505(4): ◆pObFevaelafK [sage] 2025/07/31(木) 03:09:17.93 ID:ZlLsdSeG(1/15) AAS
>>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が互いに素であるという場合に、変数の
偶奇を決定することができる。
509: １３２人目の素数さん [sage] 2025/07/31(木) 08:13:42.67 ID:Ta0z0UNM(2/11) AAS
>>508
>>501
うわー間違えた、論理式じゃなくて論理記号だ
511(1): １３２人目の素数さん [sage] 2025/07/31(木) 10:31:30.78 ID:Ta0z0UNM(3/11) AAS
>>510
無理だってば
>>501で論理記号を論理式と言い間違えたが
論理記号でその初期条件とか条件を外すとかがどう表現されるのか全く検討がつかない
論理記号で書けない代物になってるようにしか見えない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s