En 

mathématiques, une forme quadratique est un polynôme homogène de degré 2 avec un

nombre quelconque de variables. Les formes quadratiques d'une, deux et trois variables sont
données respectivement par les formules suivantes (a,b,c,d,e,f désignant des coefficients) :
L'archétype de forme quadratique est la forme x2 + y2 + z2 sur ℝ3, qui définit
la structure euclidienne et dont la racine carrée permet de calculer la norme d'un
vecteur. Un autre exemple très classique est la forme x2 + y2 + z2 – t2 sur ℝ4, qui
permet de définir l'espace de Minkowski utilisé en relativité restreinte. C'est pourquoi
la théorie des formes quadratiques utilise le vocabulaire de la géométrie
(orthogonalité). La géométrie est un bon guide pour aborder cette théorie, malgré
quelques pièges, liés notamment aux questions de signes ou plus généralement au
choix du corps dans lequel varient les coefficients.
Les formes quadratiques interviennent dans de nombreux domaines des
mathématiques : différents résultats de classification des coniques et plus
généralement des quadriques, recherche de minimum ou maximum
local d'une fonction de plusieurs variables à partir d'un développement limité,
introduction de la courbure des surfaces, analyse en composantes
principales en statistiques. Les formes quadratiques entières interviennent en théorie
des nombres et en topologie algébrique.
On trouve également des formes quadratiques dans plusieurs domaines de la
physique : pour définir l'ellipsoïde d'inertie en mécanique du solide, en relativité
restreinte ou générale…