[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
340(7): デフォルトの名無しさん [sage] 2024/04/16(火) 16:09:15.10 ID:X3z51ZSN(1) AAS
>>337,339
そんなことより、これを大学数学初年度の回答レベルで解いてみてよ
https://i.ytimg.com/vi/gt5VVmztpak/hqdefault.jpg
341: デフォルトの名無しさん [sage] 2024/04/16(火) 16:13:56.69 ID:Ng40HiX6(1/5) AAS
>>340
スレタイ読めよ
343: デフォルトの名無しさん [] 2024/04/16(火) 17:31:21.11 ID:gwwVz7LD(1) AAS
>>340
明らかに成り立たないし、そもそもnが定義されていなかったり問題として成り立ってない
347: デフォルトの名無しさん [sage] 2024/04/16(火) 18:54:49.14 ID:usMdjojl(1) AAS
>>345,346
そんなことより>>340の題意は伝わってるようだね
成立してるよ
381(2): デフォルトの名無しさん [] 2024/04/17(水) 05:56:42.90 ID:Rqxu+zgK(1/10) AAS
>>340
P(x) = x^2
f_1(x) = 0
[∀x∈R, P(x) ≥ 0]∧[P(x) ≠ (f_1(x))^2]
？
383(1): デフォルトの名無しさん [sage] 2024/04/17(水) 06:25:43.54 ID:ivCgW6Mo(2/3) AAS
前提
Pは任意の実係数多項式で∀x∈R, P(x) ≥ 0を満たすもの
示すべき事
この時、ある自然数nと実係数多項式f_k(x)、k=1..nが存在して
>>340の等式を満たすことが出来る
385: デフォルトの名無しさん [] 2024/04/17(水) 06:41:39.48 ID:Rqxu+zgK(2/10) AAS
>>383と>>340が数学の主張として異なるということが理解できないということ？
400: デフォルトの名無しさん [sage] 2024/04/17(水) 09:19:11.73 ID:nP2I5Wyb(1) AAS
>>395
100点(最小値mは≧0なのはお目こぼしとして)
演習で板書すると100点でも理解度を確かめるために既知として良い所も
訊かれた経験あるかも知れないけど、例えば、この部分を噛み砕いて見てよ
>F(x)はF(x_0) = 0で、x = x_0で極小値をとるから、あるQ(x)が存在して
>F(x) = (x - x_0)^2 Q(x)
>となる。
(他にも最小値の存在を暗黙裡にしたらツッコミどころだった)
>>396
そこまでは知らない、>>340はユーチューブの拾い物なだけだから
https://youtu.be/gt5VVmztpak
(そこでは別解がなされてる)
>>398
Lean4で回答してくれても良いよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s