The green point is the midpoint of a side of the yellow triangle. Prove the red angle is double the blue angle if and only if the red line segment is double the blue line segment.