\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
Trouver l'image du point \(A(2, 0)\) par une rotation de \(\frac{\pi}{4}\) radians (\(45^\circ\)) dans le sens anti-horaire autour de l'origine.
\(A'(\)
\(,\)
\()\)