1790

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