>>415
微分もいいけど、相加・相乗もいいよ。
4cosθ＋（a-1)/cosθ ≧4√(a-1)
等号成立は　4cosθ=（a-1)/cosθ を満たすθが存在　⇔　0<(cosθ)^2=(a-1)/4≦1
上の等号が成り立たないときは　cosθ=1 のとき最小となる。

＞　は１＜a≦5で4√(a-1)
＞　a＞5でa+3でいいんですか？
OK