The blue point is the midpoint of the green line segment. Prove the red and blue points are concyclic.