相反多項式

初等代数学における相反多項式（そうはんたこうしき、英: reciprocal polynomial）または反転多項式（はんてんたこうしき、英: reflected polynomial）は、本質的に与えられた多項式の係数を元と逆順にして得られる多項式である。線型代数学において相反多項式は逆行列の特性多項式として自然に現れる。 任意の体に係数を持つ多項式 p が p ( x ) = a 0 + a 1 x + a 2 x 2 + ⋯ + a n x n {\displaystyle p(x)=a_{0}+a_{1}x+a_{2}x^{2}+\cdots +a_{n}x^{n}} で与えられるとき、その相反多項式 p* または pR は p ∗ ( x ) := a n + a n − 1 x + ⋯ + a 0 x n = x n p ( x − 1 ) {\displaystyle p^{*}(x):=a_{n}+a_{n-1}x+\cdots +a_{0}x^{n}=x^{n}p(x^{-1})} で定義される。 多項式 p が複素数に係数をとる特別の場合には、多項式 p ( z ) = a 0 + a 1 z + a 2 z 2 + ⋯ + a n z n {\displaystyle p(z)=a_{0}+a_{1}z+a_{2}z^{2}+\cdots +a_{n}z^{n}} に対する共軛相反多項式 p† が p † ( z ) := a ¯ + a ¯ n − 1 z + ⋯ + a ¯ 0 z n = z n p ( z ¯ − 1 ) ¯ {\displaystyle p^{\dagger }(z):={\bar {a}}+{\bar {a}}_{n-1}z+\cdots +{\bar {a}}_{0}z^{n}=z^{n}\,{\overline {p({\bar {z}}^{-1})}}} として定義される。ただし、複素数 w に対して w はその複素共軛を表す。紛れの虞の無い場合には、これを単に相反多項式と呼ぶこともある。 多項式 p が自己相反であるとは、p = p* が成り立つときにいう。共軛相反の意味での自己相反多項式の係数は、必ずすべて実数でなければならない。 相反多項式と元の多項式を結び付ける性質は幾つかあるが、例えば p(x) = xn⋅p*(x−1) α が多項式 p の根ならば α−1 は p* の根であり、逆もまた然り。 p(x) ≠ x なる多項式 p が既約であることと、p∗ が既約であることとは同値。 p が原始多項式となる必要十分条件は p* が原始的となることである。 ほかに相反多項式自身に関する性質としては例えば 自己相反多項式が既約ならばその次数は偶数でなければならない（同じことだが、奇数次の自己相反多項式は可約である）。 自己相反多項式は、それを昇冪あるいは降冪の順に表すときその係数が回文となるから、p は回文多項式と呼ばれる（回文多項式の根を記述する方程式は相反方程式（対称方程式）と言う）。すなわち、次数 n の多項式 P ( x ) = ∑ i = 0 n a i x i {\displaystyle P(x)=\sum _{i=0}^{n}a_{i}x^{i}} が回文的であるとは、ai = an−i (∀i = 0, 1, …, n) を満たすときに言う。 同様に n-次多項式 P が反回文的 (antipalindromic) あるいは反自己相反であるとは、ai = −an−i (∀i = 0, 1, …, n) を満たすときに言う。これはP(x) = –P*(x) とも書ける。 二項係数の性質により、二項冪 P(x) = (x + 1)n は任意の自然数 n に対して自己相反である。他方 Q(x) = (x – 1)n は n が偶数のとき自己相反で n が奇数のとき反自己相反になる。 他の例としては円分多項式やオイラー多項式を挙げることができる。 与えられた多項式が自己相反または反自己相反のとき、a がその根であるならば 1/a もそうであり、それらの重複度も等しい。逆もまた成り立つ: 与えられた多項式が、a がその根ならば 1/a もまた重複度の等しい根となるという性質を満たすならば、その多項式は自己相反または反自己相反である。 任意の多項式 q に対し、q + q* は自己相反であり、q − q* は反自己相反である。任意の多項式 q は自己相反多項式と反自己相反多項式との和として書ける。 ふたつの自己相反多項式同士または反自己相反多項式同士の積は自己相反である。 一つの自己相反多項式と一つの反自己相反多項式との積は反自己相反になる。 奇数次の自己相反多項式は x + 1 で割り切れる（つまり –1 を根に持つ）。そのとき x + 1 で割った商は（偶数次の）自己相反多項式になる。 反自己相反多項式は x – 1 で割り切れる（つまり 1 を根に持つ）。そのとき x – 1 で割った商は自己相反である。 偶数次の反自己相反多項式は x2 – 1 で割り切れ（つまり ±1 を根に持ち）、その商は自己相反である。 自己相反多項式 p(x) の次数が偶数（それを 2d とする）を持つならば、次数 d の多項式 q が存在して p(x) = xd⋅q(x + 1/x) と書ける。 奇標数の体 k 上の偶数 2d-次モニック反自己相反多項式 p(x) は、定数項を持たない d-次多項式 Q を用いて p(x) = xd (Q(x) − Q(1/x)) と一意的に書ける。 反自己相反多項式 P の次数が偶数 2n であるとき、「中央」係数（つまり n-次の係数）は必ず 0 である（定義により、an = −a2n–n だから）。 実係数多項式でその根がすべてガウス平面上の単位円上に載っている（つまりすべての根が絶対値 1（単模）である）ようなものは、自己相反であるかさもなくば反自己相反であるかの何れかである[要ページ番号] 多項式 p が自己（共軛）相反的であるとは、p(z) ≡ p†(z) を満たすことを言う。単位円上の適当なスケール因子 ω に対して p(z) ≡ ωp† を満たすならば自己反転的 (self-inversive) という[要ページ番号]。 p(z) が |z0| = 1 かつ z0 ≠ 1 なる複素数 z0 の実係数最小多項式ならば p(z) は自己相反である。実際、 p † ( z 0 ) = z 0 n p ( 1 / z ¯ 0 ) ¯ = z 0 n p ( z 0 ) ¯ = z 0 n 0 ¯ = 0 {\displaystyle p^{\dagger }(z_{0})=z_{0}^{n}\,{\overline {p(1/{\bar {z}}_{0})}}=z_{0}^{n}\,{\overline {p(z_{0})}}=z_{0}^{n}\,{\bar {0}}=0} が成り立つから z0 は p†(z) の根で、これは n-次だから最小多項式の一意性により適当な定数 c を以って c p ( z ) = p † ( z ) ( i.e.  c a i = a ¯ n − i = a n − i ) {\displaystyle cp(z)=p^{\dagger }(z)\quad ({\text{i.e. }}ca_{i}={\bar {a}}_{n-i}=a_{n-i})} が成り立つが、ここで i = 0 から n までの和を取れば、1 が p の根でなかったことと合わせて c = 1 を得る。 この帰結として、n > 1 に対する円分多項式 Φn は自己相反であることが分かる。これは x11 ± 1, x13 ± 1, x15 ± 1, x21 ± 1 の形の数に対して、それぞれ次数が 5, 6, 4, 6（x の冪指数のオイラー数 φ がそれぞれ 10, 12, 8, 12 であることに注意）であるような多項式を用いて代数的因数が得られることを用いて因数分解する特殊数体篩法（英語版）に用いられる。 相反多項式は巡回誤り訂正符号の理論に用いられる。xn − 1 が二つの多項式の積に分解されると仮定して、それを xn − 1 = g(x)p(x) と書く。g(x) が巡回符号 C を生成するとき、その相反多項式 p∗(x) は双対符号 C⊥ を生成する。また、C が自己直交（つまり C ⊆ C⊥）であるための必要十分条件は p∗(x) が g(x) を割り切ることである。 [脚注の使い方] ^ 文献によっては「回文」(palindromic) と「相反」(reciprocal) の意味が入れ替わっているかもしれない。 ^ a b Graham, Knuth & Patashnik 1994, p. 340. ^ a b グラハム, クヌース & パタシュニク 2020, p. 325. ^ a b c Aigner 2007, p. 94. ^ a b c Roman 1995, p. 37. ^ a b Pless 1990, p. 57. ^ 『相反方程式』 - コトバンク ^ BSE-3 (2001), “Reciprocal equation”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Reciprocal_equation  ^ Pless 1990, p. 57, (自己相反の場合のみ). ^ Stein 2000, p. 384. ^ Durand 1961, pp. 140–141. ^ Katz 2012, p. 146. ^ Markovsky & Rao 2008. ^ Sinclair & Vaaler 2006. ^ Pless 1990, p. 75, Theorem 48. ^ Pless 1990, p. 77, Theorem 51. Aigner, Martin (2007), A course in enumeration, Berlin, New York: Springer, ISBN 978-3-540-39032-9  Durand, Émile (1961), Solutions numériques des équations algrébriques I, Masson et Cie : Ch. XV «polynômes dont les coefficients sont symétriques ou antisymétriques» Graham, Ronald; Knuth, Donald E.; Patashnik, Oren (1994), Concrete mathematics : a foundation for computer science, Reading, Mass: Addison-Wesley, ISBN 978-0-201-55802-9  グラハム, ロナルド L.、クヌース, ドナルド E.、パタシュニク, オーレン 著、有澤誠・安村通晃・萩野達也・石畑清 訳『コンピュータの数学』（第2版）共立出版、2020年9月15日。ISBN 978-4-320-12464-6。  Katz, Nicholas M. (2012), Convolution and Equidistribution : Sato-Tate Theorems for Finite Field Mellin Transformations, Princeton University Press, ISBN 978-0-691-15331-5  Markovsky, Ivan; Rao, Shodhan (2008), “Palindromic polynomials, time-reversible systems and conserved quantities”, Control and Automation, doi:10.1109/MED.2008.4602018  Pless, Vera (1990), Introduction to the Theory of Error Correcting Codes (2nd ed.), New York: Wiley-Interscience, ISBN 978-0-471-61884-3  Roman, Steven (1995), Field Theory, New York: Springer-Verlag, ISBN 978-0-387-94407-4  Sinclair, Christopher D.; Vaaler, Jeffrey D. (2008), “Self-inversive polynomials with all zeros on the unit circle”, in McKee, James; Smyth, C. J., Number theory and polynomials. Proceedings of the workshop, Bristol, UK, April 3–7, 2006, London Mathematical Society Lecture Note Series, 352, Cambridge: Cambridge University Press, pp. 312-321, ISBN 978-0-521-71467-9, Zbl 06093092  Stein, Jonathan Y. (2000), Digital Signal Processing: A Computer Science Perspective, Wiley Interscience, ISBN 978-0-471-29546-4  『{{{2}}}』 - 高校数学の美しい物語 『相反方程式』 - コトバンク "The Fundamental Theorem for Palindromic Polynomials". MathPages.com. Weisstein, Eric W. "Reciprocal Polynomial". mathworld.wolfram.com (英語). reciprocal polynomial - PlanetMath.（英語）