複素平面の点0と点1を直径の両端とする円をCとする。
C上を2点A(α)、B(β)が独立に動く。C上の定点P(γ)の接線をlとするとき、2αβ/(α+β)がl上にあるための条件をα、β、γで表せ。