相反多項式

初等代数学における相反多項式（そうはんたこうしき、）または反転多項式（はんてんたこうしき、）は、本質的に与えられた多項式の係数を元と逆順にして得られる多項式である。線型代数学において相反多項式は逆行列の特性多項式として自然に現れる。

定義 
任意の体に係数を持つ多項式  が
 
で与えられるとき、その相反多項式  または  は
 
で定義される。

多項式  が複素数に係数をとる特別の場合には、多項式
 
に対する共軛相反多項式  が
 
として定義される。ただし、複素数  に対して  はその複素共軛を表す。紛れの虞の無い場合には、これを単に相反多項式と呼ぶこともある。

多項式  が自己相反であるとは、 が成り立つときにいう。共軛相反の意味での自己相反多項式の係数は、必ずすべて実数でなければならない。

性質 
相反多項式と元の多項式を結び付ける性質は幾つかあるが、例えば
 
  が多項式  の根ならば  は  の根であり、逆もまた然り。
  なる多項式  が既約であることと、 が既約であることとは同値。
  が原始多項式となる必要十分条件は  が原始的となることである。

ほかに相反多項式自身に関する性質としては例えば
 自己相反多項式が既約ならばその次数は偶数でなければならない（同じことだが、奇数次の自己相反多項式は可約である）。

自己相反多項式は、それを昇冪あるいは降冪の順に表すときその係数が回文となるから、 は回文多項式と呼ばれる（回文多項式の根を記述する方程式は（対称方程式）と言う）。すなわち、次数  の多項式  が回文的であるとは、 を満たすときに言う。

同様に -次多項式  が反回文的 (antipalindromic) あるいは反自己相反であるとは、 を満たすときに言う。これは とも書ける。

例 
二項係数の性質により、二項冪  は任意の自然数  に対して自己相反である。他方  は  が偶数のとき自己相反で  が奇数のとき反自己相反になる。

他の例としては円分多項式やオイラー多項式を挙げることができる。

性質 
 与えられた多項式が自己相反または反自己相反のとき、 がその根であるならば  もそうであり、それらの重複度も等しい。逆もまた成り立つ: 与えられた多項式が、 がその根ならば  もまた重複度の等しい根となるという性質を満たすならば、その多項式は自己相反または反自己相反である。
 任意の多項式  に対し、 は自己相反であり、 は反自己相反である。任意の多項式  は自己相反多項式と反自己相反多項式との和として書ける。
 ふたつの自己相反多項式同士または反自己相反多項式同士の積は自己相反である。
 一つの自己相反多項式と人るの反自己相反多項式との積は反自己相反になる。
 奇数次の自己相反多項式は  で割り切れる（つまり  を根に持つ）。そのとき  で割った商は（偶数次の）自己相反多項式になる。
 反自己相反多項式は  で割り切れる（つまり  を根に持つ）。そのとき  で割った商は自己相反である。
 偶数次の反自己相反多項式は  で割り切れ（つまり  を根に持ち）、その商は自己相反である。 
 自己相反多項式  の次数が偶数（それを  とする）を持つならば、次数  の多項式  が存在して  と書ける。
 奇標数の体  上の偶数 -次モニック反自己相反多項式  は、定数項を持たない -次多項式  を用いて  と一意的に書ける。
 反自己相反多項式  の次数が偶数  であるとき、「中央」係数（つまり -次の係数）は必ず  である（定義により、 だから）。

実係数の場合 
実係数多項式でその根がすべてガウス平面上の単位円上に載っている（つまりすべての根が絶対値 （単模）である）ようなものは、自己相反であるかさもなくば反自己相反であるかの何れかである

複素係数の場合 
多項式  が自己（共軛）相反的であるとは、 を満たすことを言う。単位円上の適当なスケール因子  に対して  を満たすならば自己反転的  という。

 が  かつ  なる複素数  の実係数最小多項式ならば  は自己相反である。実際、
 
が成り立つから  は  の根で、これは -次だから最小多項式の一意性により適当な定数  を以って

が成り立つが、ここで  から  までの和を取れば、 が  の根でなかったことと合わせて  を得る。

この帰結として、 に対する円分多項式  は自己相反であることが分かる。これは  の形の数に対して、それぞれ次数が （ の冪指数のオイラー数  がそれぞれ  であることに注意）であるような多項式を用いて代数的因数が得られることを用いて因数分解するに用いられる。

符号理論における応用 
相反多項式は巡回誤り訂正符号の理論に用いられる。 が二つの多項式の積に分解されると仮定して、それを  と書く。 が巡回符号  を生成するとき、その相反多項式  は双対符号  を生成する。また、 が自己直交（つまり ）であるための必要十分条件は  が  を割り切ることである。

脚注

注釈

出典

参考文献 
 
 : Ch. XV «polynômes dont les coefficients sont symétriques ou antisymétriques»

外部リンク 

代数的整数論
多項式
数学に関する記事