最近做题的时候发现很多隐圆,做了一套专题后我决定写篇文章总结,主要记录大部分题型和相关技巧的证明,整体难度偏易
如果你想速成,可以看看这篇文章
什么是隐圆问题
隐圆问题是一个经典的问题,一般题目中会给你一些信息,在这些信息里构造圆才能很好地解决
定点定长型
这是一个非常基础的题型,如果一个动点 $P$ 到一个定点 $O$ 的距离始终等于定值 $r$ ,那么根据圆的定义, $P$ 在以 $O$ 为圆心的圆上
直角对直径
我们都知道在一个圆里,直径所对的圆周角是 90° ,那反过来呢?
如果一个角是直角,且角的顶点在某条线段AB上移动时始终保持 90°,那么这个顶点的轨迹是以 AB 为直径的圆。
如果我们能证明这个命题。就意味着只需要构造直角三角形,就能轻松得到隐圆。
针对命题的证明,我们可以使用斜边中线定理巧妙地证明
证明过程
假设一圆 $O$ , $A$ , $B$ 是直径, $C$ 是不在圆上的一点
如果 $\angle ACB = 90°$ , $CO$ 就为 $\bigtriangleup ACB$ 斜边上的中线
根据斜边中线定理, $CO=AO=BO$ ,所以 $C$ 一定在圆上 , 与假设冲突 , 所以不存在不在圆上的点使 $\angle ACB = 90°$
阿波罗尼斯圆
阿波罗尼斯圆简称阿氏圆,如果平面上有两个定点 $A,B$ 和一动点 $P$ ,如果 $P$ 到 $A$, $B$ 的距离之比为定值, 即$\frac{PA}{PB}=k\,\,\left( k>0,k\ne 1 \right) $ ,那么 $P$ 的轨迹就是一个圆,我们称这个圆为阿波罗尼斯圆
这个定理可以用几何或者代数证明
几何证明
如图所示,延长 $AC$ ,作 $\angle ACB$ 和 这个三角形外角的角平分线,交直线 $AB$ 于点 $M,N$
显而易见, $\angle MCN$ 等于 $90°$ ,仅需证明 $M,N$ 为定点即可证明 $P$ 在一定圆上
根据角平分线定理, $PA:PB=AM:BM$ , $PA:PB=AN:BN$
$PA:PB=AM:BM=AN:BN=k$ , $A,B$ 是定点, $M$ , $N$ 与动点 $P$ 无关,所以 $M,N$ 也是定点
$M,N$为直径,则 $P$ 在圆上
如果你不知道角平分线定理:
代数证明
不妨设 $A(0, 0)$,$B(a, 0)$($a > 0$),动点 $P(x, y)$ 满足:
$$\frac{|PA|}{|PB|} = k \quad (k > 0,; k \neq 1)$$
由距离公式:
$$\frac{\sqrt{x^2 + y^2}}{\sqrt{(x - a)^2 + y^2}} = k$$
两边平方
$$x^2 + y^2 = k^2 \left[(x - a)^2 + y^2\right]$$
展开并整理
展开右边:
$$x^2 + y^2 = k^2 x^2 - 2k^2 ax + k^2 a^2 + k^2 y^2$$
移项:
$$(1 - k^2)x^2 + (1 - k^2)y^2 + 2k^2 ax - k^2 a^2 = 0$$
因为 $k \neq 1$,故 $1 - k^2 \neq 0$,两边除以 $(1 - k^2)$:
$$x^2 + y^2 + \frac{2k^2 a}{1 - k^2},x - \frac{k^2 a^2}{1 - k^2} = 0$$
配方化为标准圆方程
对 $x$ 配方,令:
$$h = -\frac{k^2 a}{1 - k^2} = \frac{k^2 a}{k^2 - 1}$$
则:
$$(x - h)^2 + y^2 = h^2 + \frac{k^2 a^2}{1 - k^2}$$
化简右边:
$$r^2 = \left(\frac{k^2 a}{k^2 - 1}\right)^2 + \frac{k^2 a^2}{1 - k^2} = \frac{k^4 a^2}{(k^2 - 1)^2} - \frac{k^2 a^2}{k^2 - 1} = \frac{k^4 a^2 - k^2 a^2(k^2 - 1)}{(k^2 - 1)^2} = \frac{k^2 a^2}{(k^2 - 1)^2}$$
轨迹方程为:
$$\left(x - \frac{k^2 a}{k^2 - 1}\right)^2 + y^2 = \left(\frac{ka}{k^2 - 1}\right)^2$$
这是一个标准圆方程,其中:
圆心$\displaystyle\left(\frac{k^2 a}{k^2 - 1},; 0\right)$
半径$\displaystyle r = \frac{ka}{\left\lvert k^2 - 1 \right\rvert}$
特殊情况:
当 $k = 1$ 时,等式 $(1 - k^2)x^2 + (1 - k^2)y^2 + 2k^2 ax - k^2 a^2 = 0$ 退化为 $2ax = a^2$,即 $x = \dfrac{a}{2}$,这是 $A$、$B$ 的中垂线,不是圆。
定边对定角/张角模型
如果一个动点 $P$ 所对线段 $AB$ 的张角 $\angle APB=\alpha $ ($\alpha$为常数),则 $P$ 的轨迹是两段对称的圆弧
其实前面的直角对直径就是这个模型的一个变种
那如何证明点 $P$ 一定在圆上呢,还是用反证法
证明
第一种情况
如图,一直线与圆 $O$ 交于 $A,B$ 两点, $P$ 是圆上一动点, $\angle APB=\alpha $ , 假设一点 $P'$ 在圆外,但是满足 $\angle AP'B=\alpha $
我们看看会发生什么
设 $P'A$ 交圆 $O$ 于点 $Q$
根据圆周角定理:
$$\angle AQB=\angle APB=\alpha$$
又因为 $\angle AQB$ 是 $\bigtriangleup BQP'$ 的外角,即 $\angle AQB=\angle AP'B+\angle P'BQ = \alpha + \angle P'BQ$
因为 $P'$ 是圆外一点
所以 $\angle P'BQ$ 不可能为0
第二种情况
和之前一样,不过这次 $P'$ 在圆内,假设满足 $\angle AP'B=\alpha $
和上一种情况类似
这时候 $\angle AP'B = \angle ACB + \angle CBP'$
$\angle CBP'$ 不可能为 $0$
所以 $P'$ 也不可能在圆内
综上所述,若定线段 $AB$ 所对的角 $∠APB=\alpha$ (定值),且点 $P$ 在直线 $AB$ 的同侧,则顶点 $P$ 的轨迹是一段以 $AB$ 为弦的圆弧
变形:最大张角问题/米勒定理
如图, $\angle MON$ 是一定角, $A,B$ 是 $ON$ 上两定点 , 当动点 $C$ 在直线 $OM$ 上运动到何位置时, $\angle ACB$ 最大?
不妨过点 $A,B,C$ 做圆 $R$
当圆 $R$ 与 $OM$ 相切于点 $C$ 时, $\angle ACB$ 最大
证明过程
假设一点 $C'$ 不与点 $C$ 重合,如图
连接 $C'B$ 交 $AC$ 于点 $D$ ,连接 $C'A,DA$
$\angle ADB$ 是 $\bigtriangleup AC'D$ 的外角, 所以 $\angle ADB > \angle AC'B$
根据圆周角定理, $\angle ADB=\angle ACB$ ,所以 $\angle ACB > \angle AC'B$
所以对于任意不与点 $C$ 重合的点 $C'$ , $AB$ 所对点 $C'$ 的张角一定小于 $AB$ 所对点 $C$ 的张角
运用切割线定理,我们可以求出点C的位置(实际上就是相似三角形)
四点共圆
四点共圆即四个点在同一个圆上,共圆后可以通过圆的性质得到条件
判定:圆内接四边形对角互补
我们知道圆内接四边形对角互补,但是反过来四边形对角互补是不是顶点都在在圆上?
证明过程
如图,在四边形 $ABCD$ 中 $\angle ABC + \angle ADC = 180°$ , 过 $B , C,D$作圆 , 假设 $A$ 在圆外 , 作 $AD$ 交圆于点 $E$ , 连接 $BE$
因为 $\angle ABC + \angle ADC = 180°$ ,四边形内角和为 $360°$
所以 $\angle BAD + \angle BCD = 180°$ , 即 $\angle BAD = 180° - \angle BCD$
又因为四边形 $BCDE$ 是圆内接四边形
所以 $\angle BED = 180° - \angle BCD$
$$\angle BED = \angle BAD$$
但 $\angle BED = \angle BAD + \angle ABE$
所以假设矛盾, $A$ 一定在圆上
同理,若 $A$ 在圆内同样可延长 $DA$ 交圆于点 $E$ ,然后通过外角推出矛盾
判定:同侧的两点对同一线段所张的角相等
即圆周角定理的逆定理
证明过程
如图所示, $\angle ADB = \angle ACB$ , 过点 $A,B,C$ 作圆,假设点 $D$ 在圆外, $AD$ 于圆交于点 $E$ , 连接 $BE$
根据圆周角定理, $\angle AEB = \angle ACB$
因为 $\angle AEB$ 是 $\bigtriangleup BED$ 的外角,所以 $\angle AEB$ = $\angle ADB + \angle DBE$
我们得出一个矛盾的结论: $\angle ADB + \angle DBE = \angle ADB $
所以 $D$ 不在圆外
同理, 当点 $D$ 在圆内的时候延长 $AD$ 交圆于点 $E$ ,同样通过外角推出矛盾
其他方法
其实还有很多方法
比如托勒密逆定理,相交弦逆定理,割线逆定理
但是几乎没遇到过
或许高中能用到比较多
其实是累了写不动了