式と証明

コーシー・シュワルツの不等式

不等式の証明と応用

式と証明の「コーシー・シュワルツの不等式」を、答えを先に押さえてから理解できる形に整理したページです。「不等式の証明と応用」でつまずきやすい点も含めて、学習の流れを短く確認できます。

数学Ⅱ 約13分 難易度 2

このページのまとめ

先に押さえておくこと

コーシー・シュワルツの不等式の要点をまとめたページです。先に答えを確認してから、解き方とつまずきやすい点を順にたどれます。

答えの要点

不等式の証明と応用の答えと条件を先に確認できます。

  • テーマ: 不等式の証明と応用
  • ポイント: 式と証明の基礎を短く確認しやすく、検索から入ってもそのまま理解まで進めやすい記事です。
  • 次に読むなら: 関連ページ、またはアプリで類題演習

問題

(1)(1)\quad 実数 a,  b,  c,  da,\;b,\;c,\;d に対して、(a2+b2)(c2+d2)(ac+bd)2(a^2+b^2)(c^2+d^2) \geqq (ac+bd)^2 が成り立つことを証明せよ。また、等号成立条件を求めよ。

(2)(2)\quad x2+y2=1x^2+y^2=1 のとき、3x+4y3x+4y の最大値と最小値を求めよ。

答えを見る

(1)(1)
(左辺)(右辺)(左辺)-(右辺)
=(a2+b2)(c2+d2)(ac+bd)2=(a^2+b^2)(c^2+d^2)-(ac+bd)^2
=a2c2+a2d2+b2c2+b2d2a2c22abcdb2d2=a^2c^2+a^2d^2+b^2c^2+b^2d^2-a^2c^2-2abcd-b^2d^2
=a2d22abcd+b2c2=a^2d^2-2abcd+b^2c^2
=(adbc)20=(ad-bc)^2 \geqq 0

よって (a2+b2)(c2+d2)(ac+bd)2\underline{(a^2+b^2)(c^2+d^2) \geqq (ac+bd)^2} が成り立つ。

等号成立は adbc=0ad-bc=0、すなわち ad=bc\underline{ad=bc} のとき。

c0,  d0c \neq 0,\;d \neq 0 のとき ac=bd\dfrac{a}{c}=\dfrac{b}{d}

(2)(2)

コーシー・シュワルツの不等式より

(x2+y2)(32+42)(3x+4y)2(x^2+y^2)(3^2+4^2) \geqq (3x+4y)^2
1×25(3x+4y)21 \times 25 \geqq (3x+4y)^2
(3x+4y)225(3x+4y)^2 \leqq 25
53x+4y5-5 \leqq 3x+4y \leqq 5

よって、最大値 5\underline{5}、最小値 5\underline{-5}

解説

コーシー・シュワルツの不等式について解説します。

コーシー・シュワルツの不等式って何ですか?名前が難しそうで怖いです...

名前は難しそうだけど、証明は意外とシンプルだよ!

しかも使い方を知っていると、最大・最小の問題がすごく楽に解けるようになるんだ。

まずは公式を確認しましょう。

この不等式はどうやって証明するんですか?

不等式の証明の基本は「(左辺)(右辺)0(左辺)-(右辺) \geqq 0 を示す」ことだったよね。

展開して整理すると、きれいに2乗の形が出てくるんだ!

それでは問題を解いていきましょう。

(1)(1)\quad 実数 a,  b,  c,  da,\;b,\;c,\;d に対して、(a2+b2)(c2+d2)(ac+bd)2(a^2+b^2)(c^2+d^2) \geqq (ac+bd)^2 が成り立つことを証明せよ。また、等号成立条件を求めよ。

(左辺)(右辺)0(左辺)-(右辺) \geqq 0」を示す方法でやっていこう。まず左辺と右辺をそれぞれ展開してみよう。

左辺を展開します。

(左辺)=(a2+b2)(c2+d2)(左辺)=(a^2+b^2)(c^2+d^2)
=a2c2+a2d2+b2c2+b2d2=a^2c^2+a^2d^2+b^2c^2+b^2d^2

右辺を展開します。

(右辺)=(ac+bd)2(右辺)=(ac+bd)^2
=a2c2+2abcd+b2d2=a^2c^2+2abcd+b^2d^2

(左辺)(右辺)(左辺)-(右辺) を計算します。

(左辺)(右辺)(左辺)-(右辺)
=a2c2+a2d2+b2c2+b2d2(a2c2+2abcd+b2d2)=a^2c^2+a^2d^2+b^2c^2+b^2d^2-(a^2c^2+2abcd+b^2d^2)
=a2d22abcd+b2c2=a^2d^2-2abcd+b^2c^2
=(adbc)2=(ad-bc)^2

おお!a2d22abcd+b2c2a^2d^2-2abcd+b^2c^2(adbc)2(ad-bc)^2 に因数分解できるんですね!

その通り! A22AB+B2=(AB)2A^2-2AB+B^2=(A-B)^2 の形だね。

2乗は必ず 00 以上だから、これで証明完了だよ。

(adbc)20(ad-bc)^2 \geqq 0 は常に成り立つので、

(a2+b2)(c2+d2)(ac+bd)2(a^2+b^2)(c^2+d^2) \geqq (ac+bd)^2 が証明できました。

等号が成立するのは (adbc)2=0(ad-bc)^2=0、つまり ad=bcad=bc のときです。

c0,  d0c \neq 0,\;d \neq 0 の場合は ac=bd\dfrac{a}{c}=\dfrac{b}{d} と表すこともできます。

証明自体は「展開して差を取ると2乗の形になる」というシンプルなものだったね。

次はこの不等式を使って最大値・最小値を求める問題に挑戦してみよう!

(2)(2)\quad x2+y2=1x^2+y^2=1 のとき、3x+4y3x+4y の最大値と最小値を求めよ。

条件が x2+y2=1x^2+y^2=1 で、求めたいものが 3x+4y3x+4y ですか...

どうやってコーシー・シュワルツの不等式を使うんですか?

コーシー・シュワルツの不等式 (a2+b2)(c2+d2)(ac+bd)2(a^2+b^2)(c^2+d^2) \geqq (ac+bd)^2 の形をよく見てみよう。

a=x,  b=y,  c=3,  d=4a=x,\;b=y,\;c=3,\;d=4 と対応させるとどうなるかな?

あ!(x2+y2)(32+42)(3x+4y)2(x^2+y^2)(3^2+4^2) \geqq (3x+4y)^2 になりますね!

完璧!x2+y2=1x^2+y^2=1 を代入すれば (3x+4y)2(3x+4y)^2 の上限が求まるよ。

コーシー・シュワルツの不等式に a=x,  b=y,  c=3,  d=4a=x,\;b=y,\;c=3,\;d=4 を代入すると、

(x2+y2)(32+42)(3x+4y)2(x^2+y^2)(3^2+4^2) \geqq (3x+4y)^2

ここで x2+y2=1x^2+y^2=1 を代入します。

1×25(3x+4y)21 \times 25 \geqq (3x+4y)^2
(3x+4y)225(3x+4y)^2 \leqq 25

(3x+4y)225(3x+4y)^2 \leqq 25 より、53x+4y5-5 \leqq 3x+4y \leqq 5 が得られます。

等号成立条件を確認しましょう。ad=bcad=bc より 4x=3y4x=3y、つまり y=43xy=\dfrac{4}{3}x です。

x2+y2=1x^2+y^2=1 に代入すると、x2+169x2=1x^2+\dfrac{16}{9}x^2=1 より x2=925x^2=\dfrac{9}{25} です。

x=35,  y=45x=\dfrac{3}{5},\;y=\dfrac{4}{5} のとき 3x+4y=53x+4y=5(最大値)

x=35,  y=45x=-\dfrac{3}{5},\;y=-\dfrac{4}{5} のとき 3x+4y=53x+4y=-5(最小値)

よって、最大値は 5\underline{5}、最小値は 5\underline{-5} です。

すごい!条件に「x2+y2=x^2+y^2=\cdots」があって、求めるものが「ax+byax+by」の形なら使えるんですね!

その通り!コーシー・シュワルツの不等式は「2乗の和」と「1次式」が関わる問題で威力を発揮するんだ。

等号成立の確認も忘れないようにしよう!

このページのまとめ

ここではコーシー・シュワルツの不等式について学習しました。

証明は「差を取って2乗の形を作る」というシンプルな方法で、不等式の証明の典型的なパターンです。

x2+y2=kx^2+y^2=k のもとで ax+byax+by の最大・最小を求めよ」という問題で非常に有効なので、ぜひマスターしてくださいね!

アプリで続ける

この問題の「よくある質問」や「解法の鍵」は、アプリで読めます。

この問題に関するよくある疑問への回答や、解法のポイントをまとめた「解法の鍵」はアプリに収録しています。 類題演習やAIへの質問もアプリから使えます。コーシー・シュワルツの不等式 に近い内容をそのまま続けられます。

よくある質問 解法の鍵 類題演習 AIに質問

ストアからダウンロードして、同じ単元の演習やAI質問をそのまま続けられます。