La première méthode générale de factorisation des polynômes. Autour d'un mémoire de F.T. Schubert
Revue d'histoire des mathématiques, Tome 7 (2001) no. 1, pp. 67-89.

Nous présentons deux ouvrages peu connus de N.Bernoulli (1708) et de F.T.Schubert (1794) sur la factorisation des polynômes à coefficients entiers ainsi que les recherches de L.Kronecker et B.A.Hausmann sur le même sujet. La méthode de factorisation de Bernoulli-Schubert utilise le calcul des différences finies et l'interpolation par différences finies. Elle a été redécouverte par Kronecker (1882), qui a utilisé l'interpolation de Lagrange. Les deux procédés permettent de factoriser des polynômes dont les degrés et les coefficients sont petits. Un algorithme qui combine les résultats de Bernoulli-Schubert et Kronecker a été obtenu par B.A.Hausmann. Sa méthode est plus efficace pour des polynômes stables. Ces trois méthodes sont brièvement comparées avec les algorithmes modernes de factorisation.

We analyse two little known papers of N.Bernoulli (1708) and F.T.Schubert (1794) on the factorization of integer polynomials as well as the work of L.Kronecker and B.A.Hausmann on the same topic. The factorization method of Bernoulli-Schubert uses the calculus and the interpolation of finite differences. It was rediscovered by Kronecker (1882), who used Lagrange interpolation. Both procedures allow the effective factorization of polynomials having small degrees and coefficients. An algorithm combining the results of Bernoulli-Schubert and Kronecker was obtained by B.A.Hausmann. His method is particularly useful for the factorization of stable polynomials. The three methods are briefly compared with modern factorization algorithms.

Mots clés : factorisation des polynômes, i. Newton, g.w. Leibniz, n. Bernoulli (I), f.t. Schubert, l. Kronecker
@article{RHM_2001__7_1_67_0,
     author = {Mignotte, Maurice and \c Stef\u anescu, Doru},
     title = {La premi\`ere m\'ethode g\'en\'erale de factorisation des polyn\^omes. Autour d'un m\'emoire de F.T. Schubert},
     journal = {Revue d'histoire des math\'ematiques},
     pages = {67--89},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {7},
     number = {1},
     year = {2001},
     zbl = {1030.01017},
     language = {fr},
     url = {www.numdam.org/item/RHM_2001__7_1_67_0/}
}
Mignotte, Maurice; Ştefănescu, Doru. La première méthode générale de factorisation des polynômes. Autour d'un mémoire de F.T. Schubert. Revue d'histoire des mathématiques, Tome 7 (2001) no. 1, pp. 67-89. http://www.numdam.org/item/RHM_2001__7_1_67_0/

[1] Berlekamp (Elwyn) [1967] Factoring polynomials over finite fields, Bell Systems Technology Journal, 46 (1967), p.1853-1859. | MR 219231 | Zbl 0166.04901

[2] Bernoulli (Jean I) [1745] Virorum Celeberr. Got. Gul. Leibnitii et Johan. Bernoulli Commercium philosophicum et mathematicum, 2 vol., Lausanne & Genève : Bousquet, 1745.

[3] Bernoulli (Nicolas I) [1708] Regula generalis inveniendi aequationes, per quas alia quaepiam data, modo reducibilis sit, dividi potest, dans [Leibniz, Math. Schriften, III, p.827-835].

[4] Cantor (Moritz) [1908] Vorlesungen über die Geschichte der Mathematik, Bd.IV, Leipzig : Teubner, 1908.

[5] Cauchy (Augustin-Louis) [1829] Exercices de mathématiques, 4eannée, Paris : De Bure Frères, 1829.

[6] Encyclopédie Brockhaus-Efron Entziklopedicheskii Slovar Brockhaus i Efron, 86 vols, Saint-Pétersbourg, 1890-1907.

[7] Hausmann (Bernard A.) [1937] A new simplification of Kronecker's method of factorization of polynomials, American Mathematical Monthly, 44 (1937), p.574-576. | JFM 63.0854.03 | MR 1524088

[8] Hensel (Kurt) [1918] Eine neue Theorie der algebraischen Zahlen, Mathematische Zeitschrift, 2 (1918), p.433-452. | JFM 46.0254.01 | MR 1544329

[9] Knuth (Donald) [1969] The Art of Computer Programming, vol.2 : Seminumerical Algorithms, Reading Ma. : Addison-Wesley, 1969. | MR 286318 | Zbl 0895.68054

[10] Kronecker (Leopold) [ms 1880]Theorie der algebraischen Gleichungen, Wintersemester 1880/1881 (manuscrit L 2262, Bibliothèque UFR Mathématiques & Informatique, Strasbourg).

[11] Kronecker (Leopold) [1882] Grundzüge einer arithmetischen Theorie der algebraischen Grössen, Journal für reine und angewandte Mathematik, 92 (1882), p.1-122. | JFM 14.0038.02

[12] Kronecker (Leopold) [1897] Leopold Kronecker's Werke, Bd.II, p.237-387, Leipzig : B.G.Teubner, 1897. | Zbl 0003.05003

[13] Kronecker (Leopold) [1901] Vorlesungen über allgemeine Arithmetik, Leipzig : B.G.Teubner, 1901.

[14] Leibniz (Gottfried Wilhelm) [Math. Schriften] Leibnizens mathematische Schriften, hrsg. von C.I.Gerhardt, Halle 1850-1863.

[15] Lenstra (Arjen), Lenstra (Hendrik), Lovasz (Làszlò) [1982] Factoring polynomials with rational coefficients, Mathematische Annalen, 261 (1982), p.515-534. | MR 682664 | Zbl 0488.12001

[16] Mcnamee (John Michael) [1993] A bibliography on roots of polynomials, Journal of Computational and Applied Mathematics, 47 (1993), p.391-392 (+ disquette), voir également http ://www.elsevier.com/homepage/sac/cam/mcnamee/index.html. | MR 1251850 | Zbl 0788.65056

[17] Mignotte (Maurice) [1974] An inequality about factors of polynomials, Mathematics of Computation, 28 (1974), p.1153-1157. | MR 354624 | Zbl 0299.12101

[18] Molk (Jules), éd. [1907] Encyclopédie des sciences mathématiques pures et appliquées, t.1, Paris : Gauthier-Villars, 1907. Réimpression Paris : J.Gabay, 1992. | JFM 42.0126.02 | Zbl 0939.01033

[19] Newton (Isaac) [1707] Arithmetica universalis, Cambridge, 1707.

[20] Newton (Isaac) [1710] Universal Arithmetick, London, 1710. Reprinted in Mathematical Works, vol.2, Johnson Reprint Corp., 1967. | MR 215683

[21] Newton (Isaac) [1761] Arithmetica universalis, Amsterdam, 1761.

[22] Newton (Isaac) [1802] Arithmétique universelle de Newton, trad. Noël Beaudeux, Paris : Bernard, An X, 1802.

[23] Newton (Isaac) [Math.Papers] The Mathematical Papers of Isaac Newton, éd. D.T.Whiteside, vol.5, Cambridge : Cambridge University Press, 1972. | MR 437261 | Zbl 0215.04201

[24] Poggendorff (Johann Christian), éd. [1863] Biographisch-literarisches Handwörterbuch zur Geschichte der exacten Wissenschaften, Leipzig, 1863.

[25] Runge (Carl) [1886] Ueber die Zerlegung ganzer ganzzahliger Functionen in irreductible Factoren, J. reine angew. Math., 99 (1886), p.89-97. | JFM 17.0058.02

[26] Schubert (Friedrich Theodor) [1798] De Inventione Divisorum, Nova Acta Academiae Scientiarum Petropolitanae, 11 (1793), p. 172-182, Saint-Pétersbourg, 1798.

[27] Schubert (Friedrich Theodor) [1810] Demonstratio theorematis algebraici, Mémoires de l'Académie impériale des sciences de Saint Pétersbourg , s. 5, 2 (1810), p.124-129.

[28] Van Der Waerden (Bartel) [1937] Moderne Algebra I, Berlin : Springer Verlag, 1937.

[29] Zassenhaus (Hans) [1969] On Hensel factorization, Journal of Number Theory, 1 (1969), p.291-311 . | MR 242793 | Zbl 0188.33703