三角関数の不等式
今回は、普段なかなか目にすることのない三角関数を含んだ不等式を解説していきます。イェンゼンの不等式、AM-GM、基本的な三角関数の知識があれば解くことができます。それでは、よろしくお願いします。
問題
A+B+C=π のとき、以下が成り立つことを示せ。 sinAcosBcosC+sinBcosCcosA+sinCcosAcosB≤3√38
三角関数の問題はできることがかなり多いです。
解説
step1では、二通りの解法を紹介します。step1-1.評価しやすい形への変形1
まず、tanA+tanB+tanC=tanAtanBtanC が成り立つことを示す。
tanA=−tan(π−A)=−tan(B+C)=−tanB+tanC1−tanBtanC 両辺に (1−tanBtanC) をかけて整理することで、以下を得る。 tanA+tanB+tanC=tanAtanBtanC ⋯(1) (1) の両辺に cosAcosBcosC をかけることで目的の式を得る。 sinAcosBcosC+sinBcosCcosA+sinCcosAcosB=sinAsinBsinC
step1-2.評価しやすい形への変形2
sin(A+B+C) を加法定理により計算すると、 sin(A+B+C)=sinAcosBcosC+sinBcosCcosA+sinCcosAcosB−sinAsinBsinC⋯(2) を得る。一方で、A+B+C=π であるから、sinA+B+C=0 である。よって、(2) にこれを代入して以下を得る。 sinAcosBcosC+sinBcosCcosA+sinCcosAcosB=sinAsinBsinC
step2.不等式として処理をする
相加相乗平均の不等式より、 sinA+sinB+sinC3≥3√sinAsinBsinC を得る。両辺を三乗すると, (sinA+sinB+sinC3)3≥sinAsinBsinC を得る。等号成立は、A=B=C=π3 である。sinX は 0<X<π で上に凸だからイェンゼンの不等式より、 (3sinA+B+C33)3≥(sinA+sinB+sinC3)3 が成立する。これを整理すると、 3√38≥(sinA+sinB+sinC3)3≥sinAsinBsinC=∑cycsinAcosBcosC を得る。このとき、全ての不等号について等号成立条件は A=B=C=π3 で一致しているため題意は示された。
まとめ
・三角関数では加法定理や積和・和積の公式が有効なことがあります。
・a+b+c=abc という条件が与えられたときに、x+y+z=π なる x, y, z を用いて a=tanx, b=tany, c=tanz と置換することが多いです。
・イェンゼンの不等式はとても強力です。特に、三角関数でなくても有効なことがあります。