d'accord voici ma solution:
on a:
(A+iB)(A-iB)=A²+B²-i(AB-BA)=(V3-i)(AB-BA)
en passant au détérminant et en usant la propriété de la
multilinéarité du détérminant:
det((A+iB)(A-iB))=(V3-i)^{n}*det(AB-BA)
AB -BA est inversible,alors (A+iB)(A-iB) l'est aussi,ainsi:
det((A+iB)(A-iB))>0 <==> det(A+iB)det(A-iB)>0
Or A et B sont deux matrices réels,ce qui implique:
det(A+iB)det(A-iB)=det(A+iB)*bar(det(A+iB)>0
ce qui implique que (V3-i)^{n} est une réels,et puisque:
V3-i=2*exp(-i*pi/6),il vient que n est un multiple de n,ce qu'il faut démontrer.