三角形 DBF, EFC の 外接円の F 以外の交点を P とおいて ABPE と ADPC が 円に内接することを示す。 次に続く　　 一つ戻る