• ベストアンサー

不等式の証明

例によって、近所の高校生からの質問が発端。先ず、問題を書きます。 実数c (0<c<1) と実数:x、y、a、bの間に |x-a|<c、|y-b|<c という関係があるとき、|xy-ab|<c*(c+|a|+|b|)を証明せよ。 この問題は、段階式設問になっており、(1)で三角不等式(つまり、|x+y|≦|x|+|y|)を証明させた後に この設問になっているから、それに乗れば この問題自体は簡単。 しかし、三角不等式が与えてられてなかったら、どのように解くか? aとbで場合わけをするのは面倒そうだし、という事でなにか良い方法がないだろうか? 検討をお願いします。

質問者が選んだベストアンサー

  • ベストアンサー
  • hrsmmhr
  • ベストアンサー率36% (173/477)
回答No.2

普通にx=a+x_a,y=b+x_bにして xy-ab=x_a*x_b+a*x_a+b*x_b<c^2+ac+bc=c(c+a+b)<=c(c+|a|+|b|) にするべきでした

mister_moonlight
質問者

お礼

回答、ありがとうございます。 なるほど、極座標は考えなかったです。いい方法ですね、納得です。<m(__)m>

その他の回答 (1)

  • hrsmmhr
  • ベストアンサー率36% (173/477)
回答No.1

点(x,y)を点(a,b)を中心とする極座標にします(x,y)=(ccosθ+a,csinθ+b) xy-ab=c^2cosθsinθ+accosθ+bcsinθ=c(ccosθsinθ+acosθ+bsinθ) <=c(ccosθsinθ+|a|cosθ+|b|sinθ)<c(c+|a|+|b|)

関連するQ&A

  • 不等式の証明

    a,b,cが実数のとき、 |ab(a^2-b^2)+bc(b^2-c^2)+ca(c^2-a^2)|=<M(a~2+b^2+c^2)^2を満たす最小のMの 値を求めよ。 |ab(a^2-b^2)+bc(b^2-c^2)+ca(c^2-a^2)|/(a^2+b^2+c^2)^2 の最大値を求めれば よいのかと思いました。 a>=b>=cで考える。 分母・分子をa^4で割る。 b/a=x,c/a=yとおくと |(1-x)(1-y)(x-y)(x+y+1)|/(1+x^2+y^2)^2 この最大値を考えようとしましたが、挫折しました。 よろしくお願いします。 一般的に変数が2個のときは、不等式の証明はそう難しくないと思うのですが、 3個になったときは、どのように考えていくといいのか・・・。いつも行き当たりばったり の証明で、先を見通した証明ができず、挫折してしまいます。

  • 不等式の証明

    実数a>0,b>0,c>0のとき、、 a/√(a^2+8bc)+b/√(b^2+8ac)+c/√(c^2+8ab)>=1 を示せ。 1/√(1+8*b/a*c/a)+1/√(1+8*a/b*c/b)+1/√(1+8*a/c*b/c)>=1 を示すことになる。 b/a=x,c/b=y,a/c=zとおくと、xyz=1。 1/√(1+8x/z)+1/√(1+8y/x)+1/√(1+8z/y)>=1 このあと、z=1/xyとして、zを消去して、不等式の左辺のxを固定して、yで微分して、 最小値をもとめ、次にxで微分して、最小値を求める。という流れが頭の中では考えられるのですが 計算を始めると、分けが分からなくなります。 この種の3つの文字がある場合の不等式は、良いアイデアが思い浮かばないと証明できないことが 多いと思いますが、1文字消去で、固定して微分するという方法は計算が進めば、どんな場合でも使えると思います。 この問題の場合、この方針でいったい解けるのでしょうか。それだけでもわかれば、力が沸きもう一度やってみようという気持ちになります。よろしくお願いします。

  • 【不等式の証明】

    (1)x=y=zのとき、不等式 xy^2-x^2y+yz^2-y^2z+zx^2-z^2x>0 が成り立つことの証明 (2)1<a<b<cのとき、不等式 loga(c/b)+logb(a/c)+logc(b/a)>0 が成り立つことの証明 答えがなくて困ってます(><) 解ける方がいらっしゃいましたら、 解説お願いします。

  • 等式の証明

    0でない実数a、b、x、yが、ax=yかつby=xを満たしている時、次の等式が成り立つことを示せ。 {x/(a+1)}+{y/(b+1)}=x^2+y^2/x+y という問題です。(a+1)x=(b+1)yが成立するというのを証明してみた所で、止まってしまいました。 この後、どのように証明したら良いのか、教えてください。

  • 不等式の証明

    不等式の証明の問題で、 絶対値が1より小さい4つの実数a,b,c,dに対して、次の不等式が成り立つことを示せ。というものがありました。(1),(2)と2問あって (1)はa+b<1+abの証明でした。 これは(右辺)-(左辺)をして(a-1)(b-1)>0となり、証明できました。 (2)は(1)を利用して示せ。となっており (2)はa+b+c+d<3+abcdの証明でした。 (1)よりa+b<1+abなのでc+d<1+cd 辺々加えてa+b+c+d<2+ab+cd ここまではできたのですが、ここからどうやって右辺を3+abcdに するのかどうしてもわかりません。 答えにはa+b+c+d<2+ab+cd            <2+(1+abcd)            <3+abcd と書かれていたのですがどうしても    <2+ab+cd          ↓    <2+(1+abcd) が分かりません。教えてください!            

  • 三角不等式を使った絶対値の不等式の証明

    x、yともに実数のとき、|x|-|y|≦|x+y|  この不等式を三角不等式を使い証明しろという問題があるんですが、やり方がいまいちよくわかりません。どなたか分かりやすく説明してくれる方いませんか?

  • 不等式の証明

    実数 a,b が不等式 |a|<1<b を満たすとき、 -1<(ab+1)/(a+b)<1 が成立することを証明せよ。 この問題がわかりません。 証明の仕方を教えてください。 よろしくお願いします!

  • 数学の不等式の証明

    数学の不等式の証明に関する質問です。 (問題) 次の不等式を証明せよ。ただし、文字はすべて実数を表す。 (1)√a^2+b^2+c^2*√x^2+y^2+z^2≧|ax+by+cz| (2)10(2a^2+3b^2+5c^2)≧(2a+3b+5c)^2 (1)は式を2乗し、差をとって変形して証明できました。 (2)は(1)の式を利用することまでは分かるのですが、どうやって式を利用して証明すればよいか分かりません。 (1)の2乗した式にa=√2a,b=√3b,c=√5c,x=√2,y=√3,z=√5を代入すると、(2)と等しくなります。 けどこれではちゃんとした解答と言えるのかがわかりません。 証明の切り口を教えていただけないでしょうか?

  • 等式の証明

    (1)a+b+c+d=0のとき、次の等式が成り立つことを証明せよ。  a³+b³+c³+d³=3(a+d)(b+d)(c+d) (2)1/x+1/y+1/z=1/x+y+.zのとき、x+y、y+z、z+xのうち少なくとも一つは0に等しいことを証明せよ。 (3)x/2y+z=y/2z+x=z/2x+yのとき、この式の値と、その時の実数x、y、zの条件を求めよ。 という三題です。途中式までお願いします。

  • 不等式の証明(やや発展)

    お世話になっております。 a,b,cは実数、a+b+c=0であるとき、不等式 (|a|+|b|+|c|)^2≧2(a^2+b^2+c^2) を証明せよ。また、等号が成立つときはどのようなときか。 という証明問題について質問です。証明自体はそれほど難しくは無いのかな、と思ってますが…。 a^2+b^2+c^2=(a+b+c)^2-2(ab+bc+ca)=0-2(ab+bc+ac)と出来ますから、 左辺-右辺=-{(a+b+c)^2-2ab-2bc-2ca}+2(|ab|+|bc|+|ca|)=2{(|ab|+ab)+(|bc|+bc)+(|ca|+ca)}…(1) 常に、|ab|≧-abであるから、|ab|+ab≧0、(bc、caについても同様)であるから、(1)≧0。与えられた不等式は成立つ。 ここで質問。等号成立条件が分かりません。不等式の証明より、|ab|=-ab(bc、caも同様)が成立つ時だと思うのですが略解によると、 a、b、cの少なくとも一つが0であるときなのだそうです。何故でしょう…。  a,b,cのうち少なくとも一つが0 ちゅうことは、a=0またはb=0またはc=0 ということになろうかと思います。ということは、更にabc=0 という式も言えるハズです。しかし、当方の不等式の証明の仕方が不適切なのか、abc=0 を導く根拠が見当たりません。