The green points are midpoints of sides of the yellow triangle. Prove the blue line segment is double the red line segment.