カーライル円
線分ABを直径に持つ円の方程式は以下のようになる。
x(x − s) + (y − 1)(y − p) = 0.
この円の x 切片(x 軸との交点)の満たす方程式は、上の方程式に y = 0 を代入することで得られる。すると、対応する二次方程式に一致すること分かる。
x − sx + p = 0.