View source for Budan-Fourier theorem

{{MSC|12Y|65T}}
{{TEX|done}}

The number of roots of an algebraic equation

$$f(x)=0$$
comprised in an interval $(a,b), a<b$, is equal to or is smaller, by an even number, than $\tau=t_1-t_2$, where $t_1$ is the number of changes in sign in the series of derivatives of the polynomial $f(x)$ at the point $a$, i.e. in the series

$$f(a),f'(a),\dots,f^{(n)}(a),$$
while $t_2$ is the number of changes in sign in this series at the point $b$. Each multiple root is counted according to its multiplicity. Established by F. Budan (1807) {{Cite|Bu}} and J. Fourier (1820) {{Cite|Fo}}.

====Comments====
An application of the Budan–Fourier theorem in numerical analysis may be found in
{{Cite|BoSc}}, where it is used in the interpolation by spline functions.



====References====
{|
|-
|valign="top"|{{Ref|AlMaCh}}||valign="top"| P.S. Alexandroff, A.T. Markuschewitsch, A.J. Chintschin, "Encyclopaedia of elementary mathematics", '''2. Algebra''', Moscow-Leningrad  (1951)  pp. 331  (In Russian) {{MR|0080060}} {{ZBL|0365.00003}}
|-
|valign="top"|{{Ref|BoSc}}||valign="top"|  C. de Boor,   I.J. Schoenberg,   "Cardinal interpolation and spline functions VIII. The Budan–Fourier theorem for splines and applications."  K. Bohmer (ed.)  G. Meinardus (ed.)  W. Schempp (ed.), ''Spline functions'', ''Lect. notes in math.'', '''501''', Springer  (1976) {{MR|0493059}}  {{ZBL|0319.41010}}
|-
|valign="top"|{{Ref|Bu}}||valign="top"| Budan, F. D., " Nouvelle méthode pour la résolution des équations numériques", Paris: Courcier (1807) [http://books.google.com/books/about/Nouvelle_m%C3%A9thode_pour_la_r%C3%A9solution_de.html?id=VyMOAAAAQAAJ&redir_esc=y google books]
|-
|valign="top"|{{Ref|Fo}}||valign="top"| J.P.J. Fourier, "Sur l'usage du théoréme de Descartes dans la recherche des limites des racines", [http://ia600309.us.archive.org/22/items/bulletindesscien20soci/bulletindesscien20soci.pdf Bulletin des Sciences, par la Société Philomatique de Paris]  (1820) pp.156-165.
|-
|valign="top"|{{Ref|Ho}}||valign="top"|  A.S. Householder,   "Unitary triangularization of a nonsymmetric matrix"  ''J. Assoc. Comp. Mach.'', '''5'''  (1958)  pp. 339–342   {{MR|0111128}} {{ZBL|0121.33802}}
|-
|}