Morphisme
T'embête pas avec des calculs et des cas particuliers. Reviens à la définition avec le produit scalaire, c'est tellement plus simple.
Soit A définie positive, B positive, X € R^n (ça suffit).
Alors <(A+B)X,X> = <AX,X> + <BX,X> >= <AX,X> > 0 si X est non nul.
D'où A+B définie positive. 