数学试验课件 15.pptVIP

主要内容 符号计算与自动推理 几何问题代数化 代数关系式的推导与验证 自动推理 1、符号计算与自动推理 符号计算 精确的、带未知变元的、公式的推导与验证。 符号运算 自动推理 自动推理 从已知条件推导出结果，即计算机自动证明定理、或推导出新的未知的结论。 2、几何问题代数化 解析几何是基础 笛卡儿名言： 一切问题都可以化为数学问题 一切数学问题都可以化为代数问题 一切代数问题都可以化为方程求解 3、代数关系式的推导与验证 给定多项式方程组： 4、自动推理 由一些变量之间的已知关系推导一些变量之间的未知关系。 例 3 推导正五边形的边长与连接不相邻的两个顶点的线段长度之间的关系。 * * 数学实验之十五---初等几何定理的计算机证明 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspos