The yellow triangle is equilateral. Prove the red altitude equals half the sum of the blue line segments.