The yellow points are the midpoints of the blue and red chords. Prove the red line bisects the green angle.