Trisección de un ángulo

Demuestra que al ángulo rojo es el triple del ángulo azul