Théorème d'Hermite sur les formes quadratiques

On montre un résultat de majoration sur le minimum d'une forme quadratique sur les points entiers.
Qualité Numéro Titre
5 157 Matrices symétriques réelles, matrices hermitiennes.2025
5 170 Formes quadratiques sur un espace vectoriel de dimension finie. Orthogonalité. Applications.2025
Rajouter une version
Utilisateur : Aurel
La preuve dans la source n'est pas complète, voilà ce que j'ai fait.
Références :
131 Développements pour l’oral - D. Lesesvre, P. Montagnon, P. Le Barbenchon, T. Pierron