解析几何（Analytic Geometry），又称坐标几何（Coordinate Geometry），是数学的一个核心分支，它通过坐标系将几何对象（点、线、面、曲线、曲面）与代数方程对应起来，从而运用代数方法研究几何问题。解析几何由法国数学家勒内·笛卡尔（René Descartes）和皮埃尔·德·费马（Pierre de Fermat）在17世纪独立创立，它的诞生标志着数学从古典几何向现代数学的重要转折。
解析几何的诞生源于对数学统一性的追求。在17世纪之前，几何学以欧几里得几何为主流，代数和几何分离发展。笛卡尔在其1637年出版的《方法论》附录《几何学》中首次提出了用坐标系表示点的思想，将代数方程与几何曲线建立联系。
费马在同一时期独立发展了类似的思想，他在《平面和立体轨迹引论》中系统地研究了直线和圆锥曲线的方程表示。
| 时间 |
贡献者 |
贡献 |
| 1637年 |
笛卡尔 |
《几何学》发表，建立坐标系 |
| 1636年 |
费马 |
《平面和立体轨迹引论》，系统研究曲线方程 |
| 18世纪 |
欧拉、拉格朗日 |
将解析几何发展为系统理论 |
| 19世纪 |
高斯 |
建立曲面论，为微分几何奠基 |
| 19世纪 |
凯莱、格拉斯曼 |
将解析几何推广到高维空间 |
随线性代数的成熟，解析几何在20世纪被重新表述为向量空间几何。现代的解析几何与线性代数、微分几何、代数几何深度交织：
- 使用矩阵和线性变换统一处理坐标变换
- 借助张量分析研究曲面和流形
- 通过射影几何扩展古典结果
- 在计算机图形学和计算机视觉中广泛使用
坐标系是解析几何的基础工具，它建立了从几何位置到数值表示的映射。
最常用的坐标系，由互相垂直的坐标轴组成。
由两条互相垂直的数轴（x轴和y轴）构成，平面上的任意点用有序对 (x,y) 表示。
- 将平面划分为四个象限：第一象限 (x>0, y>0)、第二象限 (x<0, y>0)、第三象限 (x<0, y<0)、第四象限 (x>0, y<0)
- 两点间距离公式：d=(x2−x1)2+(y2−y1)2
- 中点坐标：(2x1+x2,2y1+y2)
- 定比分点（分点公式）：(1+λx1+λx2,1+λy1+λy2)
由x、y、z三轴构成，空间点用 (x,y,z) 表示。遵循右手定则或左手定则。
- 空间距离公式：d=(x2−x1)2+(y2−y1)2+(z2−z1)2
- 空间点所在卦限可通过坐标符号确定
- 坐标平面：xy平面 (z=0)、yz平面 (x=0)、xz平面 (y=0)
在极坐标系中，平面点用 (r,θ) 表示，其中 r 是到极点的距离，θ 是与极轴的夹角。
极坐标与直角坐标的转换：
{x=rcosθy=rsinθ{r=x2+y2θ=arctanxy
极坐标的应用优势：
- 圆：r=a
- 螺旋线（阿基米德螺旋）：r=aθ
- 三叶玫瑰线：r=acos(3θ)
- 心形线：r=a(1−cosθ)
- 双纽线：r2=a2cos(2θ)
极坐标在处理旋转对称性、圆周运动、天体力学的轨道计算中极其有效。
除了三维直角坐标外，常见的空间曲线坐标系包括：
柱坐标系 (r,θ,z)： 极坐标在高度方向的推广
⎩⎪⎪⎨⎪⎪⎧x=rcosθy=rsinθz=z
柱坐标系适用于具有旋转对称轴的场景，如圆柱体、螺旋线。
球坐标系 (ρ,θ,ϕ)： 用半径和两个角度定位空间点
⎩⎪⎪⎨⎪⎪⎧x=ρsinϕcosθy=ρsinϕsinθz=ρcosϕ
球坐标系在处理球体、地球物理、电磁场和量子力学中的中心力场问题时非常有用。
用参数方程表示几何对象，将坐标表示为独立参数 t 的函数。
- 直线：{x=x0+aty=y0+bt
- 圆：{x=acosty=asint
- 摆线：{x=a(t−sint)y=a(1−cost)
参数方程的优势在于能够表示非函数的曲线（如闭曲线、自交曲线），并且极其适合计算机图形学中的曲线绘制。
直线是解析几何研究的基本对象。同一几何直线可以用多种代数形式表示：
1. 一般式： Ax+By+C=0（A、B不同时为0）
- 斜率 k=−BA（B≠0时）
- y轴截距 b=−BC（B≠0时）
- x轴截距 −AC（A≠0时）
2. 点斜式： y−y0=k(x−x0)
过点 (x0,y0)，斜率为 k。
3. 斜截式： y=kx+b
斜率为 k，y轴截距为 b。
4. 两点式： y2−y1y−y1=x2−x1x−x1
过点 (x1,y1) 和 (x2,y2)。
5. 截距式： ax+by=1
x轴截距为 a，y轴截距为 b。
6. 法线式（海塞标准型）： xcosθ+ysinθ−p=0
原点至直线的垂线长为 p，垂线方向角为 θ。
两直线的夹角：
设两直线 l1 和 l2 的斜率分别为 k1 和 k2，则它们的夹角 α 由下式给出：
tanα=∣∣∣∣∣1+k1k2k2−k1∣∣∣∣∣
平行条件： k1=k2（或 A1B2=A2B1）
垂直条件： k1k2=−1（或 A1A2+B1B2=0）
点到直线的距离公式：
点 P0(x0,y0) 到直线 Ax+By+C=0 的距离为：
d=A2+B2∣Ax0+By0+C∣
两平行直线间的距离：
直线 l1:Ax+By+C1=0 与 l2:Ax+By+C2=0 的距离为：
d=A2+B2∣C1−C2∣
圆锥曲线是平面解析几何的核心内容，它们是由平面截圆锥面得到的曲线截线。
标准方程：(x−h)2+(y−k)2=r2，其中 (h,k) 为圆心，r 为半径。
一般方程： x2+y2+Dx+Ey+F=0（需满足 D2+E2−4F>0）
- 圆心：(−2D,−2E)
- 半径：r=21D2+E2−4F
切线方程： 过圆上一点 (x1,y1) 的切线方程为 (x1−h)(x−h)+(y1−k)(y−k)=r2
标准方程：a2x2+b2y2=1（a>b>0，焦点在x轴上）
关键参数：
- 长半轴 a，短半轴 b
- 焦点：F1(−c,0),F2(c,0)，其中 c=a2−b2
- 离心率：e=ac（0<e<1）
- 椭圆定义：到两焦点距离之和为常数 2a
椭圆的参数方程： {x=acosty=bsint
椭圆面积： S=πab
标准方程：a2x2−b2y2=1（焦点在x轴上）
关键参数：
- 实半轴 a，虚半轴 b
- 焦点：F1(−c,0),F2(c,0)，其中 c=a2+b2
- 离心率：e=ac（e>1）
- 双曲线定义：到两焦点距离之差的绝对值为常数 2a
- 渐近线：y=±abx
等轴双曲线： 当 a=b 时，方程为 x2−y2=a2，渐近线互相垂直。
共轭双曲线： a2x2−b2y2=−1 与原双曲线共享渐近线。
标准方程：y2=2px（开口向右）
关键参数：
- 焦点：F(2p,0)
- 准线：x=−2p
- 离心率：e=1
- 抛物线定义：到焦点与到准线距离相等
其他方向的抛物线：
- y2=−2px（开口向左）
- x2=2py（开口向上）
- x2=−2py（开口向下）
一般二次曲线的方程为 Ax2+Bxy+Cy2+Dx+Ey+F=0（A、B、C不同时为0）。
判别式 Δ=B2−4AC 决定曲线类型：
- Δ<0：椭圆型（椭圆、圆或虚曲线）
- Δ=0：抛物型（抛物线或退化）
- Δ>0：双曲型（双曲线或相交直线）
通过坐标旋转可以消除交叉项 Bxy，通过坐标平移可以消除一次项，从而将一般二次方程化为标准形式。
不变量理论： 在坐标变换下，某些量保持不变，这些不变量用于分类二次曲线：
- I1=A+C（迹）
- I2=∣∣∣∣∣AB/2B/2C∣∣∣∣∣=AC−4B2（行列式）
- I3=∣∣∣∣∣∣∣AB/2D/2B/2CE/2D/2E/2F∣∣∣∣∣∣∣
点法式： A(x−x0)+B(y−y0)+C(z−z0)=0
过点 (x0,y0,z0)，法向量为 (A,B,C)。
一般式： Ax+By+Cz+D=0
截距式： ax+by+cz=1
x、y、z轴截距分别为 a、b、c。
点到平面的距离：
点 (x0,y0,z0) 到平面 Ax+By+Cz+D=0 的距离：
d=A2+B2+C2∣Ax0+By0+Cz0+D∣
两平面的夹角： 由法向量夹角确定，cosθ=A12+B12+C12A22+B22+C22A1A2+B1B2+C1C2
对称式（点向式）： mx−x0=ny−y0=pz−z0
过点 (x0,y0,z0)，方向向量为 (m,n,p)。
参数式： ⎩⎪⎪⎨⎪⎪⎧x=x0+mty=y0+ntz=z0+pt
一般式（交面式）： 两平面 {A1x+B1y+C1z+D1=0A2x+B2y+C2z+D2=0 的交线。
直线间的关系： 平行、相交、异面。异面直线间的距离可以通过两直线的公垂线计算。
柱面： 沿某方向移动一条直线（母线）扫过的曲面。如 x2+y2=R2 表示圆柱面（母线平行于z轴）。
旋转曲面： 一条曲线绕一条直线旋转生成的曲面。如 z=x2+y2 表示旋转抛物面。
二次曲面： 空间中由二次方程表示的三维曲面，包括：
- 椭球面： a2x2+b2y2+c2z2=1
- 单叶双曲面： a2x2+b2y2−c2z2=1
- 双叶双曲面： a2x2−b2y2−c2z2=1
- 椭圆抛物面： z=a2x2+b2y2
- 双曲抛物面（马鞍面）： z=a2x2−b2y2
- 椭圆锥面： a2x2+b2y2=z2
空间曲线由两个曲面方程联立定义，也可以通过参数方程 r(t)=(x(t),y(t),z(t)) 表示。
向量代数将解析几何从坐标运算提升到几何不变量视角。
- 点积（内积）： a⋅b=∣a∣∣b∣cosθ=a1b1+a2b2+a3b3
- 叉积（外积）： a×b=(a2b3−a3b2,a3b1−a1b3,a1b2−a2b1)，结果向量垂直于 a 和 b
- 混合积： [a,b,c]=a⋅(b×c)，表示三个向量张成的平行六面体的有向体积
平面方程的法向量表示： 过点 r0，法向量 n 的平面：n⋅(r−r0)=0
直线的方向向量： 过点 r0，方向 v 的直线：r=r0+tv
点到直线的距离（向量法）： d=∣v∣∣(r1−r0)×v∣
异面直线的距离： d=∣v1×v2∣∣[r2−r1,v1,v2]∣
二维旋转矩阵：
R(θ)=(cosθsinθ−sinθcosθ)
三维绕坐标轴旋转矩阵：
绕z轴旋转 θ：
Rz(θ)=⎝⎛cosθsinθ0−sinθcosθ0001⎠⎞
齐次坐标与仿射变换： 在齐次坐标中，平移和旋转可以统一为矩阵乘法：
⎝⎛x′y′1⎠⎞=⎝⎛cosθsinθ0−sinθcosθ0txty1⎠⎞⎝⎛xy1⎠⎞
解析几何是计算机图形学的数学基础：
- 2D/3D变换： 物体的平移、旋转、缩放、剪切均可表示为矩阵运算
- 光栅化： 将几何图元（直线、三角形）转换为像素坐标
- 裁剪算法： Cohen-Sutherland算法、Liang-Barsky算法基于线段的参数方程
- 曲线曲面设计： Bézier曲线、B样条、NURBS曲面
- 碰撞检测： 基于分离轴定理（SAT）的凸体碰撞检测
- 光照与阴影： 法向量计算是光照模型（Phong、Blinn-Phong）的基础
- 相机标定： 将3D世界坐标映射到2D图像坐标，使用透视投影矩阵
- 立体视觉： 通过两幅图像的视差计算深度，基础矩阵 F 描述对应点约束
- 图像变换： 仿射变换和射影变换用于图像配准和校正
- 物体姿态估计： PnP（Perspective-n-Point）问题
- 运动学： 正向和逆向运动学依赖于坐标变换矩阵的链式乘积
- 路径规划： 配置空间（C-space）中的几何障碍物建模
- 末端执行器定位： 使用齐次变换矩阵表示各关节的位姿
- 抛体运动： 轨迹为抛物线，y=xtanθ−2v02cos2θgx2
- 轨道力学： 天体轨道为圆锥曲线（椭圆、双曲线、抛物线）
- 电磁学： 梯度、散度、旋度运算在正交曲线坐标系中的表示
- 弹性力学： 应力张量和应变张量的坐标变换
- 地图投影： 将球面坐标映射到平面坐标（如墨卡托投影、兰勃特投影）
- 空间分析： 点、线、多边形之间空间关系的几何计算
解析几何与线性代数密不可分：
- 线性方程组对应几何中平面/直线的交点问题
- 矩阵乘法对应坐标变换
- 特征值和特征向量揭示变换的几何本质
- 向量空间的概念推广了欧氏空间
正如线性代数教材《Linear Algebra Done Right》中所说："线性代数本质上是对几何的代数化表述。"
解析几何为微分几何提供了基础框架：
- 曲线的弧长、曲率、挠率
- 曲面的第一基本形式（度量）和第二基本形式（形状算子）
- Gauss曲率、平均曲率
- 测地线
代数几何是解析几何的深度推广，研究多项式方程组的零点集：
- 浮点数运算下的几何精度问题
- 几何算法复杂度分析
- 凸包、Voronoi图、Delaunay三角剖分
当直线垂直于x轴时，斜率为无穷大，不能使用点斜式或斜截式，必须使用一般式或x=c的形式。
二次曲线方程判别时需注意退化情况：
- x2+y2=0：退化为一个点（原点）
- x2−y2=0：退化为两条相交直线 y=±x
- x2=0：退化为一条直线（y轴重合）
在使用 θ=arctanxy 时，需根据 (x,y) 所在象限确定 θ 的正确范围。arctan 返回值在 (−π/2,π/2)，而 θ 应该在 [0,2π)。
正确做法是使用 atan2(y, x) 函数，它会根据坐标符号自动确定角度象限。
解析几何作为连接代数与几何的桥梁，不仅为数学研究提供了强大的方法论工具，也成为现代科学和工程技术不可或缺的基础。从笛卡尔坐标系的建立到高维流形的研究，解析几何已经发展成一个内涵丰富的数学分支。
对于数学学习和研究，掌握解析几何的核心思想——用代数方程研究几何性质，用几何直观理解代数结构——是理解更高深数学理论的必经之路。
参考书目：
- 丘维声《解析几何》（北京大学出版社）
- R. Descartes, La Géométrie (1637)
- J. Stillwell, Mathematics and Its History (Springer)
- D. Hilbert & S. Cohn-Vossen, Geometry and the Imagination
- 同济大学应用数学系《高等数学》