数学における二次形式(にじけいしき、英: quadratic form) は、いくつかの変数に関する次数が 2 の斉次多項式である。例えば、変数が 2個の二次形式は の形である(x, y が変数)。 二次形式は数学のいろいろな分野(数論、線型代数学、群論(直交群)、微分幾何学(リーマン計量)、微分位相幾何学(の交叉形式)、(キリング形式)など)で中心的な位置を占める概念である。