相反多項式

初等代数学における相反多項式（そうはんたこうしき、）または反転多項式（はんてんたこうしき、）は、本質的に与えられた多項式の係数を元と逆順にして得られる多項式である。線型代数学において相反多項式は逆行列の特性多項式として自然に現れる。
定義.
任意の体に係数を持つ多項式 が
で与えられるとき、その相反多項式 または は
で定義される。
多項式 が複素数に係数をとる特別の場合には、多項式
に対する共軛相反多項式 が
として定義される。ただし、複素数 に対して はその複素共軛を表す。紛れの虞の無い場合には、これを単に相反多項式と呼ぶこともある。
多項式 が自己相反であるとは、 が成り立つときにいう。共軛相反の意味での自己相反多項式の係数は、必ずすべて実数でなければならない。
性質.
相反多項式と元の多項式を結び付ける性質は幾つかあるが、例えば
ほかに相反多項式自身に関する性質としては例えば
自己相反多項式は、それを昇冪あるいは降冪の順に表すときその係数が回文となるから、 は回文多項式と呼ばれる（回文多項式の根を記述する方程式は（対称方程式）と言う）。すなわち、次数 の多項式 formula_5 が回文的であるとは、 を満たすときに言う。
同様に -次多項式 が反回文的 ("antipalindromic") あるいは反自己相反であるとは、 を満たすときに言う。これは とも書ける。
例.
二項係数の性質により、二項冪 は任意の自然数 に対して自己相反である。他方 は が偶数のとき自己相反で が奇数のとき反自己相反になる。
他の例としては円分多項式やオイラー多項式を挙げることができる。
実係数の場合.
実係数多項式でその根がすべてガウス平面上の単位円上に載っている（つまりすべての根が絶対値（単模）である）ようなものは、自己相反であるかさもなくば反自己相反であるかの何れかである
複素係数の場合.
多項式 が自己（共軛）相反的であるとは、 を満たすことを言う。単位円上の適当なスケール因子 に対して を満たすならば自己反転的 という。
 が かつ なる複素数 の実係数最小多項式ならば は自己相反である。実際、
が成り立つから は の根で、これは -次だから最小多項式の一意性により適当な定数 を以って
が成り立つが、ここで から までの和を取れば、 が の根でなかったことと合わせて を得る。
この帰結として、 に対する円分多項式 は自己相反であることが分かる。これは の形の数に対して、それぞれ次数が （ の冪指数のオイラー数 がそれぞれ であることに注意）であるような多項式を用いて代数的因数が得られることを用いて因数分解するに用いられる。
符号理論における応用.
相反多項式は巡回誤り訂正符号の理論に用いられる。 が二つの多項式の積に分解されると仮定して、それを と書く。 が巡回符号 を生成するとき、その相反多項式 は双対符号 を生成する。また、 が自己直交（つまり ）であるための必要十分条件は が を割り切ることである。