1831

The yellow triangle is isosceles. Prove the red line segment is double the blue line segment.