数学解题的形式化方法  

A Formalized Method in Resolving Mathematical Problems

作　　者：张会凌[1] 

机构地区：[1]甘肃联合大学信息技术中心,甘肃兰州730000

出　　处：《甘肃联合大学学报（自然科学版）》2009年第2期117-121,共5页Journal of Gansu Lianhe University :Natural Sciences

摘　　要：对数学解题中一类规律进行了总结,重点通过齐次线性方程组的形式化解法说明了数学解题中形式化方法的应用,说明了应用此方法可以把许多复杂的数学问题的综合答案同时求出,从而收到事半功倍的效果.This paper sums up a kind of patterns and a formalized method in resolving mathematical problems. It illustrates the method mainly through giving a formal solving method to AX=B, a syetem of nonhomogeneous linear equations. Using this method, we can obtain multiple solutions simultaneously to many mathematic problems, thus getting twice the result with half the effort.

关 键 词：数学解题 形式化方法 齐次线性方程组 特解 基础解系 通解 曲面 一般方程 参数方程 

分 类 号：O13[理学—数学]