The blue angle is double the green angle. The blue line segment is double the green line segment. Prove the red line bisects a side of the yellow triangle.