1554

Prove the area of the red triangle is double the area of the blue triangle.