The blue and yellow triangles are similar with opposite orientation. Prove the red circles are concurrent at the circumcenter of the blue triangle.