Sean $A,B\in\mathcal{M}_n(\mathbb{R})$ dos matrices reales simétricas con valores propios no negativos. Demuestre que $A^3+B^3=(A+B)^3$ si y solo si $AB=O_n$ .