The blue line is a midline of the triangle. The green shape is a rectangle. Prove the red line is the perpendicular bisector of the blue line segment.