数学解题技巧的体系结构

（1）基础数学
逻辑、集合论、范畴论、计算理论、形式理论
（2）数学数量
自然数、整数、有理数、实数、复数
（3）数学结构
数论、图论、群论、组合、代数、序理论
（4）数学空间
几何、三角学、微分几何、分形、拓扑、测度论
（5）数学变化
微积分、向量分析、微分方程、复分析、动力系统、混沌理论
（6）应用数学
博弈论、概率论与数理统计、密码学、数学物理、数学流体力学、数值分析、最优化、数学金融、数理经济学、生物数学、控制论

最后，以代数为例，还需要继续分类，我这里只做个简单示意：

2，题目在知识的分类树上的位置

T1：求x^2 + 2x + 1=0的解

T2：已知曲线y=x^2 + ax + b的驻点是（3,0），求a和b

按照题目涉及的知识范围，把题目对应到多叉树的某个节点。

这里，T1对应的就是“一元二次方程”这个节点，T2对应的就是“代数”这个节点。

PS：这里只是示意，实际上的分类不会这么粗略。

3，同知识点题集内的体系结构

如果几个题目涉及的都是知识点范围完全一样，那我们把这些题目分到同一个集合，暂且称之为同知识点题集。

把每个题目都放到知识的分类树上，就是为了对于任何一个题目，都能迅速找到它所属的同知识点题集，也就能找到解题技巧了。

那么，同知识点题集内的体系结构是什么样的呢？

我认为可以简单的分为三种关系：同构且同解法、同构但不同解法、不同构。

（1）同构且同解法

例如，鸡兔同笼问题，无论数字怎么变，解法都不会变。

（2）同构但不同解法

第一组例子

T3：已知sin(x) = 2 sin(x/2)，求x

T4：已知sin(x) = 2 sin(x/3)，求x

看起来数字一样，但是解法完全不同。

第二组例子是小学四年级的应用题：租车费用问题

T5：一个班级30个人出行，打算租旅行社的车（带司机，这30人都是乘客不开车），大车除司机还可以坐8人，需要80元，小车除司机还可以坐6人，需要65元，求最小费用。

答案：30除以8等于3，余6，所以答案是80*3+65

T6：一个班级32个人出行，打算租旅行社的车（带司机，这30人都是乘客不开车），大车除司机还可以坐8人，需要80元，小车除司机还可以坐6人，需要59元，求最小费用。

答案：80+59*4

（3）不同构

T7：sin x = sin 1，求x

虽然T3和T7涉及的范围都是三角函数方程，但是不同构，解法自然也不一样。

4，同构但不同解法的原因总结

（1）需要用到的公式仅限特定数字

如上面的T3和T4

T3：已知sin(x) = 2 sin(x/2)，求x

T4：已知sin(x) = 2 sin(x/3)，求x

（2）解题思路只适用于满足特定关系的数据集

如上面的T5和T6

显然，对于小学四年级的学生，能用贪心算法求解T5就可以了，对于T6的数据情况，不能用贪心去求解，自然就不会作为小学四年级的考题。

小学四年级的学生可能会以为这题和鸡兔同笼一样，不管换什么数字解法都一样，这个误区不会影响他考试拿分，这也是为什么小学数学考满分也不一定数学就学的多好了，因为他可能没有更深的思考。

（3）根据数据关系分成若干种情况，解题思路只适用于较平凡的关系

T8：

复原二阶齿轮魔方

这个问题的等价问题就是求解下面的不定方程组的一个任意解

x1+x3+x4=c1+9x5（1）

x1+x2+x3+x4=c2+6x6（2）

x1+x2+x4=c3+9x7（3）

x1+x4=c4+6x8（4）

x3+x4=c5+6x9（5）

x2+x3+x4=c6+9x10（6）

x2+x4=c7+6x11（7）

x4=c8+9x12（8）

这是12元一次8方程组，c1到c8是给定常数，x1到x12是待求解的未知数。

求解过程参考不定方程组

这个问题本身其实是携带了8个常数的，分别是9 6 9 6 6 9 6 9，即8个角块的齿轮数。

因为这8个数字都很小，且有很多互相重复的，且6和9之间具有一些数论特征，所以T8不通过求解不定方程组也有很多解法。

但是这8个数字换成8个任意的1到9的数字，则只能通过求解不定方程组来还原魔方，且求解过程要更复杂。

（4）辨析（2）（3）

（2）中的特定关系，倾向于特征，比如贪心特征，具有这个特征的数据量占总数据量的占比较高。

（3）中的特定关系，倾向于更明确的数学关系，比如重复数字、最大公约数大于1，具有这个特征的数据量占总数据量的占比很小。

三，把解题技巧进行分类

我们依据知识的体系结构来对解题技巧进行分类，才能识别出高价值的解题技巧。

0，本章概括

本章不仅是把所有的解题技巧进行了分类，更是进行了分级，从上往下适应的范围越来越广，解题技巧也越来越抽象，越来越复杂。

为了下文论述方便，我添加了级别描述。

1，L1适用特定题目+特别数字

L1的解题技巧的适用范围是最小的。

T9：乘法的选择题

这个博主在讲怎么样用同余的方法验证整数a*b=c是否成立。

简单来说，就是任何数除以9的余数都可以在log n的时间复杂度内算出来。

同余其实是数论里面的基础知识，很多理工科的大学生毕业了都不知道同余是啥意思，所以普通人完全没必要学这种东西。

虽然我非常非常喜欢数论，并且任何数除以9的余数的算法的正确性我在小学六年级就证明出来了，但我还是觉得普通人没必要学这种东西。因为这种解题技巧，适用范围太小太小了。

只有搞数学竞赛的，才有必要学一些适用范围很小的解题技巧。

对于这个题目来说，但凡有一个干扰项和正确答案mod 9的结果相同，那就不知道选哪个了。

2，L2适用特定题目

对于T9，有一个更通用的解题思路：

1286*757 mod 100的结果是（86*57）mod 100 = 2

而四个选项mod 100分别是2 19 15 32，所以选A

3，L3适用特定类别题目

不是说某一类的所有题目都适用，而是，这一类题目中，有大量的题目都适用。

（1）解方程的技巧：换元

（2）解不等式的技巧：配平方

（3）求数列通项公式的技巧：不动点

4，L4适用多种类别的题目

不是说多种类别的所有题目都适用，而是，每一类题目中，都有题目能适用。

（1）调整法和贪心，参考调整法——多元函数最优解

（2）数学归纳法，参考良基、归纳法、动态规划

（3）最小值原理+无限递降法，参考不定方程

（4）极端原理，参考极端原理

（5）富比尼原理，参考算两次

（6）构造法

5，L5特定谓词推理结构的解题技巧

（1）含变量推理

技巧：用已知数和变量来构建最小初始条件集，然后推理出所求对象的表达式，然后证明它恒等于一个常数。

详细用法参考下文

（2）去除冗余条件推理

如果一开始给出的已知条件有冗余，那么合理的忽略一个条件，有可能更易于解题。

其中有分成2种冗余，第一种是某一个条件可由其他的条件组合之后推理出来，第二种是某一个条件无法由其他的条件组合之后推理出来，但是无论这个条件成不成立，所求的结果都不变。

（3）带冗余条件推理

如果一开始给出的已知条件有冗余，那么保留冗余条件，也可能更易于解题。

6，L6基于单个特征的解题技巧

因为L6的解题技巧都只针对题目的单个特征，所以如果一个题目有多个特征，那可能就需要多个解题技巧轮番上阵，这就形成了精妙绝伦的好题，当然，也是难题。

同时，特征和解题技巧也未必是一一对应。

（1）正交

T10：数长方形的个数

解法：把数长方形的问题，分解成2个数线段的问题，最后乘起来即可。

T11：输入2个平行的矩形的顶点坐标，判断是否有重合区域。

解法：把判断长方形是否有重合区域的问题，分解成2个判断线段是否重合的问题。

T12：把10个颜色各异的珠子穿成1个项链，任意距离为4的2个珠子都可以交换，求任意次交换之后有多少种不同的情况？

答案是5! * 5! / 5 / 2 = 1440

T13：反正交的例子，认识时钟

一般人学认时钟的时候，最容易错的题目就是7点55分：

很多小朋友会误认成8点55，这种错误的思维其实是正交的思路，然而时针和分针对应的2个子问题并不正交。

进一步来说，秒针和分针不是正交的，分针和时针也不是正交的，他们之间都是有数量关系的。而秒针和时针却是正交的。

（2）对称

（3）最小初始条件集

分析最小初始条件集，既可能演化成含变量推理问题，也可能演化成去除冗余条件推理或带冗余条件推理。

（4）隐式条件

做选择题时，经常碰到那种题目，就是有很简单的解法，但是如果换成大题就没办法了，就只能老老实实的求解了。

广义来讲，所有的选择题都包含一个隐式条件：这4个选项中有且只有1个选项是正确的。

当然，并不是所有的题目都能用上这个条件。

而能用上这个条件的，有的是用构造法来排除3个选项，有的是形成带冗余条件推理，还有其他的使用形式。

四，谓词推理结构

1，推理树（待更新）

以多元一次方程组为例

2，初始条件结构

（1）正交

缺一不可

（2）单向推导

123，12可以推出3

是否采用3，取决于某种更加抽象的规律，大脑存储的这个规律即所谓的题感。

（3）循环推导

123，12可以推出3，13可以推出2，23可以推出1

可以选出一个，直接抛弃。

选择哪一个抛弃，取决于某种更加抽象的规律，大脑存储的这个规律即所谓的题感。

3，含变量推理

技巧：用已知数和变量来构建最小初始条件集，然后推理出所求对象的表达式，然后证明它恒等于一个常数。

T14：求面积

解（含变量推理）：

第一步，构建最小初始条件集

第一种最小初始条件集：

第二种最小初始条件集：

可能还有无数种最小初始条件集，但是一般情况下最简单的最小初始条件集是比较明确的。

我们一定是选择最简单的最小初始条件集，即这里的第一种。

第二步，推理出所求对象的表达式

ans=80-s1-s2-s3
s1=(y+5)*4/2
s2=(x+4)*5/2
s3=x*y/2
(x+4)(y+5)=80

第三步，证明它恒等于一个常数

显然，ans=30

T15：选择题

把T14变成选择题，A 30 B 40 C 50 D 60

我们用隐式条件+带冗余条件推理

这一题的隐式条件就是阴影部分面积是恒等于一个常数的。

T14其实是根据图中的条件，来证明，阴影部分面积是恒等于一个常数，并求出这个常数。

T15其实是已知阴影部分面积是恒等于一个常数，求出这个常数（或者排除3个错误选项）。

解法：

直接构造一个简单的数值场景

所以阴影部分面积是80-20-20-10=30

4，基于谓词推理树的定理集刷新

（1）需要一种评判机制，刷新出来的定理是否比之前的定理更优（更易于解题）

这个评判机制是某种更加抽象的规律，大脑存储的这个规律即所谓的题感。

（2）如果刷新出的定理更优，则刷新定理集，使得它能包含所有的信息。

五，举一反三

能举一反三的前提，其实就是对于每一种解题技巧，都知道他的适用范围。

适用特定题目+特别数字的解题技巧，不要学，浪费时间。

适用特定题目的解题技巧、适用特定类别题目的解题技巧，只要分类正确了，自然知道适用范围了。

从“适用多种类别的题目的解题技巧”这个级别开始，适用范围是某种更抽象的特征。

为了明确这个特征，我们需要对这一类的解题技巧进行概括。

这个概括需要有广度，从而不至于漏掉很多适用场景。这个概括又需要有深度，从而不至于容易误匹配而干扰解题思路。

这就是为什么，从L4开始，解题技巧变得复杂，完全学明白是有门槛的，不像L1-L3只要看过一个或几个题目的解答过程就学会了。

从L4开始，就需要像计算机算法一样，了解每一个解题技巧的原理和精髓，才能判断出什么题目需要什么解法。

六，数学竞赛的难度来源

1，特定的解题技巧

数学竞赛的题目和一个普通的数学题目，即使需要的知识点一样，也可能数学竞赛的题目必须用到某个适用范围很小的解题技巧，而普通的数学题目有太多的解法，只需要随便用一种常见的方法就可以了。

七，误人子弟大赏

1，L1解题技巧

参考上文，把L1解题技巧包装的很有用，那就是误人子弟。

2，解题技巧降级

例如，把正交的解题技巧理解成投影的技巧。

对于T10：数长方形的个数，T11：输入2个平行的矩形的顶点坐标，判断是否有重合区域，

正交的解题技巧，是告诉我们加强理解为什么1个问题的答案可以由2个简单的子问题的答案直接组合成最终答案，理解了这个原理才能举一反三，对于更抽象的二维问题也能分解成2个一维问题。

而投影的解题技巧，是让人直接记住，对于T10和T11，解题技巧是先投影然后再分别求解最后组合起来。

这就存在很多问题，比如，第一，投影是不具有更广泛的代表性的，第二，什么样的题目可以用这个技巧是更难理解的。

PS：读者可能觉得，对于T10和T11，投影和正交是密不可分的，不就是先投影出2个子问题，再分析子问题和原问题的关系，发现是正交的吗？

仔细想一想，还是有区别的，2种说法，代表的思路其实是相反的，投影的思路是自底向上的，正交的思路是自顶向下的。投影强调的是先得到2个子问题，再看看是正交还是其他的什么关系。正交强调的是先发现这个问题可以分解成子问题，再确定具体是什么子问题。

比如，T11如果给出的是2个平行于坐标轴的矩形，那就很容易想到投影，但是如果是2个互相平行，但是都不平行于坐标轴的矩形，那就不容易想到投影到某条斜着的直线。但是正交的思路就不存在这个局限性。

T12更是证明了正交的思路适用范围远远大于投影的思路。

3，高级版背公式

这个所谓的回旋镖、减速带，其实还是背公式。

附录：T列表

T1：求x^2 + 2x + 1=0的解
T2：已知曲线y=x^2 + ax + b的驻点是（3,0），求a和b
T3：已知sin(x) = 2 sin(x/2)，求x
T4：已知sin(x) = 2 sin(x/3)，求x
T5：一个班级30个人出行，打算租旅行社的车（带司机，这30人都是乘客不开车），大车除司机还可以坐8人，需要80元，小车除司机还可以坐6人，需要65元，求最小费用。
T6：一个班级32个人出行，打算租旅行社的车（带司机，这30人都是乘客不开车），大车除司机还可以坐8人，需要80元，小车除司机还可以坐6人，需要59元，求最小费用。
T7：sin x = sin 1，求x
T8：复原二阶齿轮魔方
T9：乘法的选择题
T10：数长方形的个数
T11：输入2个平行的矩形的顶点坐标，判断是否有重合区域。
T13：反正交的例子，认识时钟
T14：求面积
T15：选择题