1709

The blue triangle is equilateral. Prove the red triangle is $30^\circ$-$60^\circ$-$90^\circ$.