新手入门：什么是数学建模.docVIP

新手入门：什么是数学建模 数学建模 数学模型（Mathematical Model）是一种模拟，是用数学符号、数学式子、程序、图形等对实际课题本质属性的抽象而又简洁的刻划，它或能解释某些客观现象，或能预测未来的发展规律，或能为控制某一现象的发展提供某种意义下的最优策略或较好策略。数学模型一般并非现实问题的直接翻版，它的建立常常既需要人们对现实问题深入细微的观察和分析，又需要人们灵活巧妙地利用各种数学知识。这种应用知识从实际课题中抽象、提炼出数学模型的过程就称为数学建模（Mathematical Modeling）。　　不论是用数学方法在科技和生产领域解决哪类实际问题，还是与其它学科相结合形成交叉学科，首要的和关键的一步是建立研究对象的数学模型，并加以计算求解。数学建模和计算机技术在知识经济时代的作用可谓是如虎添翼。 建模示例：椅子能在不平的地面上放稳吗 日常生活中一件普通的事实：把椅子往不平的地面上一放，通常只有三只脚着地，放不稳，然而只需稍挪支几次，就可以使四只脚同时着地，放稳了。这个看来似乎与数学无关的现象能用数学语言给以表述，并用数学工具来证实吗？ 模型假设　对椅子和地面应该作一些必要的假设： 1. 椅子四条腿一样长，椅脚与地面接触处可视为一个点，四脚的连线呈正方形。 2. 地面高度是连续变化的，沿任何方向都不会出现间断(没有像台阶那样的情况)，即地面可视为数学上的连续曲面。 3. 对于椅脚的间距和椅腿的长度而言，地面是相对平坦的，使椅子在任何位置至少有三只脚同时着地。 假设1显然是合理的。假设2相当于给出了椅子能放稳的条件，因为如果地面高度不连续，譬如在有台阶的地方是无法使四只脚同时着地的。至于假设3是要排除这样的情况：地面上与椅脚间距和椅腿长度的尺寸大小相当的范围内，出现深沟或凸峰(即使是连续变化的)，致使三只脚无法同时着地。 模型构成　中心问题是用数学语言把椅子四只脚同时着地的条件和结论表示出来。 首先要用变量表示椅子的位置。注意到椅脚连线呈正方形，以中心为对称点，正方形绕中心的旋转正好代表了椅子位置的改变，于是可以用旋转角度这一变量表示椅子的位置。在图中，椅脚连线为ABCD，对角线AC与x轴生命，椅子绕中心点O旋转角度θ后，正方形ABCD转至A’B’C’D’的位置，所以对角线AC与x轴的夹角θ表示了椅子的位置。 其次要把椅脚着地用数学符号表示出来。如果用某个变量表示椅脚与地面的竖直距离，那么当这个距离为零时就是椅脚着地了。椅子在不同位置时椅脚与地面的距离不同，所以这个距离是椅子位置变量θ的函数。 虽然椅子有四只脚，因而有四个距离，但是由于正方形的中心对称性，只要设两个距离函数就行了，记A，C两脚与地面距离之和为f(θ)，B，D两脚与地面距离之和为g(θ)(f(θ),g(θ)≥0)。由假设2，f和g都是连续函数。由假设3，椅子在任何位置至少有三只脚着地，所以对于任意的θ，f(θ)和g(θ)中至少有一个为零。当θ=0时不妨设g(θ)=0，f(θ)0。这样，改变椅子的位置使四只脚同时着地，就归结为证明如下的数学命题： 已知f(θ)和g(θ)是θ的连续函数，对任意θ，f(θ)·g(θ)=0，且g(0)=0,f(0)0.证明存在θ0，使f(θ0)=g(θ0)=0. 模型求解　上述命题有多种证明方法，这里介绍其中比较简单，但是有些粗糙的一种。 将椅子旋转900(π/2)，对角线AC与BD互换。由g(0)=0和f(0)0可知g(π/2)0和f(π/2)=0. 令h(θ)= f(θ)-g(θ)，则h(θ)和h(π/2)＜0。由f和g的连续性知h也是连续函数。根据连续函数的基本性质，必存在θ0(0θ0π/2)使h(θ0)=0，即f(θ0)=g(θ0)。 最后，因为f(θ0)·g(θ0)=0，所以f(θ0)＝g(θ0)=0。 由于这个实际问题非常直观和简单，模型解释和验证就略去了。 评注　这个模型的巧妙之处在于用一元变量θ表示椅子的位置，用θ的两个函数表示椅子四脚与地面的距离，进而把模型假设和椅脚同时着地的结论用简单、精确的数学语言表达出来，构成了这个实际问题的数学模型。