Blue points are midpoints of sides of the yellow equilateral triangles. Prove the red triangle is $30^\circ$-$60^\circ$-$90^\circ$.