解析几何 · aiwiki.page

解析几何是数学的一个分支，运用坐标和代数方法研究几何学中的对象。点用数来表示，直线、曲线和曲面则用方程或参数表示来描述。这种对应关系使人们能够通过计算研究交点、距离和形状等几何问题。反过来，方程也可以从几何角度加以解释，从而揭示其解的性质。解析几何传统上研究平面和三维空间，但其方法也可推广到更高维度。(encyclopediaofmath.org)

历史发展

代数与几何之间的系统性联系形成于十七世纪的欧洲，其中勒内·笛卡尔和皮埃尔·德·费马的工作尤为重要。笛卡尔的《几何学》于1637年与《方法论》一同出版，提出了利用长度之间的代数关系解决几何问题的思路。费马则独立发展了研究轨迹的相关方法。他们的贡献奠定了解析几何的基础，不过两人都没有使用现代教科书中完整的坐标记号体系。(encyclopediaofmath.org)

笛卡尔的方法并不只是引入坐标纸，而是用方程表示几何作图，并通过对方程进行运算求出未知长度。由此形成的符号运算与几何解释之间的相互作用，推动了数学解题方式的变革。(plato.stanford.edu)

坐标与几何轨迹

平面上的笛卡尔坐标系由一个原点和两条相互垂直、选定了单位长度的坐标轴组成。每个点都对应于由两个实数组成的有序对 $(x,y)$ 。在三维欧几里得空间中，再加入一条与前两条轴均垂直的坐标轴，便得到坐标 $(x,y,z)$ 。方程的几何意义取决于所在的空间： $x=0$ 在平面中表示一条直线，在三维空间中则表示一个平面。(openstax.org)

轨迹是满足某个指定条件的点的集合。解析几何将这一条件转化为方程。例如，与 $(h,k)$ 的距离为 $r>0$ 的点满足

(x-h)^2+(y-k)^2=r^2,

这就是圆的方程。这一转化用到了勾股定理和欧几里得距离的坐标公式。(openstax.org)

方程所描述的对象不一定是 $y=f(x)$ 形式的函数图像。对于许多 $x$ 值，圆上通常都有两个对应的 $y$ 值；而一条竖直直线上，则有无穷多个点具有相同的 $x$ 坐标。因此，隐式方程能够描述无法用单个此类函数表示的对象。(openstax.org)

直线、平面与交点

在平面中，直线的方程为

ax+by+c=0,

其中 $a$ 和 $b$ 不同时为零。当 $b\ne0$ 时，可将其写成 $y=mx+d$ ，其中斜率为 $m=-a/b$ 。一般形式也涵盖竖直直线。求交点相当于联立求解各个方程；对于由线性方程描述的对象，这就归结为求解线性方程组。(encyclopediaofmath.org)

在空间中，经过位置向量为 $\mathbf p$ 的点、以非零向量 $\mathbf v$ 为方向向量的直线可表示为

\mathbf x=\mathbf p+t\mathbf v,\qquad t\in\mathbb R.

经过该点、以非零向量 $\mathbf n$ 为法向量的平面满足

\mathbf n\cdot(\mathbf x-\mathbf p)=0.

点积是内积的一种，在这里用来表达垂直关系。这些表示将坐标几何与线性代数联系起来，并可自然推广到高维空间中的超平面。(openstax.org)

圆锥曲线与坐标轴变换

圆锥曲线——圆、椭圆、抛物线和双曲线——是解析几何中的重要例子。它们的标准方程能够直接展现其几何特征。对于正数 $a,b$ ，

\frac{x^2}{a^2}+\frac{y^2}{b^2}=1

表示一个椭圆，而将加号改为减号，就得到双曲线的方程。方程 $y^2=4px$ （其中 $p\ne0$ ）表示一条抛物线。(openstax.org)

一般二次方程为

Ax^2+Bxy+Cy^2+Dx+Ey+F=0.

对于非退化的实圆锥曲线， $B^2-4AC$ 的符号可用来区分椭圆、抛物线和双曲线。退化情形需要另行考虑：方程可能表示相交直线、一个点，也可能不存在实点。坐标轴的平移和旋转可以简化方程，而不改变图形本身。(openstax.org)

旋转坐标轴可以消去混合项 $xy$ 。用矩阵记号表示时，二次项构成一个对称二次型；选取与其特征向量对应的正交方向，便可得到主轴。(encyclopediaofmath.org)

参数表示与极坐标表示

参数方程通过一个参数来表示坐标：

x=f(t),\qquad y=g(t).

例如， $x=r\cos t,\ y=r\sin t$ ，其中 $0\le t<2\pi$ ，描绘了沿一个圆走过一周的过程。参数表示不仅能描述点的集合，还能描述沿曲线运动的过程和方向；不同的参数表示可以以不同的速率描绘同一条曲线。(openstax.org)

极坐标使用径向坐标和角度，它们与笛卡尔坐标的关系为 $x=r\cos\theta$ 和 $y=r\sin\theta$ 。极坐标往往能简化具有旋转特征的曲线的表示：以原点为圆心的圆只需写成 $r=a$ ，其中 $a>0$ 。因此，选择坐标系本身就是方法的一部分，而不是必须遵循的固定要求。(openstax.org)

与其他分支的关系

解析几何为微积分研究曲线和曲面提供了坐标框架。导数描述曲线的切向性质，积分则用于计算面积和其他几何量。解析几何的方法也是微分几何的基础，后者运用微分研究局部几何性质。代数几何则将对多项式方程解集的研究发展为更广泛的理论。这些学科都利用方程与几何之间的对应关系，但各自关注的核心问题和采用的方法有所不同。(encyclopediaofmath.org)