Développement : Extrema de la fonction déterminant et matrices de Hadamard

Détails/Enoncé :

Encadrement du max sur l'ensemble des matrices de coefficients inférieurs à 1 en norme.

Cas d'atteinte du majorant : les matrices de Hadamard (lorsqu'elles existent).

Une condition nécessaire et une (autre) condition suffisante d'existence des matrices de Hadamard.

Recasages pour l'année 2025 :

  • Pas de recasages pour cette année.

Autres années :

Versions :

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

Proofs from the book (Raisonnements divins en fr), Aigner, Ziegler (utilisée dans 9 versions au total)