自动证明数学定理是人工智能的一个初衷，也是一直以来的难题。这是近半个世纪计算机科学家创造的，用来检验数学证明的一种工具。如今看来，计算机可以被用来验证数学证明，但它们只有在使用专门设计的证明语言时才能做到这一点，而无法处理数学符号和数学家使用的书面文本的混合体。...

关键词：辅助函数；原函数；求导法那么；不等式在高等数学许多问题的证明中需要构造辅助函数，但如何构造辅助函数是学生在学习高等数学中的难点之一，现将高数学证明中的构造相关辅助函数常使用的方法构造如下。...

：不等式在初等数学中是最基本的也是最重要的内容之一,微分中值定理也是数学分析中最重要的定理之一.本文采用举例的方式归纳了微分中值定理在不等式证明中的几种常见方法和技巧，总结了微分中值定理在不等式证明中的基本思想和方法。...