The blue lines are perpendicular bisectors of sides of the triangle. Prove the red points are concyclic.