Matrice de rotation

[areas12]

Bonjour à tous,
J'ai la chose suivante à démontrer avec Maple,

Soit a et b des vecteurs de paramètres (respectivement) (a1,b1) et (a2,b2).
et soit=R[[[cos(phi),-sin(phi)],[sin(phi),cos(phi)]]]
Montrer que
(LinearAlgebra[Norm])((R[phi])(b-a))^2 = R[phi]^t*(R[phi])(b-a)(b-a),
donc que la norme au carré de R...(b-a) est égale à la matrice transposée (aussi égale à l'inverse)*R[phi]*(b-a)(b-a)...

des suggestions?
Merci

Niveau universitaire au Qc