引入
为什么 的最小值,用画数轴比解不等式快得多?
一个代数式看不出结构,画成图就清楚了;一个图形算不出结果,写成坐标就能算。这两件事是同一个方法吗?
数形结合是”技巧”,还是有更底层的理由?
正文
定义
数形结合是在代数表示与几何表示之间来回切换,用其中一种的直观性弥补另一种的抽象性,从而简化推理或计算的方法。
为什么可以结合
结合之所以成立,是因为同一个对象可以有两种表示:
| 对象 | 代数表示 | 几何表示 |
|---|---|---|
| 实数 | 小数、分数、根式 | 数轴上的点 |
| 有序数对 | 平面上的点 | |
| 方程 | 求根 | 曲线与 轴的交点 |
| 不等式 | 解集 | 曲线在 轴上方的部分 |
| 绝对值 | 分段函数 | 数轴上两点间距离 |
| 向量 | 数组 | 有向线段 |
| 复数 | 复平面上的点 |
两种表示不是”两种理解”,而是同一对象的两套坐标。切换表示不改变对象,只改变看到的侧面。
两个方向
| 方向 | 做法 | 适用 |
|---|---|---|
| 以形助数 | 把代数问题画成图,用直观判断 | 求最值、判断解的个数、比较大小 |
| 以数解形 | 把几何问题写成坐标或方程 | 求长度、角度、位置关系 |
以形助数的例子:
求 的最小值。代数上要分三段讨论;几何上看,它是数轴上点 到 和 的距离之和,最小值就是两点间距离 ,当 时取到。
以数解形的例子:
判断直线与圆的位置关系。几何上要画图观察;代数上算圆心到直线的距离 与半径 ,比较即可,且不会有”画得不准”的误差。
常见的结合点
| 代数对象 | 几何意义 | 典型用途 |
|---|---|---|
| 斜率 | 倾斜程度 | 判断单调、比较增长率 |
| 截距 | 与轴交点 | 线性规划 |
| 判别式 | 曲线与轴的交点个数 | 讨论方程解的个数 |
| 二次函数顶点 | 抛物线的最高/最低点 | 求最值 |
| 距离公式 | 两点间长度 | 转化为几何最短路径 |
| 复数的模 | 到原点的距离 | 复平面上的轨迹 |
什么时候该切换
| 症状 | 该切到 |
|---|---|
| 代数式含多个绝对值、根号 | 几何(距离、路径) |
| 需要讨论参数、分类太多 | 几何(看成曲线族) |
| 图形不规则、看不出关系 | 代数(建系写坐标) |
| 需要精确值而非估计 | 代数(计算) |
| 需要判断趋势、范围 | 几何(观察) |
判断标准很简单:哪种表示的”约束”更少,就用哪种。绝对值在代数上是分段,在几何上是距离;距离在几何上要构造,在代数上是公式。
局限
| 局限 | 说明 |
|---|---|
| 图形可能失真 | 手绘图的比例、角度不可靠,只能用于判断趋势 |
| 无法替代证明 | 图像只提供猜想,严格结论仍需代数推导 |
| 高维难以画出 | 四维以上只能靠代数 |
| 离散对象无直观 | 数论、组合问题很难几何化 |
最重要的一条:数形结合能帮你找到结论,但不能代替证明结论。看到图像”好像相交两次”,仍然要算 确认。
与坐标变换的区别
两者常被混为一谈:
| 方法 | 操作 | 目的 |
|---|---|---|
| 数形结合 | 在两种表示间切换 | 利用直观性 |
| 坐标变换 | 在同一表示内换坐标系 | 化简表达式 |
前者是换”语言”,后者是换”视角”。坐标变换 中会展开后者。
引出
为什么同一个对象允许有两种完全不同的表示?这背后是”同构”吗?
如果一种表示下的计算更简单,是否说明它”更本质”?
高维空间无法画出,数形结合还能用吗?