数学において、斉次多項式(せいじたこうしき、英: homogeneous polynomial)あるいは同次多項式(どうじたこうしき)、あるいは略して斉次式、同次式とは、非零項の次数が全て同じである多項式のことである[1]。 例えば、2変数 x, y についての1次斉次多項式は、a, b を定数として 2変数 x, y についての2次斉次多項式は、a, b, c を定数として 2変数 x, y についての3次斉次多項式は、a~d を定数として 3変数 x, y, z についての2次斉次多項式は、a~f を定数として である。 多項式が斉次であることと斉次関数を定義することは同値である。(代数的)形式 ((algebraic) form) とは、斉次多項式によって定まる関数のことである[注釈 1]。binary form とは二変数の形式である。形式はベクトル空間上定義される、任意の基底上座