引入

为什么 的最小值,用画数轴比解不等式快得多?

一个代数式看不出结构,画成图就清楚了;一个图形算不出结果,写成坐标就能算。这两件事是同一个方法吗?

数形结合是”技巧”,还是有更底层的理由?

正文

定义

数形结合是在代数表示与几何表示之间来回切换,用其中一种的直观性弥补另一种的抽象性,从而简化推理或计算的方法。

为什么可以结合

结合之所以成立,是因为同一个对象可以有两种表示:

对象代数表示几何表示
实数小数、分数、根式数轴上的点
有序数对平面上的点
方程 求根曲线与 轴的交点
不等式 解集曲线在 轴上方的部分
绝对值 分段函数数轴上两点间距离
向量数组有向线段
复数复平面上的点

两种表示不是”两种理解”,而是同一对象的两套坐标。切换表示不改变对象,只改变看到的侧面。

两个方向

方向做法适用
以形助数把代数问题画成图,用直观判断求最值、判断解的个数、比较大小
以数解形把几何问题写成坐标或方程求长度、角度、位置关系

以形助数的例子:

求 的最小值。代数上要分三段讨论;几何上看,它是数轴上点 到 和 的距离之和,最小值就是两点间距离 ,当 时取到。

以数解形的例子:

判断直线与圆的位置关系。几何上要画图观察;代数上算圆心到直线的距离 与半径 ,比较即可,且不会有”画得不准”的误差。

常见的结合点

代数对象几何意义典型用途
斜率倾斜程度判断单调、比较增长率
截距与轴交点线性规划
判别式 曲线与轴的交点个数讨论方程解的个数
二次函数顶点抛物线的最高/最低点求最值
距离公式两点间长度转化为几何最短路径
复数的模到原点的距离复平面上的轨迹

什么时候该切换

症状该切到
代数式含多个绝对值、根号几何(距离、路径)
需要讨论参数、分类太多几何(看成曲线族)
图形不规则、看不出关系代数(建系写坐标)
需要精确值而非估计代数(计算)
需要判断趋势、范围几何(观察)

判断标准很简单:哪种表示的”约束”更少,就用哪种。绝对值在代数上是分段,在几何上是距离;距离在几何上要构造,在代数上是公式。

局限

局限说明
图形可能失真手绘图的比例、角度不可靠,只能用于判断趋势
无法替代证明图像只提供猜想,严格结论仍需代数推导
高维难以画出四维以上只能靠代数
离散对象无直观数论、组合问题很难几何化

最重要的一条:数形结合能帮你找到结论,但不能代替证明结论。看到图像”好像相交两次”,仍然要算 确认。

与坐标变换的区别

两者常被混为一谈:

方法操作目的
数形结合在两种表示间切换利用直观性
坐标变换在同一表示内换坐标系化简表达式

前者是换”语言”,后者是换”视角”。坐标变换 中会展开后者。

引出

为什么同一个对象允许有两种完全不同的表示?这背后是”同构”吗?

如果一种表示下的计算更简单,是否说明它”更本质”?

高维空间无法画出,数形结合还能用吗?