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...
Use convergence of x(n) smaller than epsilon/2 and use triangle inequality. This proof still requires some precision, so be careful. The idea of a Cauchy sequence is important is because it helps characterize completeness. If a sequence being cauchy implies it being convergent, the metric spa...
This paper provides the elementary proof of geometry average arithmetic average inequality,which can advance the use of the inequality significantly and can express its value through some applications. 给出几何平均算术平均不等式的初等证明,这样就可使此不等式的使用大为提前,通过一些实例体现此不等式的使...