Calcul produit scalaire

Coucou a tous, je suis nouveau dans le monde dans la TI CAS.
Est-il possible de résoudre ce probleme en s'aidant de la TI
Soient a=(a1,a2,a3) et b=(b1,b2,b3); 2 vecteurs du reperes cartesien. démontrer la relation
div( a scalaire b) = (rot a) b - (rot b) a
je n'ai pas réussi a mettre le symbole vecteur.
Est-il possible de résoudre ce probleme en s'aidant de la TI
Soient a=(a1,a2,a3) et b=(b1,b2,b3); 2 vecteurs du reperes cartesien. démontrer la relation
div( a scalaire b) = (rot a) b - (rot b) a
je n'ai pas réussi a mettre le symbole vecteur.