The triangles are equilateral. The green triangles are congruent. Prove the red line trisects the blue line segment.