外接円が九点円に

△ABCの外接円が傍心三角形EFGの九点円になっています。