Método de Horner
Em matemática e ciência da computação, o método de Horner (ou esquema de Horner) é um algoritmo para avaliação polinomial. Embora tenha o nome de William George Horner, esse método é muito mais antigo, pois foi atribuído a Joseph-Louis Lagrange pelo próprio Horner, e pode ser rastreado há muitas centenas de anos por matemáticos chineses e persas. Após a introdução dos computadores, esse algoritmo tornou-se fundamental para a computação eficiente com polinômios.
O algoritmo é baseado em Regra de Horner, em que um polinômio é escrito em formulário aninhado: um0+um1x+um2x2+um3x3+⋯ ⋯ +umnxn= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =um0+x(um1+x(um2+x(um3+⋯ ⋯ +x(umn- Sim. - Sim. 1+xumn)⋯ ⋯ ))).{displaystyle {begin{aligned}a_{0}&+a_{1}x+a_{2}x^{2}+a_{3}x^{3}+cdots +a_{n}x^{n}\&=a_{0}+x{bigg (}a_{1}+x{Big (}a_{2}+x{big (}a_{3}+cdots +x(a_{n-1}+x,a_{n})cdots {big)}{Big)}{bigg)}}}
Isso permite a avaliação de um polinomial de grau n com apenas nNão. multiplicações e nNão. adições. Isso é ótimo, já que existem polinômios de grau n que não pode ser avaliado com menos operações aritméticas.
Alternativamente, o método de Horner também se refere a um método para aproximar as raízes de polinômios, descrito por Horner em 1819. É uma variante do método de Newton–Raphson que se tornou mais eficiente para cálculo manual pela aplicação da regra de Horner. Foi amplamente utilizado até que os computadores se tornassem de uso geral por volta de 1970.
Avaliação polinomial e divisão longa
Dado o polinômio
- p(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =Gerenciamento Gerenciamento Eu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0numEu...xEu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =um0+um1x+um2x2+um3x3+⋯ ⋯ +umnxn,{displaystyle p(x)=sum _{i=0}^{n}a_{i}x^{i}=a_{0}+a_{1}x+a_{2}x^{2}+a_{3}x^{3}+cdots +a_{n}x^{n},}
Onde? um0,...... ,umn{displaystyle a_{0},ldotsa_{n}} são coeficientes constantes, o problema é avaliar o polinômio em um valor específico x0{displaystyle x_{0}} de x.Sim.
Para isso, uma nova sequência de constantes é definida recursivamente da seguinte forma:
- b)n?umnb)n- Sim. - Sim. 1?umn- Sim. - Sim. 1+b)nx0(1)FORMAÇÃO FORMAÇÃO b)1?um1+b)2x0b)0?um0+b)1x0.{displaystyle {begin{aligned}b_{n}&:=a_{n}\b_{n-1}&:=a_{n-1}+b_{n}x_{0}\(1)quad equadrão - Não. \b_{1}&:=a_{1}+b_{2}x_{0}\b_{0}&:=a_{0}+b_{1}x_{0}.end{aligned}}}
Então... b)0Não. b_{0}} é o valor de p(x0)(x_{0})}.
Para ver por que isso funciona, o polinômio pode ser escrito na forma
- p(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =um0+x(um1+x(um2+x(um3+⋯ ⋯ +x(umn- Sim. - Sim. 1+xumn)⋯ ⋯ ))).{displaystyle p(x)=a_{0}+x{bigg (}a_{1}+x{Big (}a_{2}+x{big (}a_{3}+cdots +x(a_{n-1}+x,a_{n})cdots {big)}{bigg)}.}
Assim, substituindo iterativamente o b)Eu...Não. b_{i}} na expressão,
- p(x0)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =um0+x0(um1+x0(um2+⋯ ⋯ +x0(umn- Sim. - Sim. 1+b)nx0)⋯ ⋯ ))= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =um0+x0(um1+x0(um2+⋯ ⋯ +x0b)n- Sim. - Sim. 1))FORMAÇÃO FORMAÇÃO = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =um0+x0b)1= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =b)0.{displaystyle {begin{aligned}p(x_{0})&=a_{0}+x_{0}{ Grande. (}a_{1}+x_{0}{big (}a_{2}+cdots +x_{0}(a_{n-1}+b_{n}x_{0})cdots {big)}{Big)}\&=a_{0}+x_{0}{ Grande. (}a_{1}+x_{0}{big (}a_{2}+cdots +x_{0}b_{n-1}{big)}{ Big)}\&~vdots \&=a_{0}+x_{0}b_{1}\&=b_{0}.end{aligned}}}
Agora, pode ser provado que;
- (2)p(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =(b)1+b)2x+b)3x2+b)4x3+⋯ ⋯ +b)n- Sim. - Sim. 1xn- Sim. - Sim. 2+b)nxn- Sim. - Sim. 1)(x- Sim. - Sim. x0)+b)0{displaystyle (2)quad quad quad p(x)=(b_{1}+b_{2}x+b_{3}x^{2}+b_{4}x^{3}+cdots +b_{n-1}x^{n-2}+b_{n}x^{n-1})(x-x_{0})+b_{0}}
Essa expressão constitui a aplicação prática de Horner, pois oferece uma maneira muito rápida de determinar o resultado de;
- p(x)/(x- Sim. - Sim. x0)(x-x_{0})}
com b)0Não. b_{0}} (que é igual a p(x0)(x_{0})}) sendo o restante da divisão, como é demonstrado pelos exemplos abaixo. Se x0{displaystyle x_{0}} é uma raiz de p(x)(x)}, então b)0= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0Não. B_{0}=0} (significando o restante é 0Não. 0), o que significa que você pode fatorar p(x)(x)} como x- Sim. - Sim. x0{displaystyle x-x_{0}}.
Para encontrar o consecutivo b)Não.-valores, você começa com a determinação b)nNão. b_{n}}, que é simplesmente igual a umn{displaystyle a_{n}}. Então você então trabalha recursivamente usando a fórmula;
- b)n- Sim. - Sim. 1= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =umn- Sim. - Sim. 1+b)nx0Não. b_{n-1}=a_{n-1}+b_{n}x_{0}}
até chegares b)0Não. b_{0}}.
Exemplos
Avaliar f(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =2x3- Sim. - Sim. 6x2+2x- Sim. - Sim. 1(x)=2x^{3}-6x^{2}+2x-1} para x= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =3- Sim..
Usamos a divisão sintética da seguinte forma:
x 0 {displaystyle x_{0}} ? x 3 {displaystyle x^{3}} x 2 {displaystyle x^{2}} x 1 {displaystyle x^{1}} x 0 {displaystyle x^{0}} 3 │ 2 −6 2 −1 6 0 6 ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ 2 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
As entradas na terceira fileira são a soma daqueles nos dois primeiros. Cada entrada na segunda linha é o produto do xNão.-valor (3 neste exemplo) com a entrada de terceira linha imediatamente à esquerda. As entradas na primeira linha são os coeficientes do polinômio a serem avaliados. Então o restante de f(x)(x)} em divisão por x- Sim. - Sim. 3- Sim. é 5.
Mas pelo teorema polinomial restante, sabemos que o restante é f(3)Não.. Assim, f(3)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =5Não..
Neste exemplo, se um3= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =2,um2= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =- Sim. - Sim. 6,um1= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =2,um0= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =- Sim. - Sim. 1Não. a_{3}=2,a_{2}=-6,a_{1}=2,a_{0}=-1} nós podemos ver que b)3= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =2,b)2= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0,b)1= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =2,b)0= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =5Não. b_{3}=2,b_{2}=0,b_{1}=2,b_{0}=5}, as entradas na terceira linha. Assim, a divisão sintética é baseada no método de Horner.
Como consequência do teorema do restante polinomial, as entradas na terceira linha são os coeficientes do polinomial de segundo grau, o quociente de f(x)(x)} em divisão por x- Sim. - Sim. 3- Sim.. O restante é 5Não. 5. Isso torna o método de Horner útil para a divisão longa polinomial.
Divide-se x3- Sim. - Sim. 6x2+11x- Sim. - Sim. 6Não. x^{3}-6x^{2}+11x-6} por x- Sim. - Sim. 2Não.:
2 │ 1 −6 11 −6 │ 2 −8 6 ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ 1 -4 3 0
O quociente é x2- Sim. - Sim. 4x+3{displaystyle x^{2}-4x+3}.
Vamos. f1(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =4x4- Sim. - Sim. 6x3+3x- Sim. - Sim. 5(x)=4x^{4}-6x^{3}+3x-5} e f2(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =2x- Sim. - Sim. 1(x)=2x-1}. Divide-se f1(x)(x)} por f2(x)(x)} usando o método de Horner.
0,5 │ 4 -6 0 3 -5 │ 2 -2 -1 1 ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ 2 - 2 - 1 - 4
A terceira linha é a soma das duas primeiras linhas, divididas por 2Não. 2. Cada entrada na segunda linha é o produto de 1Não. 1 com a entrada de terceira linha à esquerda. A resposta é:
- f1(x)f2(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =2x3- Sim. - Sim. 2x2- Sim. - Sim. x+1- Sim. - Sim. 42x- Sim. - Sim. 1.{displaystyle {frac {f_{1}(x)}{f_{2}(x)}}=2x^{3}-2x^{2}-x+1-{frac {4}{2x-1}}.}
Eficiência
Avaliação utilizando a forma monomial de um grau nNão. polinomial requer no máximo nNão. adições e (n2+n)/2(n^{2}+n)/2} multiplicações, se os poderes são calculados por multiplicação repetida e cada monomial é avaliado individualmente. O custo pode ser reduzido a nNão. adições e 2n- Sim. - Sim. 1- Sim. multiplicações avaliando os poderes de xNão. por iteração.
Se os dados numéricos são representados em termos de dígitos (ou bits), então o algoritmo ingênuo também implica armazenar aproximadamente 2nNão. vezes o número de bits de xNão.: o polinomial avaliado tem magnitude aproximada xn{displaystyle x^{n}}, e um deve também armazenar xn{displaystyle x^{n}} em si. Em contraste, o método de Horner requer apenas nNão. adições e nNão. multiplicações, e seus requisitos de armazenamento são apenas nNão. vezes o número de bits de xNão.. Alternativamente, o método de Horner pode ser computado com nNão. fundido multiplica-adds. O método de Horner também pode ser estendido para avaliar o primeiro kNão. derivados do polinomial com knNão. adições e multiplicações.
O método de Horner é ótimo, no sentido de que qualquer algoritmo para avaliar um polinômio arbitrário deve usar pelo menos tantas operações. Alexander Ostrowski provou em 1954 que o número de adições necessárias é mínimo. Victor Pan provou em 1966 que o número de multiplicações é mínimo. No entanto, quando xNão. é uma matriz, o método de Horner não é ideal.
Isso pressupõe que o polinomial é avaliado em forma monomial e nenhum pré-condicionamento da representação é permitido, o que faz sentido se o polinômio é avaliado apenas uma vez. No entanto, se o pré-condicionamento é permitido e o polinômio deve ser avaliado muitas vezes, então algoritmos mais rápidos são possíveis. Eles envolvem uma transformação da representação do polinomial. Em geral, um grau...nNão. polinomial pode ser avaliado usando apenas ?n/2Gerenciamento de contas+2 multiplicações e nNão. adições.
Avaliação paralela
Uma desvantagem da regra de Horner é que todas as operações são sequencialmente dependentes, então não é possível tirar vantagem do paralelismo de nível de instrução em computadores modernos. Na maioria das aplicações em que a eficiência da avaliação polinomial é importante, muitos polinômios de baixa ordem são avaliados simultaneamente (para cada pixel ou polígono em gráficos de computador ou para cada quadrado da grade em uma simulação numérica), portanto, não é necessário encontrar paralelismo dentro de um avaliação polinomial simples.
Se, no entanto, alguém está avaliando um único polinômio de ordem muito alta, pode ser útil dividi-lo da seguinte forma:
- p(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =Gerenciamento Gerenciamento Eu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0numEu...xEu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =um0+um1x+um2x2+um3x3+⋯ ⋯ +umnxn= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =(um0+um2x2+um4x4+⋯ ⋯ )+(um1x+um3x3+um5x5+⋯ ⋯ )= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =(um0+um2x2+um4x4+⋯ ⋯ )+x(um1+um3x2+um5x4+⋯ ⋯ )= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =Gerenciamento Gerenciamento Eu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0? ? n/2Gerenciamento de contas Gerenciamento de contas um2Eu...x2Eu...+xGerenciamento Gerenciamento Eu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0? ? n/2Gerenciamento de contas Gerenciamento de contas um2Eu...+1x2Eu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =p0(x2)+xp1(x2).{displaystyle {begin{aligned}p(x)&=sum _{i=0}^{n}a_{i}x^{i}\&=a_{0}+a_{1}x+a_{2}x^{2}+a_{3}x^{3}+cdots +a_{n}x^{n}\&=left(a_{0}+a_{2}x^{2}+a_{4}x^{4}+cdots right)+left (a_{1}x+a_{3}x^{3}+a_{5}x^{5}+cdots right)&=left (a_{0}+a_{2}x^{2}+a_{4}x^{4}+cdots right)+xleft (a_{1}+a_{3}x^{2}+a_{5}x^{4}+cdots right)&=sum _{i=0}^{lfloor n/2rfloor }a_{2i}x^{2i}+xsum _{i=0}^{lfloor n/2rfloor }a_{2i+1}x^{2i}\&=p_{0}(x^{2})+xp_{1}(x^{2}).\end{aligned}}}
De forma mais geral, o somatório pode ser dividido em k partes:
- p(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =Gerenciamento Gerenciamento Eu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0numEu...xEu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =Gerenciamento Gerenciamento JJ= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0k- Sim. - Sim. 1xJJGerenciamento Gerenciamento Eu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0? ? n/kGerenciamento de contas Gerenciamento de contas umkEu...+JJxkEu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =Gerenciamento Gerenciamento JJ= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0k- Sim. - Sim. 1xJJpJJ(xk){displaystyle {begin{aligned}p(x)&=sum _{i=0}^{n}a_{i}x^{i}\&=sum _{j=0}^{k-1}x^{j}sum _{i=0}^{lfloor n/krfloor }a_{ki+j}x^{ki}\&=sum _{j=0}^{k-1}x^{j}p_{j}(x^{k})\end{aligned}}}
onde os somatórios internos podem ser avaliados usando instâncias paralelas separadas do método de Horner. Isso requer um pouco mais de operações do que o método básico de Horner, mas permite a execução SIMD de k vias da maioria delas. Compiladores modernos geralmente avaliam polinômios dessa forma quando vantajosa, embora para cálculos de ponto flutuante isso exija habilitar matemática reassociativa (insegura).
Aplicação para multiplicação e divisão de ponto flutuante
O método de Horner é um método rápido e eficiente em código para multiplicação e divisão de números binários em um microcontrolador sem multiplicador de hardware. Um dos números binários a serem multiplicados é representado como um polinômio trivial, onde (usando a notação acima) umEu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =1Não. Arrombadoe x= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =2- Sim.. Então, x (ou x para algum poder) é repetidamente fatorado para fora. Neste sistema numeral binário (base 2), x= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =2- Sim., assim os poderes de 2 são repetidamente considerados.
Exemplo
Por exemplo, para encontrar o produto de dois números (0,15625) e m:
- (0.15625)m= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =(0.00101b))m= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =(2- Sim. - Sim. 3+2- Sim. - Sim. 5)m= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =(2- Sim. - Sim. 3)m+(2- Sim. - Sim. 5)m= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =2- Sim. - Sim. 3(m+(2- Sim. - Sim. 2)m)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =2- Sim. - Sim. 3(m+2- Sim. - Sim. 2(m)).{displaystyle {begin{aligned}(0.15625)m&=(0.00101_{b})m=(2^{-3}+2^{-5})m=(2^{-3})m+(2^{-5})m&=2^{-3}(m+2^{-2})m)=2^{-3}(m+2^{-2}(m)end{aligned}}}}).
Método
Para encontrar o produto de dois números binários d e m:
- 1. Um registro que segura o resultado intermediário é inicializado para D.
- 2. Comece com o menos significativo (mais direito) não-zero bit em m.
- 2b. Contar (à esquerda) o número de posições de bits para o próximo bit não-zero mais significativo. Se não houver bits mais significativos, então tome o valor da posição de bit atual.
- 2c. Usando esse valor, execute uma operação de parada esquerda por esse número de bits no registro segurando o resultado intermediário
- 3. Se todos os bits não zero foram contados, então o registro intermediário do resultado agora detém o resultado final. Caso contrário, adicione d ao resultado intermediário e continue na etapa 2 com o próximo bit mais significativo em m.
Derivação
Em geral, para um número binário com valores de bits (D3D2D1D0Não. d_{3}d_{2}d_{1}d_{0}}) O produto é
- (D323+D222+D121+D020)m= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =D323m+D222m+D121m+D020m.(d_{3}2^{3}+d_{2}2^{2}+d_{1}2^{1}+d_{0}2^{0})m=d_{3}2^{3}m+d_{2}2^{2}m+d_{1}2^{1}m+d_{0}2^{0}m.}
Nesta etapa do algoritmo, é necessário que os termos com coeficientes de valor zero sejam descartados, para que apenas coeficientes binários iguais a um sejam contados, portanto, o problema da multiplicação ou divisão por zero não é um problema, apesar disso implicação na equação fatorada:
- = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =D0(m+2D1D0(m+2D2D1(m+2D3D2(m)))).Não. =d_{0}left(m+2{frac {d_{1}}{d_{0}}}left(m+2{frac {d_{2}}{d_{1}}}left(m+2{frac {d_{3}}{d_{2}}}(m)right)right)right).}
Todos os denominadores são iguais a um (ou o termo está ausente), então isso se reduz a
- = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =D0(m+2D1(m+2D2(m+2D3(m)))),(m+2{d_{1}}(m+2{d_{1}}(m+2{d_{2}}(m+2{d_{3}}(m)),}
ou equivalente (conforme consistente com o "método" descrito acima)
- = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =D3(m+2- Sim. - Sim. 1D2(m+2- Sim. - Sim. 1D1(m+D0(m)))).(m+2^{-1}{d_{2}}(m+2^{-1}{d_{1}}(m+2^{-1}{d_{1}}(m+{d_{0}}(m)))}).}
Na matemática binária (base-2), a multiplicação por uma potência de 2 é apenas uma operação de deslocamento de registro. Assim, a multiplicação por 2 é calculada na base 2 por um deslocamento aritmético. O fator (2−1) é um deslocamento aritmético à direita, um (0) resulta em nenhuma operação (já que 20 = 1 é o elemento de identidade multiplicativa) e um (21) resulta em um deslocamento aritmético à esquerda. O produto da multiplicação agora pode ser calculado rapidamente usando apenas operações de deslocamento aritmético, adição e subtração.
O método é particularmente rápido em processadores que suportam uma única instrução de deslocamento e adição acumulada. Comparado a uma biblioteca C de ponto flutuante, o método de Horner sacrifica alguma precisão, no entanto, é nominalmente 13 vezes mais rápido (16 vezes mais rápido quando o formato "canonical assinado digit" (CSD) é usado) e usa apenas 20% do espaço de código.
Outras aplicações
O método de Horner pode ser usado para converter entre diferentes sistemas de numeração posicional – caso em que x é a base do sistema de numeração, e o ai são os dígitos da representação base-x de um determinado número – e também podem ser usados se x é uma matriz, caso em que o ganho de eficiência computacional é ainda maior. No entanto, para tais casos, métodos mais rápidos são conhecidos.
Descoberta de raiz polinomial
Usando o algoritmo de divisão longa em combinação com o método de Newton, é possível aproximar as raízes reais de um polinomial. O algoritmo funciona da seguinte forma. Dado um polinomial pn(x)(x)} de grau nNão. com zeros <math alttext="{displaystyle z_{n}<z_{n-1}<cdots zangão.n<zangão.n- Sim. - Sim. 1<⋯ ⋯ <zangão.1,Não. z_{n}<z_{n-1}<cdots <z_{1},}<img alt="{displaystyle z_{n}<z_{n-1}<cdots fazer um palpite inicial x0{displaystyle x_{0}} tal que <math alttext="{displaystyle z_{1}zangão.1<x0Não. z_{1}<x_{0}}<img alt="{displaystyle z_{1}. Agora iterar os seguintes dois passos:
- Usando o método de Newton, encontre o maior zero zangão.1Não. z_{1}} de pn(x)(x)} usando o palpite x0{displaystyle x_{0}}.
- Usando o método de Horner, dividir (x- Sim. - Sim. zangão.1)(x-z_{1})} para obter pn- Sim. - Sim. 1Não. p_{n-1}}. Retornar ao passo 1 mas usar o polinomial pn- Sim. - Sim. 1Não. p_{n-1}} e o palpite inicial zangão.1Não. z_{1}}.
Essas duas etapas são repetidas até que todos os zeros reais sejam encontrados para o polinômio. Se os zeros aproximados não forem precisos o suficiente, os valores obtidos podem ser usados como suposições iniciais para o método de Newton, mas usando o polinômio completo em vez dos polinômios reduzidos.
Exemplo
Considere o polinômio
- p6(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =(x+8)(x+5)(x+3)(x- Sim. - Sim. 2)(x- Sim. - Sim. 3)(x- Sim. - Sim. 7)(x+8)(x+5)(x+3)(x-2)(x-3)(x-7)}
que pode ser expandido para
- p6(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =x6+4x5- Sim. - Sim. 72x4- Sim. - Sim. 214x3+1127x2+1602x- Sim. - Sim. 5040.(x)=x^{6}+4x^{5}-72x^{4}-214x^{3}+1127x^{2}+1602x-5040.}
Do acima sabemos que a maior raiz deste polinômio é 7 então somos capazes de fazer um palpite inicial de 8. Usando o método de Newton, o primeiro zero de 7 é encontrado como mostrado em preto na figura à direita. Próximo p(x)(x)} é dividido por (x- Sim. - Sim. 7)(x-7)} para obter
- p5(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =x5+11x4+5x3- Sim. - Sim. 179x2- Sim. - Sim. 126x+720(x)=x^{5}+11x^{4}+5x^{3}-179x^{2}-126x+720}
que é desenhado em vermelho na figura à direita. O método de Newton é usado para encontrar o maior zero deste polinômio com um palpite inicial de 7. O maior zero deste polinomial que corresponde ao segundo maior zero do polinomial original é encontrado em 3 e é circundado em vermelho. O grau 5 polinomial é agora dividido por (x- Sim. - Sim. 3)(x-3)} para obter
- p4(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =x4+14x3+47x2- Sim. - Sim. 38x- Sim. - Sim. 240(x)=x^{4}+14x^{3}+47x^{2}-38x-240}
que é mostrado em amarelo. O zero para este polinômio é encontrado em 2 novamente usando o método de Newton e é circulado em amarelo. O método de Horner agora é usado para obter
- p3(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =x3+16.x2+79x+120(x)=x^{3}+16x^{2}+79x+120}
que é mostrado em verde e encontrado para ter um zero em −3. Este polinômio é ainda reduzido a
- p2(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =x2+13x+40(x)=x^{2}+13x+40}
que é mostrado em azul e produz um zero de −5. A raiz final do polinômio original pode ser encontrada usando o zero final como um palpite inicial para o método de Newton, ou reduzindo p2(x)(x)} e resolver a equação linear. Como pode ser visto, as raízes esperadas de −8, −5, −3, 2, 3 e 7 foram encontradas.
Diferença dividida de um polinômio
O método de Horner pode ser modificado para calcular a diferença dividida (p(Sim.)- Sim. - Sim. p(x))/(Sim.- Sim. - Sim. x).(p(y)-p(x))/(y-x). ? Dado o polinomial (como antes)
- p(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =Gerenciamento Gerenciamento Eu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =0numEu...xEu...= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =um0+um1x+um2x2+um3x3+⋯ ⋯ +umnxn,{displaystyle p(x)=sum _{i=0}^{n}a_{i}x^{i}=a_{0}+a_{1}x+a_{2}x^{2}+a_{3}x^{3}+cdots +a_{n}x^{n},}
proceda da seguinte forma
- b)n= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =umn,Dn= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =b)n,b)n- Sim. - Sim. 1= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =umn- Sim. - Sim. 1+b)nx,Dn- Sim. - Sim. 1= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =b)n- Sim. - Sim. 1+DnSim.,FORMAÇÃO FORMAÇÃO FORMAÇÃO FORMAÇÃO b)1= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =um1+b)2x,D1= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =b)1+D2Sim.,b)0= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =um0+b)1x.{displaystyle {begin{aligned}b_{n}&=a_{n},&quad d_{n}&=b_{n},b_{n-1}&=a_{n-1}+b_{n}x,&quad d_{n-1}&=b_{n-1}+d_{n}y,&{} vdots &quad &{} Vdots \b_{1}&=a_{1}+b_{2}x,&quad d_{1}&=b_{1}+d_{2}y,b_{0}&=a_{0}+b_{1}x.end{aligned}}}
Na conclusão, temos
- p(x)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =b)0,p(Sim.)- Sim. - Sim. p(x)Sim.- Sim. - Sim. x= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =D1,p(Sim.)= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =b)0+(Sim.- Sim. - Sim. x)D1.{displaystyle {begin{aligned}p(x)&=b_{0},{frac {p(y)-p(x)}{y-x}}&=d_{1},p(y)&=b_{0}+(y-x)d_{1}.end{aligned}}}
Esta computação da diferença dividida está sujeita a menos erro roundoff do que avaliar p(x)(x)} e p(Sim.)- Sim. separadamente, especialmente quando x? ? Sim.{displaystyle xapprox y}. Substituto Sim.= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =x- Sim. neste método dá D1= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =p?(x)(x)}, o derivado de p(x)(x)}.
História
resultado: x=840
O artigo de Horner, intitulado "Um novo método de resolver equações numéricas de todas as ordens, por aproximação contínua", foi lido perante a Royal Society de Londres, em sua reunião em 1º de julho de 1819, com uma sequência em 1823. O artigo de Horner na Parte II de Philosophical Transactions of the Royal Society of London de 1819 foi calorosa e amplamente recebido por um revisor na edição de The Monthly Review: or, Literary Journal de abril de 1820; em comparação, um artigo técnico de Charles Babbage é descartado bruscamente nesta revisão. A sequência de revisões em The Monthly Review de setembro de 1821 conclui que Holdred foi a primeira pessoa a descobrir uma solução prática geral e direta de equações numéricas. Fuller mostrou que o método no artigo de Horner de 1819 difere do que mais tarde ficou conhecido como "método de Horner" e que, em consequência, a prioridade desse método deveria ir para Holdred (1820).
Ao contrário de seus contemporâneos ingleses, Horner baseou-se na literatura continental, principalmente na obra de Arbogast. Horner também é conhecido por ter feito uma leitura atenta do livro de álgebra de John Bonneycastle, embora tenha negligenciado o trabalho de Paolo Ruffini.
Embora Horner seja creditado por tornar o método acessível e prático, ele já era conhecido muito antes de Horner. Em ordem cronológica inversa, o método de Horner já era conhecido por:
- Paolo Ruffini em 1809 (ver regra de Ruffini)
- Isaac Newton em 1669
- o matemático chinês Zhu Shijie no século XIV
- o matemático chinês Qin Jiushao em seu Treatise Matemática em Nove Seções no século XIII
- o matemático persa Sharaf al-Dīn al-ūūsī no século XII (o primeiro a usar esse método em um caso geral de equação cúbico)
- o matemático chinês Jia Xian no século XI (Dinamarca de canto)
- Os Nove Capítulos sobre a Arte Matemática, um trabalho chinês da dinastia Han (202 BC – 220 AD) editado por Liu Hui (século III).
Qin Jiushao, em seu Shu Shu Jiu Zhang (Tratado Matemático em Nove Seções; 1247), apresenta um portfólio de métodos do tipo Horner para resolver equações polinomiais, que foi baseado em trabalhos anteriores do matemático Jia Xian, da dinastia Song, do século XI; por exemplo, um método é especificamente adequado para biquintics, dos quais Qin dá um exemplo, de acordo com o então costume chinês de estudos de caso. Yoshio Mikami em Development of Mathematics in China and Japan (Leipzig 1913) escreveu:
"... que pode negar o fato de que o processo ilustre de Horner está sendo usado na China pelo menos seis longos séculos antes do que na Europa... É claro que não pretendemos, de qualquer forma, atribuir a invenção de Horner a uma origem chinesa, mas o lapso de tempo suficientemente torna impossível que os europeus pudessem ter conhecimento do método chinês de forma direta ou indireta."
Ulrich Libbrecht concluiu: É óbvio que este procedimento é uma invenção chinesa... o método não era conhecido na Índia. Ele disse, Fibonacci provavelmente aprendeu isso com os árabes, que talvez tenham emprestado dos chineses. A extração de raízes quadradas e cúbicas em linhas semelhantes já foi discutida por Liu Hui em conexão com os Problemas IV.16 e 22 em Jiu Zhang Suan Shu, enquanto Wang Xiaotong no século 7 supõe que seus leitores possam resolver cúbicos por um método de aproximação descrito em seu livro Jigu Suanjing.
Contenido relacionado
Antiprisma
Charles Babbage
Dodecaedro
Espaço euclidiano
Absoluto Infinito