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

高木くんがアクセプトされるまで見守るスレ ★10 (644ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

406: １３２人目の素数さん [sage] 2025/07/28(月) 13:06:57.69 ID:f3bZvVao

>>405
>>401
>We consider that a, b  and c have no common prime factors
が始めの式とやらと独立していないのは、過去のやり取りを踏まえた修正という観点から、「論理的に」明らかなんだわ

(アンカーを外して≫に直してます)
154 ◆pObFevaelafK  sage 2025/05/03(土) 17:21:28.24 ID:TwCyrJha
≫151
定義だけで、aが奇数であるとどこに書いているのか？
私が書いているのは、aとbが両方とも奇数(これは形容しているのであって定義ではない)
である場合に、a^2+b^2が平方数になることはない。よって、aを奇数、bを偶数と
しても一般性を失わないと書いている。ふざけるのはいい加減にしろ！

157 １３２人目の素数さん sage 2025/05/03(土) 17:27:50.81 ID:3ePdVW+O
≫154
≫156に真剣に向き合ってほしいんだけど、

>aとbが両方とも奇数…a^2+b^2が平方数になることはない。よって、aを奇数、bを偶数と
しても一般性を失わないと書いている。

a、bが両方とも偶数の場合、a^2+b^2は平方数になりうるので、aを奇数、bを偶数としてたら一般性は失うよ

159 ◆pObFevaelafK  sage 2025/05/03(土) 18:50:11.99 ID:TwCyrJha
≫157
なるほど、定義を書き忘れていたので修正します。

≫158
定義はそうかもしれないが、奇数だと考えることにするということで
修正すれば、何の問題もありません。

164 １３２人目の素数さん sage 2025/05/03(土) 19:45:20.66 ID:3ePdVW+O
≫159
>定義を書き忘れ
完全に付け足し定義論法をやってる自白じゃなーか

166 ◆pObFevaelafK  sage 2025/05/03(土) 20:08:42.71 ID:TwCyrJha
≫164
よく見てみると、GCD(a,b,c)=1は書いていたが、その位置が一般性を失わないという
文章よりも前になければならなかった。

http://rio2016.5ch.net/test/read.cgi/math/1753007638/406

432: １３２人目の素数さん [sage] 2025/07/28(月) 23:13:19.68 ID:f3bZvVao

>>426
>>55、そしてそこで言うところの始めに設定してある式、まさにその設定が書かれているmathlogです。

mathlogでは、始めに設定してある式とやらが次のように設定されます。

Let $a$, $b$, $c$, $d$, $e$, $f$ and $g$ be positive integers.

We consider that $a$, $b$and $c$ have no common prime factors and $a$, $b$ and $c$ are the edge lengths, $d$, $e$ and $f$ are the diagonal lengths and $g$ is the space diagonal length.

この文章では、a,b,cが互いに素であること、a,b,cが辺の長さ、d,e,fが面対角線の長さ、gが空間対角線線の長さであることが「一文」でひとまとめに述べられます。
considerは>>314によると定義ではないそうですが、それを信じると、この論文では辺やら対角線やらも定義されてないというおかしなことになっていますね。まぁ俺はガイジに優しいので、これは後で申し開きを聞きましょう。

さて式に使う変数の設定を使って、式が書かれます。
If a perfect cuboid exists, the following equations hold.\par $$a^2+b^2=d^2$$\par $$b^2+c^2=e^2$$\par $$c^2+a^2=f^2$$\par $$a^2+b^2+c^2=g^2$$\par

変数設定の段階で、a,b,cが互いに素であること、a,b,cが辺の長さ、d,e,fが面対角線の長さ、gが空間対角線線の長さであることが「一文」で述べられているのですから、これを完全直方体の式とみるなら、a,b,cが辺の長さ、d,e,fが面対角線の長さ、gが空間対角線線の長さであることに加えて、a,b,cが互いに素であることも、この式には含まれていますね

これは私の主観ではなく、実際このあとに続く文章を見ると
$a$ is odd and $b$ and $c$ are even because $a$, $b$ and $c$ are not all even and if two edges are odd, then the diagonal is not a square number.
というように明らかに始めに設定された式とやらのa,b,cが互いに素のものだとして扱っています。前の版では、a,b,cが互いに素の仮定がないために、この文章がつっこまれていましたね。

これらのことから、
≫55のいう完全直方体の必要条件という主張は、a,b,cが互いに素になることを含んだ設定になります。

https://i.imgur.com/fwFOtze.png

http://rio2016.5ch.net/test/read.cgi/math/1753007638/432

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

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

ぬこの手ぬこTOP 0.027s