The red point is the midpoint of a side of the quadrilateral. Prove the blue and red points and concyclic.