The blue lines are a median and an angle bisector of the triangle. Prove the red line bisects the green line segment.