Bonsoir,
soit

une application de E vers F.

est un automorphisme ssi :

(1) +

bijective (2)
(1) traduit que

est un endomorphisme
(2) traduit que

est un isomorphisme
Dans ton cas, f est une application qui à chaque couple
 \in \mathbb{R}^2 \)
lui associe son image (encore un couple dans

)
Nous avons donc

et la première condition est remplie.
Quant à la seconde, tu sais que f bijective = f injective + f surjective.
Or comme nous sommes en dimension finie et que nous avons précédemment vérifié que f est un endomorphisme,
nous avons cette équivalence : f bijective

f injective

f surjective
Concrètement, nous avons seulement besoin de montrer que f est injective ou f surjective.
Montre par ex que f est injective, soit que son noyau

est réduit au vecteur nul
