The green point is the centroid of the green triangle. Prove the red line bisects the blue line segment.