✨ ベストアンサー ✨
順を追って説明します。
f(a)=0より、
f(x)のグラフとx軸の交点3つのうち、どれか1つを表しています。
「グラフを使うんやなあ、(2)の誘導やな」 と判断しましょう。
(5/9)π が何者かわからないので、知っている角で、大体の範囲を絞ります。
(π/2)<(5/9)π<(2/3)π …①
各辺をcosの値に変換します。
このとき、cosが減少関数となっていることに注意します。
質問者さんのおっしゃるとおり、 0≦x≦π で減少しますが、
①の範囲に含まれていないところは、カットしています。
ここは 「符号変化に注意!」 と教えてくれているわけです。
証明問題では、こういった細かな作業も明確に記述した方が良い、ということですかね(知らんけど)
cos(2π/3)<cos(5π/9)<cos(π/2) より、
-(1/2)<a<0 …②
②から x=a=cos(5π/9) がどの点を表しているのかがわかります。
さて、ここでようやく -(1/5)<a<-(1/6) を考えていくわけです。
まず、 -(1/5) も -(1/6) も ②の範囲に含まれていることを確認します。
f{-(1/5)}=17/125>0
f{-(1/6)}=-(1/27)<0
f(x)のグラフの増減から、命題は成り立ちます。
なるほど!ありがとうございます。f(x)の解と結び付けられていませんでした。難しいけど頑張ります。
グラフは適当に書いています