原文:杨志明:一道三角函数不等式的简证