Développement : Log concavité du déterminant

Détails/Enoncé :

On démontre que l'application déterminant est log concave sur $S_n{++}$ de deux manière différente une version algébriste et une analytique par le calcul intégrale je trouve ça jolie et ptet un peu original. (Peut être utilisé dans ellipsoïde de John je crois..)

Versions :

Références utilisées dans les versions de ce développement :