高校に入学して数学を学習していく中で、中学校数学との大きな違いは、不等式の扱い
だろう。中学校では、昔に比べ不等式の扱いは軽視される傾向にあるので、高校で、巧妙
な不等式の使い回しに直面すると、意外に戸惑ってしまう生徒が多い。
まずは、軽い準備運動から。
問題 ４つの実数 ａ、ｂ、ｃ、ｄ に対して、ａ＋ｂ＋ｃ＋ｄ＝４ が成り立つとき、少なく
とも一つは １ 以上であることを示せ。
（解） すべてが １ より小さい、すなわち、ａ ＜１、ｂ ＜１、ｃ ＜１、ｄ ＜１ と仮定すると、
ａ ＋ ｂ ＋ ｃ ＋ ｄ ＜４ となるが、これは、条件に矛盾する。
よって、少なくとも一つは １ 以上である。 （終）
（コメント） 以前、東京女子大学の入試問題に同様の問題が出題された。背理法で考える
ことは、ごく自然な発想だろう。
それでは、次の問題はどうだろうか？
問題 すべてが ０ でない ｎ 個の実数 ａ1 ≦ ａ2 ≦・・・≦ ａｎ が、
ａ1＋ ａ2＋ ａ3 ＋・・・ ＋ ａｎ ＝ ０
を満たすとき、 ａ1＋ ２ａ2＋ ３ａ3 ＋ ・・・ ＋ ｎａｎ＞０ が成り立つことを示せ。
上の問題で、 「 ａ1 、 ａ2 、・・・ が十分小さかったら、言えない場合があるのでは？」と思
ってしまうが、ａ1＋ ａ2＋ ａ3 ＋・・・ ＋ ａｎ ＝ ０ という条件が意外に厳しく、「そんなことはな
く、必ず成り立つ！」ことが次のようにして示される。
（解） ａ1 ≦ ａ2 ≦・・・≦ ａｎ かつ ａ1＋ ａ2＋ ａ3 ＋・・・ ＋ ａｎ ＝ ０ が成り立つので、
ある数 ｋ （ ２≦ ｋ ≦ ｎ ）が存在して、
ａ1 ＜０ 、 ａ1 ≦ ａ2 ≦・・・≦ ａｋ-1≦ ０ ＜ ａｋ≦・・・≦ ａｎ
そこで、 Ａｍ＝ａｍ＋ ａｍ+1 ＋・・・ ＋ ａｎ （ １≦ ｍ ≦ ｎ ） とおくと、
ａ1＋ ２ａ2＋ ３ａ3 ＋ ・・・ ＋ ｎａｎ ＝ Ａ1＋ Ａ2＋ Ａ3＋・・・＋ Ａｎ
＝ Ａ2＋ Ａ3＋・・・＋ Ａｎ （← Ａ1＝０ ）
と書ける。
したがって、題意を示すためには、Ａｍ＞０ （ ２≦ ｍ ≦ ｎ ）を示せばよい。
２ ≦ ｍ ≦ ｋ－１ のとき、 Ａｍ＝－（ａ1＋ ａ2＋ ・・・ ＋ ａｍ-1）＞ ０
ｋ ≦ ｍ ≦ ｎ のとき、 Ａｍ＝ａｍ＋ ａｍ+1 ＋・・・ ＋ ａｎ＞ ０
以上から、 Ａｍ＞０ （ ２≦ ｍ ≦ ｎ ） が示された。
よって、 ａ1＋ ２ａ2＋ ３ａ3 ＋ ・・・ ＋ ｎａｎ＞０ が成り立つ。 （終）
（コメント） 上記の解の中で、「Ａｍ＝ａｍ＋ ａｍ+1 ＋・・・ ＋ ａｎ （ １≦ ｍ ≦ ｎ ）」を考える
ことがポイントになっている。
ａ1＋ ２ａ2＋ ３ａ3 ＋ ・・・ ＋ ｎａｎ ＝ａ1＋ ａ2＋ ａ3 ＋ ・・・ ＋ ａｎ
＋ ａ2＋ ａ3 ＋ ・・・ ＋ ａｎ
・・・・・・・・・・・・・
＋ ａｎ
という自然な発想が基本だろうが、アーベルの総和公式を用いても、自然に「Ａｍ」
が出現することが分かる。すなわち、
ａ1＋ ２ａ2＋ ３ａ3 ＋ ・・・ ＋ ｎａｎ
＝（ａ1＋ ａ2＋ ａ3 ＋ ・・・ ＋ ａｎ）ｎ
－ａ1
－ａ1－ ａ2
・・・・・・・・・・・
－ａ1－ ａ2－ ａ3 － ・・・ － ａｎ-1
＝Ａ2＋ Ａ3＋・・・＋ Ａｎ
である。この関係を用いて、上記と同様に不等式の成り立つことが示される。
次の問題も興味深い。
問題 ｎ 個の実数 ａ1 、ａ2 、・・・ 、ａｎ が、 ａ1＋ ａ2＋ ａ3 ＋・・・ ＋ ａｎ ＝ ｎ を
満たすとき、 ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2 ≧ ｎ が成り立つことを示せ。
上の問題も、 「 ａ1＋ ａ2＋ ａ3 ＋・・・ ＋ ａｎ ＝ ｎ 」が非常に厳しい条件で、和が ｎ だっ
たら、それぞれの平方の和は必ず、ｎ 以上でなければならないということを示している。
０ ≦ ａｋ ≦ １ に対しては、 ａｋ2 ≦ ａｋ が成り立つので、０ ≦ ａｋ ≦ １ を満たす数が
相当数含まれれば、「言えない場合があるのでは？」と思ってしまうが、「そんなことはなく、
必ず成り立つ！」ことが次のようにして示される。
（解） ｎ（ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2）－（ａ1＋ ａ2＋ ａ3 ＋・・・ ＋ ａｎ）2
＝（ｎ－１)( ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2）
－２（ａ1，ａ2，・・・，ａｎ の相異なる２項の積の和）
＝｛ （ａｍ－ ａｎ）2 (但し、ｍ≠ｎ) の和 ｝≧０
よって、
ｎ（ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2）≧（ａ1＋ ａ2＋ ａ3 ＋・・・ ＋ ａｎ）2
より、 ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2 ≧ ｎ が成り立つ。 （終）
（コメント） この問題を、数学的帰納法で証明しようとしたが、挫折してしまった！
また、シュワルツの不等式：
（ａ12＋ａ22＋・・・＋ａｎ2)(Ｘ12＋Ｘ22＋・・・＋Ｘｎ2）≧（ａ1Ｘ1＋ａ2Ｘ2＋ ・・・＋ａｎＸｎ）2
を知っていれば、Ｘ1＝Ｘ2＝・・・＝Ｘｎ＝１ として、直ちに上記の不等式は示される。
シュワルツの不等式は、
ベクトル α ＝（ａ1，ａ2，・・・，ａｎ）、β ＝（Ｘ1，Ｘ2，・・・，Ｘｎ） において、
内積 ： α ・ β ＝| α || β |ｃｏｓθ （ θ は、 α 、 β のなす角）を用いて、
| α || β |≧| α ・ β |
と表される。
（参考文献：田島 稔 著 田島の数学Ⅰ （旺文社））
シュワルツの不等式 （Σαｋ2）（Σβｋ2）≧（Σαｋβｋ）2 を示すには、
Ｌａｇｒａｎｇｅの恒等式 任意の実数αｋ、βｋに対して、
（Σαｋ2）（Σβｋ2）－（Σαｋβｋ）2＝Σ（αｊβｋ－αｋβｊ）2
等が用いられる。また、実数ｔについて、定符号の絶対不等式 | ｔα－β |2≧０ で判別
式を用いても簡単に示される。
Ｌａｇｒａｎｇｅの恒等式を証明する場合、行列式を用いて示すと見通しよく証明できる。
ａ＝（αｋ）、ｂ＝（βｋ）とすると、Ｌａｇｒａｎｇｅの恒等式は、
左辺＝ｄｅｔ（｛ａ・ａ ａ・ｂ｝，｛ｂ・ａ ｂ・ｂ｝）＝Σｄｅｔ（｛αｊ αｋ｝，｛βｊ βｋ｝）2＝右辺
と示される。
上記の解に対して、平成２１年８月３０日付けで、Ｈ．Ｉ．さんに次のような別解があることを
ご教示いただいた。Ｈ．Ｉ．さんに感謝します。（多少、文言等は修正させていただきました。）
（別解） ａ1、 ａ2、 ａ3、・・・、 ａｎ は実数なので、明らかに
（ａ1－１）2＋（ ａ2－１）2＋（ ａ3－１）2 ＋・・・ ＋（ ａｎ－１）2 ≧ ０
が成り立つ。 ここで、 ａ1＋ ａ2＋ ａ3 ＋・・・ ＋ ａｎ ＝ ｎ なので、
左辺＝ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2－２（ａ1＋ ａ2＋ ａ3 ＋・・・ ＋ ａｎ）＋ｎ
＝ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2－ｎ である。
よって、 ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2－ｎ≧０ から、
ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2 ≧ ｎ が成り立つ。 （終）
（コメント） （ａ1－１）2＋（ ａ2－１）2＋（ ａ3－１）2 ＋・・・ ＋（ ａｎ－１）2 ≧ ０ を思いつかれ
たことに感動しました。この不等式の存在で、以後の証明が全く自然で、その美
しさは計り知れないですね！
（追記） 平成２６年１１月３０日付け
イェンゼンの不等式のことを知っていれば、次のような別解も可能だろう。
（別解） Ｆ（ｘ）＝ｘ2 は下に凸の関数なので、イェンゼンの不等式より、
｛ｆ（ａ1）＋ｆ（ａ2）＋・・・＋ｆ（ａｎ）｝/ｎ≧ｆ（（ａ1＋ａ2＋・・・＋ａｎ）/ｎ）
すなわち、 （ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2）/ｎ≧（（ａ1＋ａ2＋・・・＋ａｎ）/ｎ）2
ａ1＋ ａ2＋ ａ3 ＋・・・ ＋ ａｎ＝ｎ より、（ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2）/ｎ≧１
よって、 ａ12＋ ａ22＋ ａ32 ＋ ・・・ ＋ ａｎ2 ≧ ｎ が成り立つ。 （終）
（追記） 平成２０年１２月２５日付け
上記の問題に関連して、次のような問題も興味深い。
問題 実数 ａ、ｂ、ｃ に対して、 ａ ＋ ｂ ＋ ｃ ＝ ２ 、 ａ2 ＋ ｂ2＋ ｃ2 ＝ ４
が成り立つとき、ａ の最大値を求めよ。
（解） ｂ ＋ ｃ ＝ ２ － ａ 、 ｂ2＋ ｃ2 ＝ ４ － ａ2 なので、シュワルツの不等式より、
（１2＋ １2）（ｂ2＋ ｃ2）≧（ｂ ＋ ｃ）2
よって、 ２（４ － ａ2）≧（２ － ａ）2 より、 ３ａ2 － ４ａ －４ ≦ ０
（３ａ－２）（ａ－２）≦０ を解いて、２/３≦ａ≦２ より、ａ の最大値は、２ （終）
（コメント） 上記のように、シュワルツの不等式を用いた解法は、変数の個数がいくつ
でも有効な方法である。
変数の個数が３個なので、次のような解法もあるが、その優劣は明らかだろう。
（別解） ｂ2＋ ｃ2 ＝ （ｂ ＋ ｃ）2 － ２ｂｃ ＝ ４ － ａ2 より、
２ｂｃ ＝ （２ － ａ）2 － ４ ＋ ａ2 ＝ ２ａ2 － ４ａ
すなわち、 ｂｃ ＝ ａ2 － ２ａ
このとき、 ｂ 、ｃ は、２次方程式
ｔ2－（２－ａ）ｔ＋ａ2－２ａ＝０
の実数解となる。よって、判別式をＤとすると、
Ｄ＝（２ － ａ）2－４（ａ2－２ａ）≧０
よって、 ３ａ2 － ４ａ －４ ≦ ０ から、 ２/３≦ａ≦２
したがって、 ａ の最大値は、２ （終）
（追々記） 一見して正しいかどうか判然としないが、意味が分かると正しいことが鮮やかに
理解できる次の不等式は皆さんもどこかでお目にかかっていることだろう。
問題 ａ≧ｂ＞０ 、Ｘ≧Ｙ＞０ のとき、 ａＸ＋ｂＹ≧ａＹ＋ｂＸ が成り立つことを示せ。
また、等号が成り立つのは、 ａ＝ｂ または Ｘ＝Ｙ のときに限ることを示せ。
＜図を用いた直感的説明＞ 下図をじっと見つめていると、不等式の意味が鮮やかに
理解できることでしょう。
この図を用いた証明をみたら、次のような代数的な証明は、とても味気なく感じられる。
（証明） （ａＸ＋ｂＹ）－（ａＹ＋ｂＸ）＝ａ（Ｘ－Ｙ）－ｂ（Ｘ－Ｙ）＝（ａ－ｂ）（Ｘ－Ｙ）≧０
等号成立は、ａ－ｂ＝０ または Ｘ－Ｙ＝０ のときに限る。
代数的な証明は、紛れがない確実な証明方法だが、いろいろな人を説得するには馴染ま
ないし、その不等式の真の意味が理解されたかどうかも分からない。図で示されると、「うん、
そうだね！」と心と身体が瞬時に合点してしまうところが、図の持つ魅力なのだろう。
なお、この不等式において、 ａ＝Ｘ 、ｂ＝Ｙ とおくと、
ａ2＋ｂ2≧２ａｂ
が得られる。これは、相加平均と相乗平均の関係式で、このことから、 ａＸ＋ｂＹ≧ａＹ＋ｂＸ
という不等式の、不等式の世界における位置づけが分かるのではないだろうか？
（参考文献： 西元教善 著
相加相乗平均の不等式を産み出す根源的不等式について （数研通信））
（追々々記） 平成１９年７月７日付け
今日は七夕。習い事の上達を願った行事も今ではすっかり商業イベントと化している。小
学校時代、笹の葉に願い事を書いた短冊をくくりつけたのが懐かしい。（閑話休題）
実数 ｘ、ｙ、ｚ に対して、不等式 ｘ2＋ｙ2＋ｚ2≧ｘｙ＋ｙｚ＋ｚｘ が成り立つことは、受
験問題集を紐解いた方なら誰でも１度はお目にかかっていると思う。
証明は易しいが、初めてその証明に触れる方には若干敷居が高いかもしれない。
２（ｘ2＋ｙ2＋ｚ2－ｘｙ－ｙｚ－ｚｘ）＝（ｘ－ｙ）2＋（ｙ－ｚ）2＋（ｚ－ｘ）2≧０ より、
ｘ2＋ｙ2＋ｚ2≧ｘｙ＋ｙｚ＋ｚｘ
が成り立つ。特に、上記の証明から明らかなように、等号が成り立つのは、ｘ＝ｙ＝ｚのとき
に限る。
最近、この有名な不等式の隙間を埋める式があることを知った。
実数 ｘ、ｙ、ｚ に対して、
前半の不等号は、シュワルツの不等式
（ａ2＋ｂ2＋ｃ2）（ｘ2＋ｙ2＋ｚ2）≧（ａｘ＋ｂｙ＋ｃｚ）2
から自明だろう。（ ａ＝ｂ＝ｃ＝１ とおけばよい。）
後半の不等号は、不等式 ｘ2＋ｙ2＋ｚ2≧ｘｙ＋ｙｚ＋ｚｘ そのものである。
上記の不等式の前半部分を書き直すと、
すなわち、
であるが、さらに、実数 ｘ、ｙ、ｚ を正の数に限定すると、
が成り立つので、結局、正の数 ｘ、ｙ、ｚ に対して
であることが分かる。
上記の推論の流れの中で、
という不等式は自明とは言えないだろう。
（証明） ３（ｘ3＋ｙ3＋ｚ3）－（ｘ2＋ｙ2＋ｚ2）（ｘ＋ｙ＋ｚ）
＝２ｘ3＋２ｙ3＋２ｚ3－ｘ2ｙ－ｘｙ2－ｙ2ｚ－ｙｚ2－ｚ2ｘ－ｚｘ2
＝（ｘ3－ｘ2ｙ－ｘｙ2＋ｙ3）＋（ｙ3－ｙ2ｚ－ｙｚ2＋ｚ3）＋（ｚ3－ｚ2ｘ－ｚｘ2＋ｘ3）
＝（ｘ－ｙ）（ｘ2－ｙ2）＋（ｙ－ｚ）（ｙ2－ｚ2）＋（ｚ－ｘ）（ｚ2－ｘ2）
＝（ｘ－ｙ）2（ｘ＋ｙ）＋（ｙ－ｚ）2（ｙ＋ｚ）＋（ｚ－ｘ）2（ｚ＋ｘ）≧０
より、不等式の成り立つことが示された。
等号が成立するのは、ｘ＝ｙ＝ｚ のときに限る。 （証終）
（追記） 平成２６年１１月３０日付け
上記の不等式
は、イェンゼンの不等式より自明であろうが、次のような示し方もある。
ｘ、ｙ、ｚ が正数のとき、 ９（ｘ3＋ｙ3＋ｚ3）≧（ｘ＋ｙ＋ｚ）3 が成り立つ。
（証明） シュワルツの不等式 （ａ2＋ｂ2＋ｃ2）（ｘ2＋ｙ2＋ｚ2）≧（ａｘ＋ｂｙ＋ｃｚ）2 で、
ａ＝ｂ＝ｃ＝１ とおけば、 ３（ｘ2＋ｙ2＋ｚ2）≧（ｘ＋ｙ＋ｚ）2
さらに、シュワルツの不等式 （ａ2＋ｂ2＋ｃ2）（ｘ2＋ｙ2＋ｚ2）≧（ａｘ＋ｂｙ＋ｃｚ）2 で、
ａ、ｂ、ｃ に、ｘ3/2、ｙ3/2、ｚ3/2 を代入、ｘ、ｙ、ｚ に、√ｘ、√ｙ、√ｚ を代入して、
（ｘ3＋ｙ3＋ｚ3）（ｘ＋ｙ＋ｚ）≧（ｘ2＋ｙ2＋ｚ2）2
よって、 （ｘ3＋ｙ3＋ｚ3）（ｘ＋ｙ＋ｚ）≧（ｘ＋ｙ＋ｚ）4/９ より、
９（ｘ3＋ｙ3＋ｚ3）≧（ｘ＋ｙ＋ｚ）3 （証終）
この不等式は、次のように一般化される。
正の数 ｘ、ｙ、ｚ と自然数 ｍ、ｎ に対して
証明は上記と同様である。
（証明） ３（ｘｍ＋ｎ＋ｙｍ＋ｎ＋ｚｍ＋ｎ）－（ｘｍ＋ｙｍ＋ｚｍ）（ｘｎ＋ｙｎ＋ｚｎ）
＝２ｘｍ＋ｎ＋２ｙｍ＋ｎ＋２ｚｍ＋ｎ－ｘｍｙｎ－ｘｎｙｍ－ｙｍｚｎ－ｙｎｚｍ－ｚｍｘｎ－ｚｎｘｍ
＝（ｘｍ＋ｎ－ｘｍｙｎ－ｘｎｙｍ＋ｙｍ＋ｎ）＋（ｙｍ＋ｎ－ｙｍｚｎ－ｙｎｚｍ＋ｚｍ＋ｎ）
＋（ｚｍ＋ｎ－ｚｍｘｎ－ｚｎｘｍ＋ｘｍ＋ｎ）
＝（ｘｎ－ｙｎ）（ｘｍ－ｙｍ）＋（ｙｎ－ｚｎ）（ｙｍ－ｚｍ）＋（ｚｎ－ｘｎ）（ｚｍ－ｘｍ）
ここで、証明すべき不等式は、 ｘ、ｙ、ｚ に対して対称なので、 ｘ≧ｙ≧ｚ としても
一般性を失わない。このとき、 ｘｍ≧ｙｍ≧ｚｍ 、ｘｎ≧ｙｎ≧ｚｎ なので、
（ｘｎ－ｙｎ）（ｘｍ－ｙｍ）＋（ｙｎ－ｚｎ）（ｙｍ－ｚｍ）＋（ｚｎ－ｘｎ）（ｚｍ－ｘｍ）≧０
より、不等式の成り立つことが示された。
等号が成立するのは、ｘ＝ｙ＝ｚ のときに限る。 （証終）
（コメント） 均整のとれた美しい不等式ですね！
上記で示した不等式： 正の数 ｘ、ｙ、ｚ に対して
を一般化すれば、
正の数 ｘ、ｙ、ｚ と自然数 ｎ に対して
となる。（←とても美しい不等式ですね！）
この事実は、関数 Ｆ（ｘ）＝ｘｎ （ｎ＞１）が凸関数であることを用いて示される。
まず、凸関数のことをまとめておこう。
関数 ｙ＝Ｆ（ｘ） が凸関数であるとは、そのグラフが凸図形のときをいう。直観的には、グ
ラフ上の任意の点で、その点を通る直線を引き、グラフがその直線の片方にのみあるよう
に出来る場合をいう。（→ 参照 ： 凸図形の基礎知識）
また、凸関数のグラフは次の性質を持つ。
グラフ上の任意の２点 Ａ、Ｂ を結ぶ線分ＡＢにおいて、線分ＡＢ上の任意の点 Ｐ はグラフ
上または上方（グラフ上または下方）にある。
放物線 ｙ＝ｘ2 や ｙ＝－ｘ2 のグラフをイメージすれば理解しやすいだろう。
ｙ＝ｘ2 は、下に凸な関数、ｙ＝－ｘ2 は、上に凸な関数である。
このことを不等式を用いて表せば以下のようになる。
ｙ＝Ｆ（ｘ） が下に凸な関数であるとき、
グラフ上の任意の２点 Ａ（ａ，Ｆ（ａ））、Ｂ（ｂ，Ｆ（ｂ）） と実数 ｔ （０≦ｔ≦１）に対して、
（１－ｔ）・Ｆ（ａ）＋ｔ・Ｆ（ａ）≧Ｆ（（１－ｔ）ａ＋ｔｂ）
が成り立つ。（上に凸な関数も同様で、この場合は不等号は逆向きになる。）
例 不等式 ｜ｘ＋ｙ｜≦｜ｘ｜＋｜ｙ｜ が成り立つことを示せ。
この不等式は通常は両辺の平方の差をとることにより示されるが、凸関数の性質を用い
れば、その意味が明らかとなる。
（証明） 関数 Ｆ（ｘ）＝｜ｘ｜は下に凸な関数なので、実数 ｔ （０≦ｔ≦１）に対して、
（１－ｔ）｜ｘ｜＋ｔ｜ｙ｜≧｜（１－ｔ）ｘ＋ｔｙ｜
ここで、 ｔ＝１/２ とすれば、明らかに、
｜ｘ｜＋｜ｙ｜≧｜ｘ＋ｙ｜が成り立つ。 （証終）
（コメント） 単なる代数の問題と思いきや関数の性質と密接に関係しているとは数学は奥
が深いですね。
上記では、凸関数のグラフ上の２点に関する不等式を示したが、３点の場合は次のよう
になる。（→ 参考 ： イェンゼンの不等式）
ｙ＝Ｆ（ｘ） が下に凸な関数であるとき、
グラフ上の任意の３点 Ａ（ａ，Ｆ（ａ））、Ｂ（ｂ，Ｆ（ｂ））、Ｂ（ｂ，Ｆ（ｂ）） に対して、
実数 ｐ、ｑ、ｒ が、 ｐ、ｑ、ｒ≧０ 、ｐ＋ｑ＋ｒ≠０ を満たすとき、
が成り立つ。
ｐ＋ｑ＝１、ｒ＝０ の場合が丁度２点の場合である。
証明は、下図
において、△ＡＢＣの内部および周上の点Ｐの座標が
（ただし、 ｐ、ｑ、ｒ≧０ 、ｐ＋ｑ＋ｒ≠０ ）
と表されることから明らかであろう。
この公式を用いれば、正の数 ｘ、ｙ、ｚ と自然数 ｎ に対して、関数 Ｆ（ｘ）＝ｘｎ は下に凸
な関数なので、
となることが容易に分かる。
さて、不等式 ｜ｘ＋ｙ｜≦｜ｘ｜＋｜ｙ｜ を用いた応用で、次の不等式は面白い。
ａ、ｂ が実数のとき、
この証明を代数的に処理するのは大変そうなので、やはり関数の性質のご厄介になった
方がよさそうだ。
（証明） 関数 Ｆ（ｘ）＝ｘ/（１＋ｘ） に対して、その導関数 Ｆ’（ｘ）＝１/（１＋ｘ）2＞０ なので
単調に増加する。 よって、 ｜ａ＋ｂ｜≦｜ａ｜＋｜ｂ｜ なので、
が成り立つ。
また、関数 Ｇ（ｘ）＝１/（１＋ｘ） に対して、その導関数 Ｇ’（ｘ）＝－１/（１＋ｘ）2＜０
なので単調に減少する。
よって、｜ａ｜≦｜ａ｜＋｜ｂ｜、｜ｂ｜≦｜ａ｜＋｜ｂ｜なので、
が成り立つ。 このとき、
なので、
が成り立つ。 （証終）
（コメント） 証明の方法がとても新鮮ですね！
当ＨＰがいつもお世話になっているＨＮ「よおすけ」さんからの出題です。
（平成２４年１月１６日付け）
問題 ｘ、ｙ、ｚ は正の実数で、ｘｙｚ＝４ のとき、
(ｘ＋ｙ＋ｚ)｛ｘ3/(ｘ＋ｙ）＋ｙ3/(ｙ＋ｚ)＋ｚ3/(ｚ＋ｘ)｝≧１８
を証明しなさい。
ｘｙｚ＝１ ならば、「Nesbitt の不等式」で紹介されている不等式の解法真似たらできるかも
しれませんが、ここの式には、ｘ3 があったり、ｘｙｚ＝４ だからどうやったらいいのか分からず
．．．。
ＦＮさんが証明されました。（平成２４年１月１７日付け）
「相加平均≧相乗平均」だけでできます。
（解） ｘ＋ｙ＋ｚ＝ｓ、ｘｙｚ＝ｔ とおく。
Ｐ＝ｘ3/(ｘ＋ｙ）＋ｙ3/(ｙ＋ｚ)＋ｚ3/(ｚ＋ｘ) とおくと、「相加平均≧相乗平均」より、
Ｐ≧３｛ｘ3ｙ3ｚ3/(ｘ＋ｙ）(ｙ＋ｚ)(ｚ＋ｘ)｝1/3＝３ｘｙｚ/｛(ｘ＋ｙ）(ｙ＋ｚ)(ｚ＋ｘ)｝1/3
＝３ｔ/｛(ｘ＋ｙ）(ｙ＋ｚ)(ｚ＋ｘ)｝1/3
再び、「相加平均≧相乗平均」より、
｛(ｘ＋ｙ）(ｙ＋ｚ)(ｚ＋ｘ)｝1/3≦｛(ｘ＋ｙ）＋(ｙ＋ｚ)＋(ｚ＋ｘ)｝/３＝２ｓ/３
逆数をとって、 １/｛(ｘ＋ｙ）(ｙ＋ｚ)(ｚ＋ｘ)｝1/3≦３/（２ｓ）
よって、 左辺＝ｓＰ≧ｓ・９ｔ/（２ｓ）＝９ｔ/２
ｔ＝４ なので、 左辺≧１８ （終）
（※） ｘｙｚ＝４ というのはちょっと変な設定ですね。ｘｙｚ＝１かｘｙｚ＝２でいいと思います。
よおすけさんからのコメントです。（平成２４年１月１７日付け）
FNさん、解答ありがとうございます。あの問題は、2007年ごろ当時高校1年生だった子が
運営していたサイトで紹介された自作問題の1つです。正解の場合は経験値１０を与える、
というものでした。現在はリンク切れか閉鎖のためサイトは消えてしまいました。作った本人
によると解くのに３日かかったとのことです。
よおすけさんからのコメントです。（平成２４年１月１７日付け）
FNさんの解答を見て、「Nesbitt の不等式」のページの解法の過程を見ていたら、次のよう
にできました。
（解） 「相加平均≧相乗平均」の関係より、
２（ｘ＋ｙ＋ｚ）＝(ｘ＋ｙ）＋(ｙ＋ｚ)＋(ｚ＋ｘ)≧３｛(ｘ＋ｙ）(ｙ＋ｚ)(ｚ＋ｘ)｝1/3
ｘ3/(ｘ＋ｙ）＋ｙ3/(ｙ＋ｚ)＋ｚ3/(ｚ＋ｘ)≧３ｘｙｚ/｛(ｘ＋ｙ）(ｙ＋ｚ)(ｚ＋ｘ)｝1/3
両辺をそれぞれかけて、
２（ｘ＋ｙ＋ｚ）｛ｘ3/(ｘ＋ｙ）＋ｙ3/(ｙ＋ｚ)＋ｚ3/(ｚ＋ｘ)｝≧９ｘｙｚ
なので、 （ｘ＋ｙ＋ｚ）｛ｘ3/(ｘ＋ｙ）＋ｙ3/(ｙ＋ｚ)＋ｚ3/(ｚ＋ｘ)｝≧（９/２）ｘｙｚ
よって、 ｘｙｚ＝４ を代入すると、
（ｘ＋ｙ＋ｚ）｛ｘ3/(ｘ＋ｙ）＋ｙ3/(ｙ＋ｚ)＋ｚ3/(ｚ＋ｘ)｝≧１８
等号成立は、ｘ＋ｙ＝ｙ＋ｚ＝ｚ＋ｘ すなわち、 ｘ＝ｙ＝ｚ のとき成り立つ。
ここでは、ｘ＝ｙ＝ｚ＝４1/3 （終）
ＦＮさんからのコメントです。（平成２４年１月１８日付け）
よおすけさんの解法の方が自然でいいですね。
ｘ＋ｙ＋ｚ というのは、(ｘ＋ｙ）＋(ｙ＋ｚ)＋(ｚ＋ｘ) の半分だったのですね。このことに気がつ
けば簡単ですが、気がつきませんでした。
(A＋B＋C)(ｘ3/A＋ｙ3/B＋ｚ3/C)≧９ｘｙｚ
と書いてみると、ほとんど明らかに見えます。コーシー・シュワルツの感じもしますが、「相加
平均≧相乗平均」の関係を２回の方がいいようです。
どうでもいいことですが、ｘｙｚ＝４ という条件が謎です。ｘｙｚ＝１ か ２ とするか、右辺が、
（９/２）ｘｙｚ の式のままかが普通でしょう。あるいは、ｘ＋ｙ＋ｚ＝１ のときをつけて左辺を
もう少し見やすくするか．．．。