ホーナー法のソースを表示

{{Expand English|Horner's method|date=2024年5月}}
'''ホーナー法'''（ほーなーほう、{{lang-en-short|Horner's rule}}）とは、最も少ない加算と乗算の演算回数でn次の多項式の評価を行うことができるアルゴリズムを言う。

名称は、19世紀初頭にこの定式化を行った英国の数学者で教師であった[[ウィリアム・ジョージ・ホーナー]]に由来する<ref>[[計算機プログラムの構造と解釈|"Structure and Interpretation of Computer Programs 2nd Edition,"]] Harold Abelson, Gerald Jay Sussman and Julie Sussman, 2.2.3, Excercise 2.34, p162 ([https://web.mit.edu/6.001/6.037/sicp.pdf PDF])</ref>。なお、ホーナー法の語は、これを[[ニュートン法]]と併せて利用し、代数方程式の数値解を求める手法を指して使われることもある。

== 概要 ==
係数 <math>a_n, a_{n-1}, \cdots , a_1, a_0</math> からなる一変数 x の n 次[[多項式]]
:<math>p(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0</math>
の<math>x=x_0</math> における値 <math>p(x_0)</math> を求めることを考える。

直接的には、まず第一項 <math>a_n x^n</math> を計算し、次に第二項 <math>a_{n-1} x^{n-1}</math> を計算し、・・・と順番に計算して最後に足し合わせるという方法がある。ただし、この素朴な方法では、 n(n+1)/2 回の乗算が必要になってしまう。

一方で、上の多項式 p(x) は
:<math>p(x) = ( \cdots (a_n x + a_{n-1}) x + \cdots + a_1) x + a_0</math>
と変形することができる。この変形した状態で計算すると、乗算を n 回で済ませることができ、直接的な方法に比べて少ない演算の回数で多項式評価を行うことができる。この多項式評価の方法を'''ホーナー法'''（Horner's rule）と言う。
== 応用 ==
多項式の除法への応用を示す。

筆記の場合、たとえば、
:<math> x ^5 - 5 x^4 + 9 x^3 - 6 x^2 - 16 x + 13 \, </math>
を
:<math> x^2 - 3x + 2 \, </math>
で除したとき、商は
:<math> x^3 -2 x^2 + x + 1 \, </math>
であり、余りは
:<math> -15 x + 11 \, </math>
であるが、運算を示せば、

   1 | 1 - 5 + 9 - 6 | - 16 + 13
 + 3 |   + 3 - 2     |
 - 2 |       - 6 + 4 |
     |           + 3 | -  2
     |               | +  3 -  2
     |               |
       1 - 2 + 1 + 1 | - 15 + 11

となる。すなわち、まず、第1列に被除数の係数を元の符号で、左の行に除数の係数を重ねて、それぞれ書く。ただし第1項は元の符号で、第2項以下は符号を変えて、それぞれ書く。被除数の第1項の係数を左の行の第2項から下に掛け、これを第2列に第2項の下から書く。そして第2項を加え、その和<math> -2  \, </math>を商の第2項の係数とし（ただし、商の第1項の係数は被除数の第1項の係数である）、これを罫線の左の行の第2項から下に掛け、これを第3列に第3項から書く。そして第3項を加え、その和<math> +1  \, </math>を商の第3項の係数にする。商は被除数の第1項を除数の第1項で除し、<math> x^3 \, </math>を得るから、商の第1項は<math> x^3 \, </math>であり、したがって商は第4項にとどまることは明らかであろう。

== 脚注 ==
<references />

== 参考文献 ==
* {{cite book  | title=Structure and Interpretation of Computer Programs | author=Harold Abelson, Gerald Jay Sussman, Julie Sussman | edition=2nd | year=1996 | publisher=The MIT Press | ref=SICP2nd }}
{{多項式}}
{{Math-stub}}

{{DEFAULTSORT:ほおなあほう}}
[[Category:数値解析]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]