把圆写成方程后,点在圆上就是代入,圆与直线的交点就是联立。真正需要选择的是:求显式坐标,还是保留交点的约束。
一般圆与过原点的圆
圆心为 u、半径为 R>0 的圆满足
(z−u)(zˉ−uˉ)=R2.
也可以写成
C(z)=zzˉ−uˉz−uzˉ+q=0,q=∣u∣2−R2∈R.
因此,z 与 zˉ 的系数应互为共轭,且 ∣u∣2−q>0。等于 0 时是点圆,小于 0 时没有实平面上的点。
对点 P,C(p)=∣p−u∣2−R2 是它对圆的幂。它是实数,可以据其正负判断内外。
圆过原点时 q=0。联立过原点的直线 z=kzˉ,可得到第二交点
z=u+kuˉ.
若右边为 0,说明直线在原点与圆相切,两个交点重合。这个“圆斜式”只需代入并提取一个根就能推导。
直线交单位圆
联立 z−kzˉ=f 与 zzˉ=1,得到
z2−fz−k=0.
若已知其中一个交点 a,另一个交点 b 由根的乘积直接给出:
b=−ak.
这是已知圆上一点再作割线时的常用公式。若两个交点都未知,不必急着写根式:可以保留
a+b=f,ab=−k,aaˉ=bbˉ=1
继续运算。真实交点存在的条件是 ∣f∣≤2:小于 2 时有两个交点,等于 2 时相切,大于 2 时直线不交单位圆。
二次方程只是消元结果。直线不交圆时,其复数根不一定满足原来的共轭关系,不能把解出的任何根都当成几何交点。
单位圆切线与极线
单位圆在 A 处的切线为
aˉz+azˉ=2,z+a2zˉ=2a.
切线的方向参数是 −a2,与半径方向 a2 互为相反数。
圆外点 P 的两切点连线是它对单位圆的极线:
pˉz+pzˉ=2.
若两切点是 A,B,它们共同满足这条直线与单位圆的方程。切点不好显式求出时,就把 a,b 设出来,保留这些约束。
圆与圆:先相减得到根轴
两圆均把 zzˉ 的系数规范为 1,相减后消掉二次项,得到根轴。因此,求两圆公共点,可以转成“一个圆与根轴”的交点问题。
当一个圆为单位圆,另一个为
zzˉ−uˉz−uzˉ+q=0,
根轴为
uˉz+uzˉ=q+1.
若 u=0 且另一圆的半径为正,两圆相切等价于根轴与单位圆相切,即
2∣u∣∣q+1∣=1.
同心圆须另行判断,不在这个除法公式的适用范围内。
已知切点,就保留切线
若已知两圆在点 T 相切,围绕“切点 + 公共切线”建圆系,通常比从三个复杂点重新求圆心更简洁。具体写法见圆的生成与坐标选择。
参考:《复数法世界观与方法论》第 5–8 页;《复数法课程群聊发言稿》第 14–20、23–24 页。方程、半径与交点存在条件均补充了推导或说明。