デカルトの円定理
直線では k = 0 だから、式(2)より k 4 = k 1 + k 2 ± 2 k 1 k 2 {\displaystyle k_{4}=k_{1}+k_{2}\pm 2{\sqrt {k_{1}k_{2}}}} を得る。