求教证明函数单调性

baixinbs

遇到一个实际的问题，需要证明下面函数在区间(2*cos(Pi/5), 2)上单调。

下面给出了mathmatica画的函数图像，看起来是单调的，但我没法给出严格证明。

如果能给我一些关于证明复杂函数单调性的思路，我也非常感谢。

baixinbs

希望有数学分析学的好的同学能帮个忙。多谢。