1339

The blue triangle is equilateral. Prove the red triangle is also.