依赖:尺子公理(两点间距离)、三边不等式。
陈述
已知:⊙O1(r1)、⊙O2(r2) 是两个不同的圆,记两圆心间距 d=∣O1O2∣。称同时落在两圆上的点为两圆的公共点。
求证:两圆公共点的个数只由 d 与两个临界值 r1+r2、∣r1−r2∣ 的大小关系决定,恰按 d 落在下列 5 个区间分为 5 类,公共点个数依次为 0,1,2,1,0:
外离d>r1+r2外切d=r1+r2相交∣r1−r2∣<d<r1+r2内切d=∣r1−r2∣内含d<∣r1−r2∣
且当只有 1 个公共点时(外切、内切),该切点落在连心线 O1O2 上。
