Uma matriz em duas dimensões
é uma matriz de rotação quando a multiplicação de um par ordenado V(x, y) na forma de matriz coluna
por A produz como resultado um vetor
que pode ser identificado com o par ordenado V₁(x₁, y₁) cuja distância à origem é a mesma que V. Nesse contexto, seja a matriz A abaixo, em que α ∈ ℝ.






Considere que a matriz A faça uma rotação por um ângulo α em um ponto P(x, y) do plano, na seguinte forma.

Então P₁(xcos(α) + ysen(α), —xsen(α) + ycos(α)) é o ponto obtido de pela rotação de P, em torno da origem, por um ângulo α.
Tendo como referência essas informações, julgue o item
Se
então o ponto P₁(4,0) é obtido pela rotação através da matriz A de um ponto P(x, y) tal que x = 2.
