The green triangles are equilateral. The blue points are midpoints. Prove the red lines are perpendicular.