En kvadratisk form är ett homogent polynom av andra graden i n variabler. I fallen med en, två och tre variabler kallas de unära, binära respektive ternära och har de explicita formerna
där a, ..., f är koefficienter som kan vara reella eller komplexa tal. Till exempel är inte polynomet ax2 + bx + c en kvadratisk form, då det inte är homogent.
Formen kallas definit, om tecknet är detsamma för alla talpar x och y där ett av talen inte är noll. Till exempel är uttrycket positivt definit, om a > 0 och b > 0 eftersom det är positivt för alla värden på x och y förutom då båda är noll. för a > 0 är positivt semidefinit eftersom det är positivt eller noll för alla x och y.
Huruvida en kurva är negativt definit respektive positivt definit kan enklast avgöras genom kvadratkomplettering.
Teorin för de kvadratiska formerna, som bland annat sysselsätter sig med frågan hur den kvadratiska formen förhåller sig vid införande av nya variabler, är av grundläggande betydelse för många områden inom matematiken. Teorins systematiska utveckling är väsentligen ett verk av 1800-talets matematiker, främst Carl Friedrich Gauss, Karl Weierstrass och Leopold Kronecker.
En funktion Q definierad på Rn kan beräknas som en kvadratisk form på Rn genom[1]
där A är en symmetrisk n×n matris. Matrisen A kallas matrisen för den kvadratiska formen.
Om
blir
Om nollorna i A:s ena diagonal ersätts med nollskilda värden, uppträder korstermer: