形式化原则指导下的数学解题策略-浙江省嘉兴市第一中学.docVIP

“形式化原则”指导下数学解题的几种视角 浙江省平湖中学 毛良忠 邮编 314200 内容导读：把握形式化原则是数学学习和学会解题的第一步，理解形式化原则下的解题策略能让我们体会不同的形式化对问题的解决有较大的差异，恰当的表征形式能让我们更好理解问题的本质所在。 数学的符号化和形式化，是20世纪数学的重要特征。要学习数学，必须掌握适当的形式化的语言。就也就是说，学习数学的一个重要目标，就是学习一种有特定含义的形式化的语言，以及用形式化的语言去表示和解决各种问题。当然，形式化所呈现的是冰冷的美丽，在形式化的背后是丰富的内涵以及火热的思考。同一个数学问题可以有不同的形式表述，同一个形式表述又可以反映不同的数学模型、数学内容。课堂教学的目标之一就是要引导学生把数学问题用某种系统中的形式符号表示出来，并学会在不同符号之间进行转换。 张奠宙先生在其著作《数学方法论稿》一书中提到，“数学形式化原则”指的是，同一个数学问题，可以有不同的形式表述；同一个形式表述，又可以反映不同的数学模型、数学内容。因此在数学解题中我们总是要将自然语言表述的实际应用问题逐步地加以形式化，即分层次地把问题中的未完成形式化的概念、关系不断地形式化。把握形式化原则是中学数学首要的一步，这是因为应用问题、综合性问题的解答的第一步，就是要恰当的形式化。 对于数学的学习，李邦河院士指出数学根本上是玩概念的不是玩技巧技巧不足道也简洁的符号形式下有着丰富的内涵（1）从自变量x的取值来看，有x必有-x(体现了定义域是关于原点对称的) （2）从函数图像上点看，有必有（体现了函数图像上的点是关于原点对称的） （3）表达式中字母x的任意性体现了奇函数图像上的点所拥有的代数特性（体现了整体思想）。用符号表示概念能清楚地反映定义的结构。 又如对于同样一个“点”的概念在不同的系统学习中又有各种形式化的表示：如几何图形中的点P，直角坐标系中点P ,极坐标中的点，向量形式下的点，某些曲线上点的参数形式 不同的形式表示对问题的解决影响是很大的，选用哪种形式表示相关的量，关键是看它处在怎样的一个背景下，需要怎样的身份介入才有利于问题的解决，这就需要解题者善于观察分析，具有灵活变通的思想。 数学的表示形式可能是严谨冰冷的，缺乏自然语言特有的美丽（更缺乏华丽辞藻的修饰），但纯粹符号化的背后却蕴藏着火热的数学思考。 本文试从数学的形式化原则指导下透视数学问题的解决途径。 1 不同的符号形式化使问题解决呈现多样性 例1 2013浙江省高考中有这样的一道向量问题： 设是边上一定点,满足,且对于边上任一点,恒有.则 （　　）A．B．C．D． 此题中各种量之间的呈现形式是多样的。 符号表示1（坐标形式）：如图建立以为原点的坐标系，令=1，则=3.设， 则 由化简得 （*）。进一步理解已知条件：对于边上任一点恒有对于 不等式（*）恒成立。于是。回到原题意义即点C的横坐标就是AB的中点，由此。 符号表示2（共线向量形式） 符号表示3（向量极化公式）对于任意两个向量数量积我们有（向量极化公式），利用这个公式我们可以快速解决这个问题。 ， 符号表示4（向量积公式）由题意，设,则,过点C作AB的垂线，垂足为H，在AB上任取一点P，设，则由向量的数量积的几何意义可，又由于，于是恒成立，等价于恒成立，整理得恒成立，只需，于是，故HB=2，即H为AB的中点，故为等腰三角形，所以AC=BC 本例形式化路子很多，且一些式子学生也容易想到并不难写出，并且每一种演算恰有一定的技巧。这种情况下，很容易出现写了不少式子，但变来变去却算不下去的迷茫情况。许多问题的解决，关键的一步就是把许多量、各方面的关系一个个地恰当地形式化，不同的形式表示给问题解决带来了鲜活的多样性。 2 多角度的形式变换透视对问题的本质理解 例2 若关于有四个不同的实数解，则的取值范围是 2.1 方程角度 从问题陈述看它应该是一个方程解的情况探求问题。含绝对值方程的一种处理方法就是直接讨论求解。将问题分情况讨论得：（1）显然符合 下面主要考察 （2） （3）的解的个数。 在方程有解的情况下得到 以下就 分别讨论方程解的个数，比较后得出答案。 在考察（2）（3）两个方程的解的个数问题上如果我们作出（如下图） 当K0时只有C,D两个点符合 于是原方程总共只有三个实数解，不合题意。当K0时B,C,D符合 此时原方程共有四个实数解，符合题意。于是问题的形式表示为方程（K0）有两个解，故。这样的处理与上面分6种情况比较方程解的个数应该更快捷些。 2.2 函数角度 形式变换1： 当时，方程 可化为，在同一坐标系中分别作出两个图像。K0时显