まず、与えられた不等式を整理します。
sin23θ−sin3θsinθ+sin2θ≥43 4sin23θ−4sin3θsinθ+4sin2θ≥3 4sin23θ−4sin3θsinθ+4sin2θ−3≥0 三角関数の積和の公式と2倍角の公式を使い、式を整理します。
4sin23θ−4sin3θsinθ+4sin2θ−3=(2sin3θ−sinθ)2+3sin2θ−3 =(2sin3θ−sinθ)2+3(sin2θ−1) =(2sin3θ−sinθ)2−3cos2θ ここで、2sin3θ−sinθ を計算します。 sin3θ=3sinθ−4sin3θ であるから、 2sin3θ−sinθ=2(3sinθ−4sin3θ)−sinθ=6sinθ−8sin3θ−sinθ=5sinθ−8sin3θ したがって、
(2sin3θ−sinθ)2−3cos2θ=(5sinθ−8sin3θ)2−3(1−sin2θ)≥0 しかし、この方法では式が複雑になりすぎるため、別の方法を試します。
sin23θ−sin3θsinθ+sin2θ≥43 sin23θ−sin3θsinθ+sin2θ−43≥0 sin23θ−sin3θsinθ+sin2θ=21−cos6θ−2cos(3θ−θ)−cos(3θ+θ)+21−cos2θ =21−cos6θ−2cos2θ−cos4θ+21−cos2θ=1−2cos6θ+2cos2θ−cos4θ 1−2cos6θ+2cos2θ−cos4θ≥43 41≥2cos6θ+2cos2θ−cos4θ 21≥cos6θ+2cos2θ−cos4θ cos6θ−cos4θ+2cos2θ≤21 −2sin5θsinθ+2cos2θ≤21 sin5θsinθ−cos2θ≥−41 この式も複雑になるので、別の見方を探します。
平方完成を試みる。
sin23θ−sin3θsinθ+sin2θ≥43 (sin3θ−21sinθ)2+sin2θ−41sin2θ≥43 (sin3θ−21sinθ)2+43sin2θ≥43 (sin3θ−21sinθ)2≥43−43sin2θ=43cos2θ ∣sin3θ−21sinθ∣≥23∣cosθ∣ ここで、θ=2π を代入すると、 ∣sin23π−21sin2π∣=∣−1−21∣=23, 23∣cos2π∣=0 したがって、23≥0 となり、これは不等式を満たします。 θ=6π の場合、 ∣sin2π−21sin6π∣=∣1−21⋅21∣=43, 23∣cos6π∣=23⋅23=43 43≥43. 等号が成立する。
sin3θ−21sinθ=±23cosθ sin23θ−sin3θsinθ+sin2θ≥43 sin3θ=sinθ であるとき、0≤θ≤π より 3θ=θ または 3θ=π−θ θ=0 または θ=4π sin20−sin0sin0+sin20=0≥43 は不成立 sin243π−sin43πsin4π+sin24π=(21)2−(21)(21)+(21)2=21−21+21=21≥43 は不成立 θ=2π. sin223π−sin23πsin2π+sin22π=1−(−1)(1)+1=3≥43