DEFはそれぞれの弧の中点。その各辺に対する対称な点がつくる円をフールマン円という。この円はナーゲル点と垂心を含む。しかも中心はその中点。