The construction method of subsidiary function in certifying algebraic expression with Rolle theory

• 用罗尔定理证明数学等式时辅助函数的构造方法