Para rotacionar o triângulo ABC em 90° no sentido anti-horário, qual a matriz deve ser usada para realizar essa transformação?

Para rotacionar o triângulo ABC em 90° no sentido anti-horário, qual a matriz deve ser usada para realizar essa transformação?
