191(1): デフォルトの名無しさん [] 2024/04/01(月) 20:16:04.58 ID:ige+71d6(1) AAS
スウ学をプログラミングするのは、簡単そうぢゃーーーん
だって、乱数発生させて、厨二病が喜びそうな単語を
羅列すれば、完成だもんね。多分。ていうかさ、

全ての証明問題は、
【ゲーデルの不完全性定理により証明不可能　Q.E.D】
ってプログラミングするだけしさ、これだな。

395(1): デフォルトの名無しさん [] 2024/04/17(水) 08:38:41.15 ID:Rqxu+zgK(8/10) AAS
P(x)は実数係数多項式で、∀x∈R, P(x) ≥ 0が成り立つとする。

P(x)の次数は偶数。
∵ 奇数なら、x → ±∞ どちらかの極限が-∞になるから。

deg(P(x)) = 2dとする
d = 0のとき、P(x)は非負の定数Cなので、P(x) = √C^2と書ける。

2(d-1)以下の偶数次のR係数多項式では、
∀x∈R, Q(x) ≥ 0 ⇒ Q = f_1^2 + ... + f_n^2と書ける
が成立すると仮定する

{P(x)|x∈R}は下に有界
十分大きなr > 0を取れば、|x| > rでのP(x)の値は、[-r, r]でのP(x)の値よりも大きくできる。
よって、P(x)は最小値m > 0を持つ。

P(x) = mとなるxをx_0
F(x) = P(x) - mとおく
F(x)はF(x_0) = 0で、x = x_0で極小値をとるから、あるQ(x)が存在して
F(x) = (x - x_0)^2 Q(x)
となる。

Q(x) = F(x)/(x - x_0)^2は、次数2(d-1)以下でつねに非負だから、仮定より
Q(x) = f_1(x)^2 + ... + f_n(x)^2
と書ける。

よって、
P(x) = (f_1(x)(x - x_0))^2 + ... + (f_n(x)(x - x_0)^2 + √m^2
と書ける。

396(1): デフォルトの名無しさん [] 2024/04/17(水) 08:39:47.33 ID:Rqxu+zgK(9/10) AAS
多変数では同様のことは成り立つのかな？

340(7): デフォルトの名無しさん [sage] 2024/04/16(火) 16:09:15.10 ID:X3z51ZSN(1) AAS
>>337,339
そんなことより、これを大学数学初年度の回答レベルで解いてみてよ
画像ﾘﾝｸ

はユーチューブの拾い物なだけだから
動画ﾘﾝｸ[YouTube]

(そこでは別解がなされてる)

>>398
Lean4で回答してくれても良いよ

---

553: デフォルトの名無しさん [sage] 2024/06/13(木) 13:13:57.73 ID:8J2MNSgx(1) AAS
>>552

552(1): あぼーん [あぼーん] AAS
あぼーん

995(1): デフォルトの名無しさん [sage] 2025/02/19(水) 16:11:56.64 ID:8rlYEoii(4/7) AAS
>>993
自分のニーズに技術が追いついていないのだから、不満が生じるのは当たり前