- ベストアンサー
等式、不等式の証明の範囲から
高校数学IIからの質問です。 （１）『x+y／z ＝ y+z／x ＝ z+x／yのとき、この式の値を求めよ』という問題です。僕はx+y＝kz、y+z＝kx、z+x＝kyとおいて(k-2)(x+y+z)＝0という式を立てて、k＝２と答えたのですが、解答をみるとk＝2,-1となっていました。ｋ＝-1という答えはどのようにして導き出せるのでしょうか？ （２）『４ａ~2≧３ｂ(４ａ－３ｂ)を証明せよ。また等号成立の場合を調べよ』という問題です。僕は等号成立は“２ａ＝３ｂのとき”と答えたのですが、解答では“ａ＝３ｂ／２のとき”という書き方になっていました。どちらも同じだとは思うのですが、この問題に限らず、等号成立の場合を示す時は、どのような書き方がよいのでしょうか？ 以上宜しくお願いします。
- i-tad
- お礼率96% (676/701)
- 数学・算数
- 回答数2
- ありがとう数2
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
>(k-2)(x+y+z)＝0という式を立てて、k＝２と答えた この時点でおかしいというか、足りません。 (k-2)(x+y+z)=0 ⇒ k=2 or x+y=z=0 x+y+z=0の時、 x+y=-z (x+y)/zに代入すると式の値は-1 よって式の値kは2,-1 >どちらも同じだとは思う その通り、どちらも同じです。解答の表記方法も b=2a/3ではどうなのか？ 2a-3b=0ではどうか？ さすがに4a-6b=0では減点でしょうが、既約で簡単な 式に変形できていれば問題が特に指定していない限り どれも同じです。(例えばyがxを用いてどう表せるか？などの 指定です。そういう時はy=・・・の形がいいと思います)
その他の回答 (1)
- koko_u_
- ベストアンサー率18% (459/2509)
(1) について若干補足すると、x + y = kz, y + z = kx, z + x = ky から k = 2 を得た後、実際に x + y = 2z, y + z = 2x, z + x = 2y を満たす (x, y , z) が存在することにも言及する必要があるでしょう。 あるいは、連立方程式 x + y = kz, y + z = kx, z + x = ky が自明でない解を持つ場合を考えることに帰着させれば、対称な議論が可能です。
お礼
回答ありがとうございます。 大変参考になりました。 返信が遅れてすみませんでした。
関連するQ&A
- ｘ＋ｙ／ｚ ＝ｋ のときｋの値を求めよ。・・・という問です。
問； ｙ＋ｚ／x ＝z＋ｘ／ｙ ＝ｘ＋ｙ／ｚ ＝ｋ のときｋの値を求めよ。 ｜ ｙ＋ｚ＝ｋｘ ｜ ｚ＋ｘ＝ｋｙ ｜ ｘ＋ｙ＝ｋｚ ここから ２（ｘ＋ｙ＋ｚ）＝ｋ（ｘ＋ｙ＋ｚ） となり、両辺を(x＋y＋z)で割り、 ｋ＝２ ・・・となりました。 解答は、 ｋ＝２、－１ ‥となっています。 私は「２」だけしか求められませんでした。「－１」 も解答となる求め方を教えてください。 解説に 「ｘ＋ｙ＋ｚ＝０ となるので・・・」とあったのですが、この意味もわかりません。 両辺で割っているので・・・。 誰にも聞けない環境の為頭を抱えています。大変申し訳なく思いますが、ご回答をお願いいたします。
- ベストアンサー
- 数学・算数
- 不等式の等号成立の問題です
質問させていただきます 問．a≧b≧c、x≧y≧zのとき（a＋b＋c）（x＋y＋z）≦３（ax＋by＋cz） この問についてとき方は習ったとき二つあって、両方ともほぼわかったのですが、片方のとき方で等号成立の条件についてわからないところ有ります。 その解き方（一部省略しています）では、単純に右辺から左辺を引いて （a－b）（x－y）＋（b－c）（y－z）＋（a－c）（x－z）≧０ として、等号成立の条件として a-b=0またはx-y=0かつb-c=0またはy-z=0かつa-c=0またはx-y=0 ここまではわかったのですが、このあとにこれをまとめて a=b=cまたはx=y=z としていました。この最後のa=b=cまたはx=y=zへ、どうやったらこのようにまとめられるのかがわかりません。自分の考えでは、このようにまとめてしまうと等号の成立がa=b=cとx=y=zの二つしかなく、本来a-b=0かつy-z=0かつx-y=0やx-y=0かつb-c=0かつa-c=0のようにたくさんあるものを減らしているように思います。 お願いします。
- ベストアンサー
- 数学・算数
- 不等式
シュワルツの不等式を学校で扱ったとき、次の不等式が n = 1, 2, 3 のときには成り立つことに偶然気付きました。 n = 2 のときはシュワルツの不等式です。 ―――――――――――――――――――――――――― n を自然数とし、 ai, bi ≧ 0 (1 ≦ i ≦ n) のとき、 (a1^n + b1^n)*(a2^n + b2^n)* ... *(an^n + bn^n) ≧ (a1*a2* ... *an + b1*b2* ... *bn)^n が成立する。 ―――――――――――――――――――――――――― n = i, jのとき成立すれば、n = i*jのときも成立する ことも発見したので、成り立つ気がするのですが…。 そこで、この不等式が成立するか、成立するなら、 どのように証明できるかを教えてください。 ついでに、名前が付いていれば、教えてくれると嬉しいです。 < 追記 > 一応、n = 3のときの証明をしておきます。 (a^3 + x^3)(b^3 + y^3)(c^3 + z^3) - (abc + xyz)^3 = (a^3 b^3 c^3 + a^3 b^3 z^3 + a^3 y^3 c^3 + a^3 y^3 z^3 + x^3 b^3 c^3 + x^3 b^3 z^3 + x^3 y^3 c^3 + x^3 y^3 z^3) - (a^3 b^3 c^3 + 3a^2 b^2 c^2 xyz + 3abcx^2 y^2 z^2) = (a^3 b^3 z^3 + a^3 c^3 y^3 + b^3 c^3 x^3 - 3a^2 b^2 c^2 xyz) + (a^3 y^3 z^3 + b^3 x^3 z^3 + c^3 x^3 y^3 - 3abcx^2 y^2 z^2) ≧ 0 (∵ a, b, c, x, y, z > 0, 相加相乗平均の関係) 等号成立条件は、 １ : abz = acy = bcx ２ : ayz = bxz = cxy １より、 bz = cy, ay = bx ∴ b : c = y : z, a : b = x : y ∴ a : b : c = x : y : z このとき、２も成立する。
- ベストアンサー
- 数学・算数
- 不等式の証明
x>0,y>0,z>0,√x+√y+√z=1のとき、次の式を証明せよ。 (x^2+yz)/√{2x^2(y+z)}+(y^2+zx)/√{2y^2(z+x)}+(z^2+xy)/√{2z^2(x+y)}>=1 考えたのは、次のようなことです。 (1) a=√x,b=√y,c=√zとおいて、a+b+c=1、与不等式も、a,b,cの式に置き換えてみた。 次数が大きくなるだけで、見やすくはなっていないように思った。 (2) 相加相乗平均から分母√{2x^2(y+z)}=<(2x^2+y+z)/2=x^2+(y+z)/2 よって、(x^2+yz)/√{2x^2(y+z)}>=(x^2+yz)/{x^2+(y+z)/2} 他の２つの項も同様にして、 (x^2+yz)/{x^2+(y+z)/2}+(y^2+zx)/{y^2+(z+x)/2}+(z^2+xy)/{z^2+(x+y)/2}>=1 を示せばよいと思いました。 どうやって、右辺の１に持って行くかで、２つ考えました。 ア．(x^2+yz)/{x^2+(y+z)/2}>=1/3を示して、残り２項との和から右辺１に持って行く。 イ．(x^2+yz)/{x^2+(y+z)/2}>=√x/{□+□+□} なる式を考えて、残り２項との和から示す。 ウ．(x^2+yz)/{x^2+(y+z)/2}=1+{(yz-(y+z)/2}/{x^2+(y+z)/2}として考える。 (3) コーシー・シュワルツが使えないかも考えたが、どんな式に持って行けばよいのか、わからず。 よろしくアドバイスをお願いします。
- 締切済み
- 数学・算数
- 不等式の証明
a,b,cは実数、a+b>=c のとき、a^3+b^3+3abc>=c^3を示せ。 問題を見た瞬間は簡単に解けるのかと思いましたが、そうでもないのか。 つぎのような解答を考えましたが、これでいいのかというのが1つ。 あとは、もっと簡単にできるというのが1つ。この２つをよろしくお願いします。 (1)c=0のとき、a+b>=0のとき、a^3+b^3>=0をしめせばよい。 a=0の 場合、b>=0のとき、b^3>=0をしめすことになるが、これは明らか。 a>0の場合、1+b/a>=0のとき、1+(b/a)^3>=0をしめすことになる。 これは1+x>=0のとき、1+x^3>=0を示すことになるが、y=x^3+1のグラフから、x=>-1 でy>=0 より成り立つ。a<0のときは、b>=0なならなければならないから、同様。 (2)c>0のとき、a/c+b/c>=1のとき、(a/c)^3+(b/c)^3+3(a/c)(b/c)>=1を示すことになる。 これは、x+y>=1のとき、x^3+y^3+3xy>=1を示すことになる。 ここで、x+y=kとおいて、y=k-xを代入して、左辺は、3(k-1)x^2-3k(k-1)x+k^3から 3(k-1)(x-k/2)^2+k^2(k+3)/4となり、k>=1からk^2(k+3)/4>=1だから、(左辺)>=1となる。 (3)c<0のときも(2)と同様に考える。
- ベストアンサー
- 数学・算数
- 等式・不等式の証明
a>0,b>0のとき、次の不等式を証明せよ。 また、等号が成り立つ場合を調べよ。 〔解〕 (a + 1/b)(b + 1/a)≧4 (a + 1/b)(b + 1/a)=2+ab+(1/ab) a>0,b>0 より ab>0,1/ab>0 よって 2+ab+(1/ab)≧2+2√ab×1/ab ＝2+2 ＝4 ゆえに(a + 1/b)(b + 1/a)≧4 等号が成り立つのは、ab=1/ab より ab=1 のとき 上に問題と模範解答を写したのですが、 「等号が成り立つのは、ab=1/ab より ab=1 のとき」の部分がわかりません。 ab=1/ab はどこから出てきたのですか？
- 締切済み
- 数学・算数
- 数学の不等式の証明
数学の不等式の証明に関する質問です。 (問題) 次の不等式を証明せよ。ただし、文字はすべて実数を表す。 (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)と等しくなります。 けどこれではちゃんとした解答と言えるのかがわかりません。 証明の切り口を教えていただけないでしょうか？
- 締切済み
- 数学・算数
お礼
回答ありがとうございます。返信が遅れてすみません。 大変参考になりました。