The blue lines are the perpendicular bisectors of the sides of the yellow triangle. Prove the red line segments are congruent.