说明：此文稿为朱浩楠老师于2018年11月-12月北京地区联校数学建模活动的课题研究阶段中，每天一篇发布给各课题组的研究方法指导文件的汇总。为方便更多的同学参考使用，现调整为正序后通过遇见数学公众号发布，版权归朱老师和遇见数学公众号所有。
研究方法指导：从高中数学体会数学概貌和数学建模
新课标中将数学建模引为数学学科六大核心素养之一，并作为线索贯穿必修、选择性必修和选修各类课程之中，是为了通过数学建模的学习令大家对数学学科以及数学学科在其他学科和领域内的应用，有一个概观的、基本的、科学的认识。今天，我们就结合之前的课题研究方法指导的内容，将高中数学的各个板块及其在数学建模过程中的作用联系起来，以飨学子。
到了高中，大家最先学习集合，集合是什么呢？集合是一种数学语言，将具有某些共同特征的事物放在一起作为一个大类别。集合为什么那么重要呢？因为在集合出现之前，人们只能大概地讲“把这些东西放在一起”，这不严谨，因为放多放少，包不包含，都说不清。有了集合之后，就有了一个客观存在的研究对象。集合公理要求一个元素要么属于这个集合，要么不属于，不会有模凌两可。有的同学可能听说过集合的理发师悖论，那个和集合没关系，相关的数学概念叫“类”，类是比集合更为抽象和广大的概念。
所以集合可以看作是研究事物的语言和逻辑准备——如果所研究的东西不是逻辑严谨且客观存在，那么接下来的一切演绎都没有价值，因为从逻辑上“空集可以推导出一切真的或假的事物”（用反证法即可证明）。
有了集合，也就是研究对象，那么就需要在它们之间建立一些关联和操作，这就和人与人、人与自然之间的互动是一样的，在互动中才能感受对方的存在，也才能激发出对各自性质的感受。例如：我们想用眼睛看到一个物体，就需要光线被物体反射传入视网膜。但是也要避免一些“非正常互动”，例如：我们看一个物体，可能很多物体外貌都长一个样子，比如生鸡蛋和煮鸡蛋，但是一个鸡蛋不可能既是生鸡蛋，也是煮鸡蛋。
集合间的合理的关联与互动就叫做映射，我们规定不能一对多，就是怕出现玄学。
映射中有两个非常重要的概念，一个是“单射”，一个是“满射”，单射指的就是两样东西不能映为一样东西，满射指的是目标集合中的每样东西都是映射的像。数学家理解这两个概念力求直观，实际上，单射就是“不粘连”的映射，满射就是“不撕裂”的映射。如果两个集合之间存在着既不粘连也不撕裂的映射，那么这两个集合（作为集合）就视为等价的了，因为其中的元素可以一一对应，所以既单且满的映射也被称为双射，或1-1映射。著名的例子就是有理数集和正整数集之间存在1-1映射。
对比了四种不同的情况(图自维基)
但是我们显然知道，有理数集和正整数集不一样，所以两个存在1-1映射的集合还不见得是一个东西。但是注意，仅仅从集合的角度是没法区分它们了，我们所谓的“有理数集和正整数集看起来就不同”，其实是因为我们考虑了有理数集和正整数集之中的“运算”，最基本的就是加减乘除。所以运算这件事的提出其实帮助我们可以更细致地分析事物，而不仅仅限于是否1-1对应这个层次。
运算其实也是一种映射，例如我们常说的整数的加法运算，就是从整数集与整数集的笛卡尔积，到整数集的一个映射。这里就出现了一个概念——笛卡尔积。平面欧式空间就是满足欧式距离公理的两个实数集之间的笛卡尔积。从这个层面可以理解笛卡尔作为一个伟大的哲学家对数学作出的贡献——千万不要以为笛卡尔的贡献仅仅是想出了平面直角坐标系，在笛卡尔的天平中，万物之间得以借由他创造的精妙结构和映射这一利器去构造运算。这是现代代数学的雏形。
我们最常见的函数，指的是数集到数集的映射。高中考试中常考有解析式的函数，但是我们需要知道绝大多数函数没有解析式，只有对应关系。有解析式的函数里，有几个函数最为基本，那就是幂函数、指数函数、对数函数、三角函数、反三角函数、常值函数。这五种函数被称为“基本初等函数”。所谓的能写出解析式的函数，其实就是整体或分段地表示为基本初等函数的拉伸、平移、翻折及基本函数间的加、减、乘、除、复合。这样来看，基本初等函数就是函数大厦中的砖块，而“拉伸、平移、翻折、加、减、乘、除、复合”就是砖块间的粘合剂，他们一同构筑起了庞大的摩天大楼。
有一些函数没法像上面这样被基本初等函数通过“拉伸、平移、翻折、加、减、乘、除、复合”表示，却可以通过基本初等函数的“极限”来表示。所以“极限”就成了有别于通常的初等运算体系下的“高等”运算。涉及到极限的数学都称为“高等数学”。极限作为理念出现得很早，大概从人类开始能够想象未来的时候开始就有了。但是极限概念真正严格起来作为一个逻辑严谨的系统，则是在欧拉和威尔斯特拉斯等数学家的努力之后。他们用惊人的洞察力和语言天赋，造就了一套简洁、优雅、准确的符号体系，将对无限的观察蕴含在了对有限的考察中，被人们津津乐道。
函数有图像——这也是笛卡尔的功劳，人们得以将自变量和因变量放在两个集合的笛卡尔积中去观察和体会——观察函数图像，无论是计算机还是人类，理论上都无法连续地观察到每个点，只能观察到其上的若干离散的点——用笔在纸面上画一条看上去很光滑的线，用显微镜放大，到了一定精度之后墨迹还是会开始呈现断断续续——所以人类的计算系统对于连续的函数的观察是通过在上面截取若干的数值来完成的，这也就是数列了。远古时代人们就开始用数列记录历法，其实就是对连续的时间变化的一种离散观察。
但是这一离散可了不得，给数列带来了非常独特的方法——递推。函数也可以实现递推，不过一般会更复杂，涉及到向量场和不动点理论。数列的递推则简单很多，所以放在高中课程中来讲。不过现在数列递推基本删掉了，北京高考考得很少，这多少是个遗憾——从大数学家庞加莱的观点来看，离散和连续密不可分，通过离散来观察连续是一项重要的技巧，甚至不逊色于用有限来观察无限的极限语言。
有了函数，如果它光滑的话，我们就能在上面得到很多切线方向，这些切线方向带有大小，大小用来衡量此处函数的因变量随自变量变化的速率，而方向反映函数图像的走势方向。像这样既有大小又有方向的量就是向量。向量将长度和角度放在同一个范畴里去度量，是个伟大的创造。
光滑函数图像每点有切向量，计算的方法被称为微分；已知切向量能否将函数还原呢？回答是“部分可以”，但是因为向量具有平移不变量，所以想要还原函数还得加上一个条件——给出函数图像上一点。由已知切向量还原函数的过程被称为不定积分，再给出一个初始值以进一步确定唯一函数的过程被称为定积分。著名的牛顿-莱布尼茨公式通过变上限积分给出了二者的联系。
牛顿-莱布尼茨公式
如果你稍微知道更多一点微积分，你大概就知道：任何光滑函数局部上都与某个多项式函数非常接近。多项式函数是人们最为喜闻乐见的函数，因为它很容易求导，而且它的零点是多项式方程的解。多项式方程在几个世纪以来一直是数学研究的热点，留下了大量的工具、结论和技巧。局部上将函数变为多项式，使得这些历史宝藏得以使用。
所以研究多项式函数就是非常重要的，高中主要涉及最高次不超过3次的一元多项式函数，与结构最为优美的3类二元二次多项式函数。二元二次多项式函数（非退化，即，不可约）的零点是平面上的一条曲线，被称为圆锥曲线，也就是椭圆、、抛物线。希望你能因此而理解为什么它们都是高考考查的重点——因为它们真的在数学上异常重要。
从上面的观点来看，解析几何就是局部上多项式化了的一般几何，这也是现代代数几何学的雏形——局部上是多项式的零点，通过拓扑方法粘贴起来，就是一般的几何体。
一般几何体的另一种局部粘成整体的方式，是用三角形网格来剖分几何体。将光滑的几何体变成了类似于“多面体”的几何体，这在工业中很常用，最大的优势是可以使用网格相关的很多技巧，例如著名的“欧拉公式”，并且如此离散化之后容易利用计算机来计算。既然是三角剖分，那么每个小的面就都是三角形。这样一来，解三角形就不仅仅是对古希腊平面几何公理数学的继承了，而且还是现代工业技术的基石之一。
至于概率统计和立体几何，其重要性不言而喻，但这里还是要就大家可能不是非常了解的方面多说几句。
从前面的梳理可以看到，高中数学的一种理解方式是几何化的，这也是数学上的一种主流观察方式。之所以采用这种观察方式，我理解是因为几何化方便人们直观想象，更容易发现问题的走向而非陷入到琐碎的局部代数运算中去。
在工业中，乃至在理论物理或其他很多基础学科领域中，大家都喜欢从几何上观察，例如广义相对论就是依托黎曼几何企图将全宇宙的规律归结到某种几何规则中，关于这方面的科普著作很多，推荐大家拜读丘成桐先生的科普巨著《大宇之形》。
但是一旦我们要检验自然界的现象是否符合数学上的几何模型，例如雪花❄️的形状是否是对称的，我们必然需要观测数据，但是自然观测得到的数据带有系统误差、自然环境的随机干扰等随机扰动，所以不可能恰好符合数学模型。那么就要分析一下：到底多大概率偏离数学模型多少？如果偏离很大到底是大概率事件还是小概率事件？这决定了你的模型是否可以经得起实践的检验。而分析的方法，就是概率统计。
经过上个世纪统计学领袖C.R.Rao先生的努力，现代概率统计越来越几何化了，甚至很多问题从数学上看就是纯粹的几何问题。对于高中的概率统计来说，其实和平面几何与立体几何密切相关。甚至一些难一点的线性规划问题，也可以通过升维降维的技巧转化为某些经典的立体几何问题。所以立体几何对于建立初等概率统计的几何直观非常重要，虽然现在一般课堂上不这样讲，但是至少知识框架还是被保存下来。这还没考虑到立体几何的公理化推导对学生思维品质训练上的好处。
最后，希望各位同学通过今天的小文，对高中数学有一个比较有温度的整体认识，并且从情感上接受“高中数学很有用”到底事实，进而在接下来的学习中更加自主和出色。
[遇见数学] 李想: 朱浩楠老师将此系列献给正在鏖战MCM(美赛)与即将参加 IMMC(中华国际数学建模挑战赛)的各位学子, 祝各位竞赛中取得优异成绩. 这里 [遇见] 也要感谢朱浩楠老师用知识和经验为学子们提升建模能力、数学素养及更广的学习视野保驾护航.
另外由于时间紧迫, 整个系列要改进的地方还有很多, 未来 [遇见] 会再次整理编排发布, 敬请关注!
,
