X_i,P は直線 O_iP と Ω の交点なので、O_iX_i·O_iP は Ω に関する O_i の方べきである。従って OO_i^2−ρ^2=r_i^2、すなわち OO_i^2−r_i^2=ρ^2。