几何回答的是一个最古老的问题:一个图形长什么样、有多大、和其他图形是什么关系?这个问题从小学就开始出现,但它每次升级都不只是"图形变复杂了",而是你理解形状和空间的方式发生了根本变化。这张页面追踪"认识形状"这个想法本身的四次飞跃。
拿尺子量底边有多长、高有多高,然后代公式。底 6 厘米、高 4 厘米,面积 = ½ × 6 × 4 = 12 平方厘米。
| 底(厘米) | 高(厘米) | 面积(平方厘米) |
|---|---|---|
| 6 | 4 | ½ × 6 × 4 = 12 |
| 8 | 5 | ½ × 8 × 5 = 20 |
| 10 | 3 | ½ × 10 × 3 = 15 |
每一列都在说同一件事:面积 = ½ × 底 × 高。这是量出来的、套公式的,不是推出来的。
小学还建立了一个关键直觉:同样长的围栏(固定周长),围成圆比围成正方形面积大,围成正方形比围成长方形大。这个"固定材料,怎么围最大"的问题,就是高中函数最优化问题的种子。
初中几何大约一半时间在研究三角形。它是最简单的多边形,但蕴含的关系最丰富:
| 工具 | 说什么 | 为什么有用 |
|---|---|---|
| 内角和 | 三个角加起来 = 180° | 知道两个角就能推出第三个——不需要量 |
| 全等(SSS/SAS/ASA) | 三组对应元素相等 → 两个三角形完全一样 | 证明"必然一模一样"的标准方法 |
| 相似(AA) | 形状相同但大小可以不同 | 不用实际测量就能算出远处物体的高度 |
| 勾股定理 | 直角三角形 a² + b² = c² | 边和直角连起来了——几何和代数的第一座桥 |
小学生直接用这个公式,但不问为什么。初中生可以证明它:取两个完全相同的三角形,拼在一起就是一个平行四边形。平行四边形面积 = 底 × 高(可以从长方形切出来证明),所以一个三角形 = ½ × 底 × 高。
这个证明比量一百次都有说服力。量可能有误差,但逻辑不会。这就是第一次飞跃的核心:几何事实的来源从测量变成了推理。
圆是初中几何最后一个大主题。圆周角 = 同弧圆心角的一半——这一个结论能推出一堆推论:半圆上的圆周角是直角、同弧圆周角相等、直径垂直于弦平分弦。它把三角形、相似和全等全部串在一起。
| 几何对象 | 方程 | 方程里每个符号的几何含义 |
|---|---|---|
| 直线 | y = kx + b | k 是倾斜程度,b 是与 y 轴的交点 |
| 圆 | (x-a)² + (y-b)² = r² | (a,b) 是圆心,r 是半径 |
| 椭圆 | x²/a² + y²/b² = 1 | a、b 是长轴和短轴的一半 |
| 抛物线 | y = ax² | a 控制开口大小和方向 |
| 双曲线 | x²/a² - y²/b² = 1 | 两条对称曲线,渐近线趋近但不相交 |
椭圆、抛物线、双曲线不是三个独立的图形,而是同一个圆锥被不同角度切出来的截面。行星轨道是椭圆,抛出去的球是抛物线,引力双体是双曲线——三种曲线统一在一个几何框架里。
解析几何之前,这三种曲线各有各的几何证法,互不相干。有了方程之后,它们只是同一个二次方程的不同形式。
三个顶点坐标已知:A(1,1)、B(5,1)、C(3,4)。不用尺子量,不用画图,直接用坐标算面积:
面积 = ½ |x₁(y₂-y₃) + x₂(y₃-y₁) + x₃(y₁-y₂)| = ½ |1(1-4) + 5(4-1) + 3(1-1)| = ½ |-3+15+0| = 6
代入数字就行。这是第二次飞跃的威力:几何问题变成代数计算,不需要灵感,不需要辅助线。
向量把"方向"和"大小"打包在一起。一个向量 (a,b) 既是"从原点走到 (a,b) 这一步",也是一个可以用代数操作的对象。
| 操作 | 代数定义 | 几何含义 |
|---|---|---|
| 加法 | (a,b) + (c,d) = (a+c, b+d) | 首尾相接走两步 |
| 数乘 | k(a,b) = (ka, kb) | 同方向伸缩 k 倍 |
| 点积 | a·b = |a||b|cos θ | 度量两个方向的"一致性"——点积为零就是垂直 |
| 叉积 | |a×b| = |a||b|sin θ | 平行四边形面积——度量"垂直程度" |
点积让"判断垂直"变成代数操作:两个向量点积为零 ⟺ 互相垂直。不需要画图,不需要量角器,算一下就行。
旋转 90° 是什么意思?在几何里你会说"转一下"。在线性代数里它是一个矩阵:
R = [0, -1; 1, 0],作用在向量 (x,y) 上得到 (-y, x)——正好是逆时针转了 90°。
矩阵不只是数字的排列,它代表一种变换:把空间拉伸、旋转、压缩、投影。矩阵乘法就是连续做两次变换。矩阵的逆就是"把变换做回来"。
常见的变换:
| 变换 | 矩阵长什么样 | 对图形做了什么 |
|---|---|---|
| 旋转 | [cos θ, -sin θ; sin θ, cos θ] | 绕原点转 θ 角 |
| 拉伸 | [k, 0; 0, k] | 每个方向放大 k 倍 |
| 剪切 | [1, k; 0, 1] | 把正方形推成平行四边形 |
| 投影 | [1, 0; 0, 0] | 把平面压成一条线 |
Av = λv:向量 v 经过变换 A 之后方向不变,只是伸缩了 λ 倍。
拉伸一个椭圆,有些方向只伸缩不偏转——这些方向就是特征向量,伸缩比例就是特征值。
特征值把矩阵、几何和物理联系在一起:桥梁共振频率、生态系统稳定性、搜索引擎排序(PageRank)、数据降维(PCA)——背后都是特征值问题。
一个变换作用在单位正方形上,正方形变成了平行四边形。面积变了多少?答案是行列式。
det(A) = |变换后的面积 / 变换前的面积|
det(A) = 2 意味着面积变成 2 倍。det(A) = 0 意味着面积变成 0——图形被压扁成了一条线或一个点,信息丢失了。det(A) < 0 意味着面积变了而且翻转了(像镜像)。
行列式把"面积变化"变成了一个代数量。面积这个从小学就跟着我们的概念,在变换视角下获得了新的意义。
实数 R 是一维空间,平面 R² 是二维,我们生活的空间是 R³。但向量空间可以是任意维度 Rⁿ——你不需要想象"四维长什么样",只需要知道四维空间有四个独立的基向量。
| 概念 | 直觉 | 正式定义 |
|---|---|---|
| 基 | 描述空间最少需要几个"方向" | 线性无关且张成整个空间的向量组 |
| 维度 | 基里有几个向量 | 基中向量的个数 |
| 线性变换 | 旋转、拉伸、投影 | 保持加法和数乘的映射 |
| 内积空间 | 能量角度和长度 | 定义了内积的向量空间 |
关键抽象:不管维度多高,向量的加法、数乘、点积、线性变换的规则完全一样。你在二维里建立的直觉——垂直、投影、旋转——在高维空间全部成立。
小学用格子数面积,初中用公式算面积,高中用坐标算面积。大学用积分算任意曲线围成的面积:
面积 = ∫[a,b] f(x) dx
积分的思想和小学数格子一模一样:把区域切成极细的小条,每条近似成矩形,全部加起来。区别只在于"多细"——小学的格子很粗,积分的格子无限细。
面积这个概念从小学到大学走了一个完整的圈:数格子 → 套公式 → 坐标计算 → 积分。起点和终点的想法相同(切成小片加起来),但精确度和适用范围天差地别。
初中证明过"三角形内角和 = 180°"。但这个证明依赖一个前提:过直线外一点,有且仅有一条平行线。如果去掉这个前提呢?
在球面上(比如地球表面),三角形的内角和大于 180°——从北极到赤道画两条经线和一段赤道,三个角都是 90°,加起来 270°。球面上没有平行线——所有大圆都会相交。
这意味着:初中的所有证明只对"平坦"的空间成立。空间可以是弯曲的——这就是微分几何和广义相对论的起点。几何从"研究图形"走到了"研究空间本身"。
| 飞跃 | 之前怎么认识形状 | 之后怎么认识形状 | 这一跳让你能做什么新事 |
|---|---|---|---|
| 1. 从量到证 | "量出来/看出来的" | "推出来的——必然对" | 结论不受测量误差影响;逻辑推理代替直觉 |
| 2. 从图到数 | "画图、看图、想辅助线" | "每个点变数字、每条线变方程" | 几何问题机械化求解;不需要灵感只需要计算 |
| 3. 从形到变 | "研究静态的图形" | "研究旋转、拉伸、投影等变换" | 矩阵操作图形;特征值揭示系统核心性质 |
| 4. 从平到弯 | "看得见、画得出的二维三维" | "任意维度、可以弯曲的空间" | 描述高维数据、弯曲时空;积分算任意面积 |