Problem

Source: 2020 Instagram Math Olympiad IGMO - Shortlist g2

Tags: Nine point center, geometry, Concyclic



If $ABCD$ is a cyclic quadrilateral; $N_1, N_2, N_3$ and $N_4$ are the nine-point centres of $\vartriangle ABC$, $\vartriangle BCD$, $\vartriangle CDA$ and $\vartriangle DAB$, respectively. A circle with $AD$ as diameter meets $CD$ again at point $E$. Another circle with $AB$ as diameter meets BC again at point F. Prove that $N_1, N_2, N_3$ and $N_4$ are concyclic and their circumcircle is bisected by line $EF$. by @pepemaths