Puppus 円に外接する四辺形 ABCD の 外接円上に点 P をとる。 P が各辺 AB,BC,CD,DA に下ろした垂線の足を 各々 E,F,G,H とする。このとき PE×PG = PF×PH である。 注意 一般に直線 L と点 P が与えられたとき P を通り L と垂直な直線と L との交点を P から L に下ろした垂線の足という。 　 　　証明