This paper discussed the automated proving for a class of triangle geometric inequalities with only trigonometric functions. Without new radicals, it firstly transformed the original inequality to a two-variable polynomial one using algebraic method firstly. And then it implemented an algorithm based on...