パップス
で与えられる。この公式はパップスの中心軌跡定理と同等の計算である。ここで、ピタゴラスの定理からくる量