デカルトの円定理
同様に式(2)より自明な式 k 4 = k 1 {\displaystyle k_{4}=k_{1}} を得る。