In this paper is considered one method for proving of a class of trigonometric inequalities. Analysis of application of method on some results from theory of analytic inequalities was performed, as well as connection with known automatic theorem provers such as MetiTarski (L.C.Paulson).