No.1ベストアンサー
- 回答日時:
(与式)=x^2+2(y-2)x+5y^2-8y+5
=x^2+2(y-2)x+(y-2)^2-(y-2)^2+5y^2-8y+5
={x+(y-2)}^2-(y^2-4y+4)+5y^2-8y+5
=(x+y-2)^2+4y^2-4y+1
=(x+y-2)^2+(2y-1)^2
よって、実数の平方の話で表されるので、(与式)≧0が成り立つ。
等号成立はx+y+2=0かつ2y-1=0より
x=3/2, y=1/2
細かい計算は違うかもしれませんが、文字二つが複雑に絡み合った
不等式の証明は、このようにして平方の話にするのが基本です。
ご回答ありがとうございます。
(与式)=x^2+2(y-2)x+5y^2-8y+5
=x^2+2(y-2)x+(y-2)^2-(y-2)^2+5y^2-8y+5
のあたり(特に2(y-2)xのあたり)の式変形の運び方が私には思い付きかねるのですが、何か良い方法はないのでしょうか?
与式を見た感じでは、(ax+by+c)^2など、様々な、与式から予想される平方の和の形が存在すると考えると、なかなか(ax+by+c)^2+(dy+e)^2の形を思い付くのが難しいです。
お礼文中に申し訳ないですが、良い方法があれば教えて下さい。
No.8
- 回答日時:
全く以て申し訳ないことにまだチョンボがありました。
> (1) ∀y∃x (f(x,y) ≧0)である。
> (3-1) ∃y (D(y) ≦ 0)
ではダメで、 正しくは
(1) ∀y∃x (f(x,y) >0)である。
(3-1) ∃y (D(y) < 0)
です。証明は同じ。
No.7
- 回答日時:
shroederさん< おぼれ…ぶくぶくぶく…
~なんて、全然。偏微分を多少ともご存じならすぐにピンと来るはずですけど、2変数関数だと思うからおかしくなるんですよ。
yを固定して考えれば1変数。つまり、y軸に垂直な面で切った断面で考えるんです。で、yの値を幾らに固定しても(つまりどこで切っても)「重解もしくは解なし」ならば問題は解決って訳です。
~~~~~~~~~~~~~~~~~~~~~~
さて、実はNo.5にはチョンボがあります。
> (1) ∃x∃y (f(x,y) ≧0)である。
では駄目で、
(1) ∀y∃x (f(x,y) ≧0)である。
を示す必要があります。いや勿論、簡単です。
証明:x=0として
f(0,y)=5y^2 -8y +5
これは判別式=((-4)^2)-5×5 < 0
ですから、f(0,y)はいつでも符号は同じで、f(0,0)≧0。だから
∀y f(0,y)≧0
によって、(1)が証明されました。
以上、訂正です。
No.6
- 回答日時:
stomachmanさん、技におぼれましたね。
2変数の関数が重解であるというのは意味をなさないでしょう
たとえば x^2+y^3 の場合 (0,0)は重解ですか?
この場合は他の人の解答の方が普通でしょう。
どんな方法でやっても変数を1つ減らせば、残りは完全平方
になるように問題が選んであります。
線形代数の2次形式の対角化からとって来た問題でしょう。
No.5
- 回答日時:
どうも本筋でない話になってるんじゃ?
式の変形のテクニックやアイデアなど全く無用の、機械的に処理できる何でもない問題ですよ。
f(x,y)=x^2 + 2xy + 5y^2 -8y -4x +5
と書くことにすれば、
(*) ∀x∀y (f(x,y) ≧0)
を示すには
(1) ∃x∃y (f(x,y) ≧0)である。
(2) xについての方程式(つまりyを定数だと思えばよいのです。)
f(x,y)=0
が、yがどんな値であっても実数解を持たないか、持っても重解である。
この(1)(2)を示せば良い訳です。まず(1)ですが、これは(*) が成り立つのならx,yに何をいれても負になるはずですから、(x,y)=(0,0)としてみると
f(0,0) = 5 ≧0
これで(1)が証明されました。
さて(2)は言い換えればxについての判別式D(y)
D(y)=(y-2)^2-(5y^2 -8y +5)
=-4y^2+4y-1
が、どんなyについても正にならないこと
(3) ∀y(D(y) ≦ 0)
を証明すればよい。これまた
(3-1) ∃y (D(y) ≦ 0)
(3-2) 方程式
D(y)=0
が解を持たないか、持っても重解である。
この(3-1)(3-2)を示せば良い。まず(3-1)は
D(0) = -1 ≦ 0
です。次に(3-2)は、言い換えれば判別式が正にならないことを示せばよい。実際やってみると
判別式=(2^2)-(-4)(-1)=4-4=0
以上から、(3-1)(3-2)が証明されたので、(3)が証明された。つまり(2)が示された。
(1)(2)が証明できたから、(*)の証明はおしまいです。
No.4
- 回答日時:
すでに回答はあるので補足です。
No1 のお礼で
>(特に2(y-2)xのあたり)の式変形の運び方が私には思い付きかねるのですが、
>何か良い方法はないのでしょうか?
とありますが、sketch さんの回答はまずxを変数yを定数と見て
xについての2次式として平方完成を行なっています。
そのあとで、yについても平方完成を行なっているわけです。
今の場合先にxを変数としてみたほうがやりやすいですが
あえてyを先にやると
x^2 + 2xy + 5y^2 - 8y - 4x + 5
=5y^2 +2(x-4)y + x^2 -4x +5
=5{y+(x-4)/5}^2 + (4x^2 - 12x + 9)/5
=5{y+(x-4)/5}^2 + 4/5*(x-3/2)^2
のようになります。
最後の形は異なりますが、どちらを先にやっても証明できています。
No.3
- 回答日時:
懐かしいですねー。
僕も頭がさび付いてしまっていそうだったので
暇潰しに解いてみました。
もうsketchさんが解かれてしまったので回答はいらなそうですが、
式の変形が思いつかないということでちょっとしたアドバイス。
平方の和に持っていくというのは式を見たときに予測がつくと思いますので
あとは変形なのですが
僕の場合
x^2 + 2xy + 5y^2 - 8y - 4x + 5
= (x+y)^2 + 4y^2 - 8y - 4x + 5
= (x+y)^2 -4(x+y) -4y + 4y^2 + 5
= (x+y)^2 -4(x+y) + 4y^2 -4y + 5
= (x+y)^2 -4(x+y) +(2y-1)^2 + 4
= (x+y)^2 -4(x+y) + 4 + (2y-1)^2
= (x+y-2)^2 + (2y-1) ^2
という経過を経ました。
とりあえず(x+y)^2はすぐに出てきますよね。
あとは(x+y) = a と考えて
(a+b)^2の形に持っていけるように無理やり(x + y)を作ってやると
a^2 -4a -4y + 4y^2 + 5
になるので、(a^2 -4a +定数1)と(4y^2 -4y +定数2)が
(定数1)+(定数2) = 5をみたしつつそれぞれ平方の形になるように考えてやればよいと気付くでしょうから
(a^2 -4a +定数1) -> (a -2)^2
(4y^2 -4y +定数2)-> (2y -1)^2
で上手くいきますね。
あとはaに x+y を戻してやれば出来上がりです。
なるほど、確かにそう考えると(x+y-2)^2+(2y-1)^2にたどり着けますね。
わかり易く説明して頂いて、嬉しくおもいます。
ありがとうございます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の証明問題で、「証明終了」...
-
素数の性質
-
数学の「証明」のときなどの接...
-
幽霊が存在していないことを証...
-
ゴールドバッハ予想について考...
-
実息とは?
-
夫が亡くなった後の義理家族と...
-
ゴールドバッハ予想はナンセン...
-
親の再婚相手との問題です。私...
-
証明終了の記号。
-
無理数って二乗しても有理数に...
-
rot rotA=grad divA-∇^2Aの証明...
-
婿養子に入ったのに出て行けと...
-
一生彼女が出来ない証明
-
(4^n)-1が3の倍数であることの...
-
3,4,7,8を使って10を作る
-
図形の証明なので出てくる「対...
-
「証明証」と「証明書」はどう...
-
大学の給付型奨学金について 現...
-
正の整数a.b.cが a^2+b^2=c^2を...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
婿養子です、妻と離婚して妻の...
-
√2が無理数であることの証明で...
-
証明終了の記号。
-
素数の性質
-
婿養子に入ったのに出て行けと...
-
3,4,7,8を使って10を作る
-
無理数って二乗しても有理数に...
-
(4^n)-1が3の倍数であることの...
-
素数の積に1を加算すると素数で...
-
素数の平方根は無理数である。
-
親の再婚相手との問題です。私...
-
「証明証」と「証明書」はどう...
-
下の問題では漸化式の形から≠0...
-
47歳、母親の再婚を子供の立場...
-
ぶすですか?
-
直角三角形の性質
おすすめ情報