Let $A,B,C$ be $n\times n$ matrices with real entries such that their product is pairwise commutative. Also $ABC=O_{n}$. If $$k=\det\left(A^3+B^3+C^3\right).\det\left(A+B+C\right)$$ then find the value or the range of values that $k$ may take.
My Attempt
I tried $k=\left(\det(A+B+C)\right)^2\left(\det(A^2+B^2+C^2-AB-BC-CA)\right)$. but couldn't go further than this
$k=det(A^3+B^3+C^3).det(A+B+C)$$=det(A^3+B^3+C^3-3ABC).det(A+B+C)$
$=det\{(A+B+C)(A+\omega B+\omega^2 C)(A+\omega^2 B+\omega C)\}.det(A+B+C)$
$=(det(A+B+C))^2det(A+\omega B+\omega^2 C)det(\overline{A+\omega B+\omega^2 C})$
$=(det(A+B+C))^2(X+iY)(X-iY)$
$=(det(A+B+C))^2(X^2+Y^2)$
$\geq 0$