跳到主要内容

直线和圆

参考资料​

直线方程​

常见的直线方程有 斜截式、两点式、点斜式、截距式、一般式、点向式、参数式 等。

正切与斜率​

如图，带入正切 tan⁡\tan 的锐角三角函数的定义：

tan⁡θ=ΔyΔx\tan{\theta}=\frac{\Delta y}{\Delta x}

不难发现，ΔyΔx\frac{\Delta y}{\Delta x} 也是直线的斜率 kk 的计算公式。

所以一条 倾斜角 为 θ\theta 的直线，斜率 k=tan⁡θk=\tan{\theta}。

k=tan⁡θ=ΔyΔxk=\tan{\theta}=\frac{\Delta y}{\Delta x}

点斜式​

确定一条直线需要两条信息，假设我们知道了一条直线过一个点 (x0,y0)(x_0,y_0)，那么我们只需要知道这条直线的倾斜角或者斜率，就可以确定这条直线了。

我们定义直线的方向为直线向上的方向，这个方向与 xx 轴正半轴的夹角 θ\theta，记为这条直线的 倾斜角，倾斜角的范围是 θ∈[0,π)\theta\in[0,\pi)。特殊的，规定 xx 轴的倾斜角为 00。

我们定义直线的 斜率 为：

k=y2−y1x2−x1,x1≠x2k=\frac{y_2-y_1}{x_2-x_1},x_1\neq x_2

也就是，xx 每增加 11，yy 的变化量就是直线的斜率，特殊的，我们不定义平行于 yy 轴的直线的斜率。容易得到：

  • 倾斜角 α∈(0,π/2)\alpha\in(0,\pi/2)，斜率 k>0k>0，yy 随 xx 增大而增大。

  • 倾斜角 α∈(π/2,π)\alpha\in(\pi/2,\pi)，斜率 k<0k<0，yy 随 xx 增大而减小。

k=tan⁡θ,θ=arctan⁡kk=\tan\theta,\theta=\arctan k

因此，我们就可以得到直线方程的点斜式：

y−y0=k(x−x0)y-y_0=k(x-x_0)

两点式​

容易知道，两点确定一条直线，如果两点横坐标不相等，我们可以这么写出直线方程：

y−y1=y2−y1x2−x1(x−x1)y-y_1=\frac{y_2-y_1}{x_2-x_1}(x-x_1)

可以认为是把点斜式和斜率的公式带入而已，也可以认为是：

y−y1x−x1=y2−y1x2−x1\frac{y-y_1}{x-x_1}=\frac{y_2-y_1}{x_2-x_1}

等一系列斜率的等式。

点向式​

我们知道过一个点的直线可以用法向量或方向向量来表示，我们将在一般式中用到法向量，因此这里用方向向量的方法。假设 M0(x0,y0)M_0(x_0,y_0) 在直线 ℓ\ell 上，直线方向向量 e=(A,B)\bm e=(A,B)，因此直线上任意一点满足：

OM→=OM0→+λe,λ∈R\overrightarrow{OM}=\overrightarrow{OM_0}+\lambda\bm e,\lambda\in\R

容易知道，直线斜率就是 B/AB/A。

参数式​

从向量式出发，可以将参数 λ\lambda 引入方程组：

{x=x0+Aλy=y0+Bλ\begin{cases} x&=x_0+A\lambda\\ y&=y_0+B\lambda \end{cases}

或者从点斜式出发：

{x=x0+λcos⁡αy=y0+λsin⁡α\begin{cases} x&=x_0+\lambda\cos\alpha\\ y&=y_0+\lambda\sin\alpha \end{cases}

称为参数式，这个表示不常用。

斜截式​

当一个点横坐标为 00，点斜式就退化为斜截式，斜截式的通式为：

y=kx+by=kx+b

其中 bb 称为纵截距，这也是初中数学的常用形式。

斜截式 y=kx+by=kx+b 即为一次函数。

直线与一次函数的区别：所有的一次函数都是直线，但平行于 yy 轴的直线 x=Cx=C 不是函数。

截距式​

当两点分别在 x,yx,y 轴上，两点式退化为截距式：

xa+yb=1\frac{x}{a}+\frac{y}{b}=1

注意：正比例函数 y=xy=x 无法写成截距式，这个通常要特殊讨论。

表示两点分别是 (a,0),(0,b)(a,0),(0,b)，分别称为横截距和纵截距。

一般式​

我在这里用法向量的方法做截距式，如下：

一条直线过 M0(x0,y0)M_0(x_0,y_0)，且法向量为 n=(A,B)\bm n=(A,B)，则对于直线上一点 M(x,y)M(x,y) 有：

MM0⋅n=0MM_0\cdot\bm n=0

展开得到：

A(x−x0)+B(y−y0)=0A(x-x_0)+B(y-y_0)=0

设 C=−(Ax0+By0)C=-(Ax_0+By_0)，那么可以得到一般式：

Ax+By+C=0Ax+By+C=0

在这形式下，直线的斜率是 −AB-\frac{A}{B} ，横截距是 −CA-\frac{C}{A} ，纵截距是 −CB-\frac{C}{B}。

特殊的，如果直线过原点，则 C=0C=0；对于斜率不存在的，直线方程就为 x=x0x=x_0。

写一般式技巧：

  • 用两种方式表示斜率，比如用 (x,y)(x,y) 点和任意给定的一点，给定的两点，然后化简。

圆的方程​

在有关圆的问题中几何法往往是第一选择，但解析几何的意思就是用代数的万法研究几何问题。在这里代数方法指的就是坐标法求出坐标成了最关键的一步，而求坐标的大前提就是需要联立直线与圆的方程，我们会在圆锥曲线中详细讨论这个问题。

极坐标​

理解：在笛卡尔坐标系中，我们关心的是点到坐标轴的距离，同样，我们也可以关心点到原点的距离，那么，我们还需要一个「方向」信息，于是我们引入点与原点的连线与 xx 轴的夹角，即为极坐标。

  • 在平面上选一定点 OO，称为极点。
  • 自极点引出一条射线 OxOx，称为极轴。
  • 选择一个单位长度（在数学问题中通常为 11），一个角度单位（通常为弧度）及其正方向（通常为逆时针方向）。

就建立了平面极坐标系。设 AA 为平面上一点。

  • 极点 OO 与 AA 之间的距离 ∣OA∣|OA| 称为极径，记为 ρ\rho。
  • 以极轴为始边，OAOA 为终边的角 ∠xOA\angle xOA 称为极角，记为 φ\varphi。
  • 那么有序数对 (ρ,φ)(\rho,\varphi) 即为 AA 的极坐标。

由终边相同的角的定义可知，(ρ,φ)(\rho,\varphi) 与 (ρ,φ+2kπ) (k∈Z)(\rho,\varphi + 2k\pi)\ (k\in \mathbf{Z}) 其实表示的是一样的点。特别地，极点的极坐标为 (0,φ) (φ∈R)(0,\varphi)\ (\varphi \in \mathbf{R})，于是平面内的点的极坐标表示有无数多种。如果规定 ρ≥0,0≤φ<2π\rho \ge 0,0 \le \varphi < 2\pi，那么除极点外，其他平面内的点可以用唯一有序数对 (ρ,φ)(\rho,\varphi) 表示，而极坐标 (ρ,φ)(\rho,\varphi) 表示的点是唯一确定的。

当然，有时候研究极坐标系下的图形有些不方便。要想转到直角坐标系下研究，有互化公式。点 A(ρ,φ)A(\rho,\varphi) 的直角坐标 (x,y)(x,y) 可以如下表示：

{x=ρcos⁡φy=ρsin⁡φ\begin{cases} x &= \rho \cos \varphi \\ y &= \rho \sin \varphi \end{cases}

进而可知：

ρ2=x2+y2tan⁡φ=yx(x≠0)\begin{aligned} \rho^2 &= x^2 + y^2\\ \tan \varphi &= \frac{y}{x}(x\not =0) \end{aligned}

于是有 ρ=x2+y2\rho = \sqrt{x^2+y^2}。但具有相同 yx\frac{y}{x} 的 tan⁡φ\tan\varphi 有两个可能的 φ\varphi 的值，此时还需要根据 x,yx, y 的值来确定方向。具体地，定义函数：

atan2⁡(y,x)={arctan⁡(yx)if x>0arctan⁡(yx)+πif y≥0,x<0arctan⁡(yx)−πif y<0,x<0π/2if y>0,x=0−π/2if y<0,x=0anyif y=0,x=0\operatorname{atan2}(y, x) = \begin{cases} \arctan(\frac{y}{x}) & \text{if } x > 0 \\ \arctan(\frac{y}{x}) + \pi & \text{if } y \ge 0, x < 0 \\ \arctan(\frac{y}{x}) - \pi & \text{if } y < 0, x < 0 \\ \pi/2 & \text{if } y > 0, x = 0 \\ -\pi/2 & \text{if } y < 0, x = 0 \\ \text{any} & \text{if } y = 0, x = 0 \end{cases}

则 φ=atan2⁡(y,x)\varphi = \operatorname{atan2}(y, x)。注意上述函数的值域为 (−π,π](-\pi, \pi]。

注意，在极坐标中表示直线或曲线，我们常用 ρ=f(φ)\rho=f(\varphi) 的函数。

标准方程​

我们知道圆可以通过圆心和半径确定，我们写出距离公式：

(x−a)2+(y−b)2=r2(x-a)^2+(y-b)^2=r^2

即为圆的标准方程，而圆内和圆外分别为小于号和大于号。

单位圆的标准方程：

x2+y2=1x^2+y^2=1

一般方程​

我们将标准方程展开：

x2+y2−2ax−2by+a2+b2−r2=0x^2+y^2-2ax-2by+a^2+b^2-r^2=0

分别设：

{D=−2aE=−2bF=a2+b2−r2\begin{cases} D&=-2a\\ E&=-2b\\ F&=a^2+b^2-r^2 \end{cases}

而根据次数，A,B,CA,B,C 分别为 x2,y2,xyx^2,y^2,xy 的系数，分别为 1,1,01,1,0，我们不在一般方程中体现，但是字母保留，不用写出，因此字母应当从 DD 开始写，即一般方程：

x2+y2+Dx+Ey+F=0x^2+y^2+Dx+Ey+F=0

一个圆一定可以表示成这个形式，但是满足这个形式的不一定是一个圆，根据配方法：

(x+D2)+(y+E2)=D2+E2−4F4\left(x+\frac{D}{2}\right)+\left(y+\frac{E}{2}\right)=\frac{D^2+E^2-4F}{4}

因此只要 D2+E2>4FD^2+E^2>4F，该方程就可以表示一个圆了；特殊的，如果 D=E=FD=E=F 则该方程表示一个点 (0,0)(0,0)。具体的，圆心：(−D2,−E2)\left(-\frac{D}{2},-\frac{E}{2}\right)，半径：D2+E2−4F2\frac{\sqrt{D^2+E^2-4F}}{2}。

做题方法：

  • 一般来说，给定三个点，会求一般方程，因为一般方程是一次方程。

  • 如果有两个点某坐标相等，那么做出垂直平分线，然后设出标准方程。

  • 一般方程判断点是否在圆内、外，只需要用左式与 00 比较即可，大于 00 在圆外，小于 00 在园内。

直径方程：已知一个圆的一条直径 ABAB，则圆的方程可以表示为：

(x−x1)(x−x2)+(y−y1)(y−y2)=0(x-x_1)(x-x_2)+(y-y_1)(y-y_2)=0

容易知道根据直径所对圆周角是直角，向量点积为零得到，即为圆的方程。

已知点 A(x1,y1)A(x_1, y_1)，B(x2,y2)B(x_2, y_2)，若

AP→⋅BP→=λ\overrightarrow{AP} \cdot \overrightarrow{BP} = \lambda

则点 PP 的轨迹是圆，其方程为：

(x−x1)(x−x2)+(y−y1)(y−y2)=λ(x - x_1)(x - x_2) + (y - y_1)(y - y_2) = \lambda

其中 (x1−x2)2+(y1−y2)2+4λ>0(x_1 - x_2)^2 + (y_1 - y_2)^2 + 4\lambda > 0。

向量方程​

在平面中，把所有等长的向量平移到同一起点，则构成的图形必然是圆，而这些以圆心为起点的向量，方向却是任意的，但是长度始终是恒定的。根据圆的定义可以得到标准圆的向量形式：

  • 向量式标准圆 ∣a−a0∣=r|\boldsymbol{a} - \boldsymbol{a}_0| = r，其中 a0\boldsymbol{a}_0 是确定的，rr 为大于零的常数。

在圆的性质之中，率先容易想到的莫过于直径所对的圆周角为直角，而向量的数量积恰恰是角度最好的体现，则有如下知识点：

  • 向量式直径圆：(c−a)⋅(c−b)=0(\boldsymbol{c} - \boldsymbol{a}) \cdot (\boldsymbol{c} - \boldsymbol{b}) = 0。这是以 ∣a−b∣|\boldsymbol{a} - \boldsymbol{b}| 为直径的圆。

在遇到以线段长为直径的圆的时候，我们要做就是转化圆上的点与线段的两端点所构成的数量积为零。但我们都知道直径是特殊的弦，由特殊性必然可以推广到一般性，即直径圆的向量形式：(c−a)⋅(c−b)=0(\boldsymbol{c} - \boldsymbol{a}) \cdot (\boldsymbol{c} - \boldsymbol{b}) = 0。这是以 ∣a−b∣|\boldsymbol{a} - \boldsymbol{b}| 为直径的圆。正是由于角度的特殊性，可以通过数量积体现出直角，若不是直角时，我们发现数量积就没有一般性了，因此我们把直径圆的向量式一般化就可以得到 ⟨c−a,c−b⟩=90∘\langle \boldsymbol{c} - \boldsymbol{a}, \boldsymbol{c} - \boldsymbol{b} \rangle = 90^{\circ}，其中 ∣a−b∣|\boldsymbol{a} - \boldsymbol{b}| 为定值。由此我们可以得到外接圆的向量形式：

  • 向量式外接圆：⟨c−a,c−b⟩=θ\langle \boldsymbol{c} - \boldsymbol{a}, \boldsymbol{c} - \boldsymbol{b} \rangle = \theta 且 ∣a−b∣|\boldsymbol{a} - \boldsymbol{b}| 为定值。

圆心系​

我们考虑这个方程：

(x−3cos⁡θ)2+(y−3sin⁡θ)2=1(x-3\cos\theta)^2+(y-3\sin\theta)^2=1

容易知道，这是一个以 (3cos⁡θ,3sin⁡θ)(3\cos\theta,3\sin\theta) 为圆心、半径为 11 的圆，

这样的圆有无数个，围成了一个圆环。

直线和圆​

平行与垂直​

基本思想：

  • 两条直线平行，当且仅当 k1=k2k_1=k_2 或 θ1=θ2\theta_1=\theta_2。
  • 两条直线垂直，当且记得 k1k2=−1k_1k_2=-1 或 θ1+θ2=90∘\theta_1+\theta_2=90^\circ。

做题方法：

  • 验证三点共线：将直线分为两半，证明夹角为 180∘180^\circ 或两段斜率相等。
  • 验证两直线是否平行：在两直线上任取三个点（不在同一直线上），随便验证两个斜率是否相等即可。
  • 除非特殊优势，一般情况下可以常用点斜式和一般式来进行书写直线方程。
  • 用方向向量和法向量可以规避对斜率不存在的讨论，经常可以快速解题。
  • 关于坐标轴对称，优先用斜截式，因为斜率和纵截距一定是有关系的。
  • 圆上的点与点的距离的最值往往可以转化为圆心与这个点的距离加上半径或者减去半径求出。
  • 已知点 NN 是圆 CC 内一点，则过点 NN 的直线与圆所交得的弦的长度的最大值为圆的直径，最小值为垂直于过点 NN 的直径的弦的长度，垂足为点 NN。

交点与距离​

给出两条直线：

{ℓ1:A1x+B1y+C1=0ℓ2:A2x+B2y+C2=0\begin{cases} \ell_1:&A_1x+B_1y+C_1=0\\ \ell_2:&A_2x+B_2y+C_2=0 \end{cases}

求交点，即为 Q(x,y)Q(x,y) 满足上述两式，解方程组即可，我们写出矩阵：

[A1B1A2B2][xy]=[−C1−C2]\begin{bmatrix}A_1 & B_1 \\A_2 & B_2\end{bmatrix}\begin{bmatrix} x \\ y\end{bmatrix}=\begin{bmatrix}-C_1\\-C_2\end{bmatrix}

根据克拉默法则，若 A1B2−A2B1≠0A_1B_2-A_2B_1\neq0 则方程有解，且：

{x=B1C2−B2C1A1B2−A2B1y=A2C1−A1C2A1B2−A2B1\begin{cases} x&=\frac{B_1C_2-B_2C_1}{A_1B_2-A_2B_1}\\ y&=\frac{A_2C_1-A_1C_2}{A_1B_2-A_2B_1} \end{cases}

两点 A(x1,y1),B(x2,y2)A(x_1,y_1),B(x_2,y_2) 间的距离：

dis=(x2−x1)2+(y2−y1)2=k2+1∣x2−x1∣\begin{aligned} \text{dis}&=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}\\ &=\sqrt{k^2+1}|x_2-x_1| \end{aligned}

在圆锥曲线中，后者称为弦长公式。

点 (x0,y0)(x_0,y_0) 到直线 Ax+By+C=0Ax+By+C=0 的距离：

dis=Ax0+By0+CA2+B2\text{dis}=\frac{Ax_0+By_0+C}{\sqrt{A^2+B^2}}

两直线的距离，假设两条平行直线可以表示为：

{ℓ1:Ax+By+C1=0ℓ2:Ax+By+C2=0\begin{cases} \ell_1: & Ax+By+C_1=0 \\ \ell_2: & Ax+By+C_2=0 \end{cases}

写出点到直线距离公式，将另一直线带入分子：

dis=∣C2−C1∣A2+B2\text{dis}=\frac{|C_2-C_1|}{\sqrt{A^2+B^2}}

位置的关系​

  • 直线和圆的位置关系：相离、相切、相交。

    1. 圆心到直线的距离，与圆的半径比较。

      d=AxO+ByO+CA2+B2d=\frac{Ax_O+By_O+C}{\sqrt{A^2+B^2}}

      弦长根据垂径定律，为 2r2−d22\sqrt{r^2-d^2}。

    2. 联立，求交点个数，即方程的解的个数，通常用带入消元。得到交点后，可以用距离公式得到弦长。

  • 圆与圆的位置关系：

    对应距离图示如下：

    除了用圆心距离，同样可以联立，解方程可以用加减消元。两个二次项系数相等的圆的直线方程的差，就是交点所确定的直线的直线方程。

切线的问题​

两圆位置关系与公切线条数的关系：

  • 两圆外离 ⇔ 公切线有 44 条；
  • 两圆外切 ⇔ 公切线有 33 条；
  • 两圆相交 ⇔ 公切线有 22 条；
  • 两圆内切 ⇔ 公切线有 11 条；
  • 两圆内含 ⇔ 公切线有 00 条。

过圆（下面的内容详见 GeoGebra）：

(x−a)2+(y−b)2=r2(x−a)^2+(y−b)^2=r^2

  • 圆上 一点 P(x0,y0)P(x_0,y_0) 作圆的切线，则以 P(x0,y0)P(x_0,y_0) 为切点的切线方程为：

  • 圆外 一点 P(x0,y0)P(x_0,y_0) 作圆的两条切线，则两切点所在的直线方程为：

(x0−a)(x−a)+(y0−b)(y−b)=r2(x_0−a)(x−a)+(y_0−b)(y−b)=r^2

注意：当设出直线，一定要考虑斜率不存在的情况，这个时候是无法通过直线方程解出来的。

  • 已知切线：连接圆心和切点，有垂直关系。

  • 过一点求切线：设直线方程，解方程圆心到直线的距离为半径，应该有两条切线。

  • 若直线与圆相交，那么圆心到直线的距离 dd、弦长 LL 的一半以及圆的半径 rr 刚好构成了一个小的直角三角形，则 r2=d2+(L/2)2r^2=d^2+(L/2)^2。

  • 当涉及恒过定点的直线与曲线（完整的圆除外）有交点的时候，首先确定相应的临界情形（初始位置），然后绕着定点旋转直线，直到完全符合题意才终止旋转。

我们知道过圆 (x−a)2+(y−b)2=r2(x-a)^2+(y-b)^2=r^2 外一点 P(x0,y0)P(x_0,y_0) 的切线方程为：

(x0−a)(x−a)+(y0−b)(x−b)=r2(x_0-a)(x-a)+(y_0-b)(x-b)=r^2

带入圆的参数方程：

(x−a)cos⁡θ+(y−b)sin⁡θ=r(x-a)\cos\theta+(y-b)\sin\theta=r

我们发现该直线所围成的图形就是圆，只要过圆上任意一点作圆的切线构成的集合就可以把整个圆包络在里面。因此我们把该直线称为是圆的包络线。

拓展定理​

托勒密定理​

托勒密定理指出：圆内接凸四边形中，两组对边的乘积之和等于两条对角线的乘积。

AB⋅CD+AD⋅BC=AC⋅BDAB\cdot CD+AD\cdot BC=AC\cdot BD

广义托勒密定理指出，任意凸四边形左式大于等于右式，取等当且仅当为圆内接。

AB⋅CD+AD⋅BC≥AC⋅BDAB\cdot CD+AD\cdot BC\ge AC\cdot BD

若线段 ABAB 与 CDCD 相交于 MM，则 A,B,C,DA, B, C, D 四点共圆等价于 ∣MA∣⋅∣MB∣=∣MC∣⋅∣MD∣|MA| \cdot |MB| = |MC| \cdot |MD|。

相交弦定理​

圆的两条弦 AB,CDAB,CD 相交于点 PP，如图

则

∣PA∣⋅∣PB∣=∣PC∣⋅∣PD∣|PA|\cdot|PB|=|PC|\cdot|PD|

如果 PP 在园内也成立。

圆幂定理​

平面上任意一点 PP，以及圆心为 OO，半径为 rr 的圆，则定义 圆幂 hh 为：

h=OP2−r2h=OP^2-r^2

圆幂定理指出，给定一个圆 Γ\Gamma 以及一点 PP，从该点引出两条割线，分别与 Γ\Gamma 相交于 A,BA,B 以及 C,DC,D，则有：

PA‾⋅PB‾=PC‾⋅PD‾=h=OP2−r2\overline{PA}\cdot\overline{PB}=\overline{PC}\cdot\overline{PD}=h=OP^2-r^2

这个乘积，是 PP 对于 Γ\Gamma 的圆幂，故定理以此为名。

西姆松定理​

点 PP 到 △ABC\triangle ABC 各边的投影共线，当且仅当 PP 位于该三角形的外接圆上。

斯坦纳线定理：一个三角形外接圆上任意一点（该点不为三角形顶点）关于三角形三边的对称点，这三个对称点是共线的，并且这条直线（称为斯坦纳线）必经过该三角形的垂心。

假设点 PP 位于三角形 ABCABC 的外接圆上。在外接圆上选择一点 B′B'，使得直线 PB′PB' 垂直于 ACAC。那么 BB′BB' 平行于 PP 的西姆松线。

推论：当点 PP 沿圆周移动时，西姆松线以弧 PAPA 变化率的一半的速率向相反方向旋转。