1317

N为△ABC的九点圆圆心，垂足三角形为△DEF，
O9为△DEF的九点圆圆心。H1H2H3分别为△AEF，△BFD，△CDE的垂心
H1H2H3的外心为O
求证：N，O9，O三点共线，且NO9=O9O。