Lista de teoremas mal nombrados

Esta es una lista de teoremas matemáticos mal nombrados . Incluye teoremas (y lemas , corolarios, conjeturas , leyes e incluso algún que otro objeto) que son bien conocidos en matemáticas, pero que no llevan el nombre de su creador. Es decir, los elementos de esta lista ilustran la ley de epónimo de Stigler (que, por supuesto, no se debe a Stephen Stigler , quien se la atribuye a Robert K. Merton ).

• Ley de Benford . Esta fue enunciada por primera vez en 1881 por Simon Newcomb , ^{[ 1 ]} y redescubierta en 1938 por Frank Benford . ^{[ 2 ]} La primera formulación y demostración rigurosa parece deberse a Ted Hill en 1988.; ^{[ 3 ]} véase también la contribución de Persi Diaconis . ^{[ 4 ]}
• Teorema de la votación de Bertrand . Este resultado sobre la probabilidad de que el ganador de una elección estuviera por delante en cada paso del recuento de votos fue publicado por primera vez por W. A. ​​Whitworth en 1878, pero recibió el nombre de Joseph Louis François Bertrand , quien lo redescubrió en 1887. ^{[ 5 ]} Una demostración común utiliza el método de reflexión de André , aunque la demostración de Désiré André no utilizó ninguna reflexión.

• El lema de Burnside . Este fue enunciado y demostrado sin atribución en el libro de texto de Burnside de 1897, ^{[ 6 ]} pero ya había sido discutido previamente por Augustin Cauchy en 1845 y por Georg Frobenius en 1887.
• Teorema de Cayley-Hamilton . El teorema fue demostrado por primera vez en el caso particular y sencillo de matrices de 2×2 por Cayley , y posteriormente para el caso de matrices de 4×4 por Hamilton . Sin embargo, no fue demostrado en general hasta 1878 por Frobenius . ^{[ 7 ]}
• La desigualdad de Hölder . Esta desigualdad fue establecida por primera vez por Leonard James Rogers y publicada en 1888. Otto Hölder la descubrió de forma independiente y la publicó en 1889.
• Teorema de Marden . Este teorema, que relaciona la ubicación de los ceros de un polinomio cúbico complejo con los ceros de su derivada, fue nombrado por Dan Kalman después de que Kalman lo leyera en un libro de Morris Marden de 1966 , quien había escrito sobre él por primera vez en 1945. ^{[ 8 ]} Pero, como el propio Marden había escrito, su demostración original fue realizada por Jörg Siebeck en 1864. ^{[ 9 ]}
• Teorema de enumeración de Pólya . Este fue demostrado en 1927 en un artículo complejo de J.H. Redfield . ^{[ 10 ]} A pesar de la importancia de la publicación (el American Journal of Mathematics ), el artículo pasó desapercibido. Finalmente, el teorema fue redescubierto de forma independiente en 1936 por George Pólya . ^{[ 11 ]} No fue hasta 1960 que Frank Harary desenterró el artículo anterior de Redfield. Véase ^{[ 12 ]} para obtener información histórica y de otro tipo.

• Teorema de Frobenius . Este teorema fundamental fue enunciado y demostrado en 1840 por Feodor Deahna . ^{[ 13 ]} Si bien Frobenius citó el trabajo de Deahna en su propio artículo de 1875, ^{[ 14 ]} se dio a conocer después de Frobenius, no de Deahna. Véase ^{[ 15 ]} para una revisión histórica.
• Regla de L'Hôpital . Esta regla apareció por primera vez en el libro de L'Hôpital, L'Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes, en 1696. Se cree que la regla es obra de Johann Bernoulli , ya que L'Hôpital, un noble, le pagaba a Bernoulli un salario de 300 francos anuales para que lo mantuviera al día sobre los avances en cálculo y resolviera sus problemas. Véase L'Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes y la referencia allí citada.
• Serie de Maclaurin . La serie de Maclaurin recibió su nombre de Colin Maclaurin , un profesor de Edimburgo, quien publicó este caso especial de la serie de Taylor en 1742, pero nunca afirmó haberla descubierto. ^{[ 16 ]}
• Lema de Poincaré . Este lema fue mencionado en 1886 por Henri Poincaré [ ^{17 ] ,} pero fue demostrado por primera vez en una serie de artículos de 1889 por el distinguido matemático italiano Vito Volterra . No obstante, se ha popularizado después de Poincaré. Véase ^{[ 15 ]} para la compleja historia de este lema.
• Teorema de Stokes . Recibe su nombre de Sir George Gabriel Stokes (1819-1903), aunque la primera formulación conocida del teorema es de William Thomson (Lord Kelvin) y aparece en una carta suya a Stokes. El teorema adquirió su nombre por la costumbre de Stokes de incluirlo en los exámenes de los premios de Cambridge . En 1854, pidió a sus alumnos que demostraran el teorema en un examen; se desconoce si alguno fue capaz de hacerlo. ^{[ 18 ]}

• Teorema de Ceva . La prueba más antigua que se conserva se encuentra en el Kitab al-Istikmal ( Libro de la Perfección ) de Yusuf al-Mu'taman ibn Hud , del siglo XI , unos seis siglos antes del De lineis rectis ( Sobre las líneas rectas ) de Giovanni Ceva , de 1678. ^{[ 19 ]}
• La paradoja de Cramer . Colin Maclaurin la observó por primera vez en 1720 y Leonhard Euler la redescubrió en 1748 (cuyo trabajo no se publicó hasta dos años después, ya que Euler escribía sus artículos más rápido de lo que sus impresores podían imprimirlos). Gabriel Cramer también la analizó en 1750, sugiriendo de forma independiente la idea esencial para su resolución, aunque proporcionar una demostración rigurosa siguió siendo un problema abierto durante gran parte del siglo XIX. Si bien Cramer citó a Maclaurin, la paradoja se dio a conocer después de Cramer, y no de Maclaurin. Georges Halphen , Arthur Cayley y otros matemáticos contribuyeron a la primera demostración más o menos correcta. Véase ^{[ 20 ]} para una excelente revisión.
• Teorema de Heine-Borel . Este teorema fue demostrado en 1872 por Émile Borel , no por Eduard Heine . Borel empleó técnicas similares a las que Heine utilizó para demostrar que las funciones continuas en intervalos cerrados son uniformemente continuas. El nombre de Heine se le atribuyó porque Schönflies notó la similitud entre los enfoques de Heine y Borel. De hecho, el teorema fue demostrado por primera vez en 1852 por Peter Gustav Lejeune Dirichlet , pero sus apuntes de clase no se publicaron hasta 1904. ^{[ 21 ]}
• Modelos de geometría hiperbólica. «Debido a una de las injusticias de nomenclatura tan comunes en matemáticas, los tres modelos —que podrían denominarse apropiadamente modelos de Riemann-Beltrami, Liouville-Beltrami y Cayley-Beltrami— se conocen habitualmente como el modelo del disco de Poincaré , el modelo del semiplano de Poincaré y el modelo del disco de Klein ». ^{[ 22 ]}
• Ley de Morrie . El nombre se debe al físico Richard Feynman , quien solía referirse a la identidad con ese nombre. Feynman eligió ese nombre porque había aprendido la ley durante su infancia de un niño llamado Morrie Jacobs. ^{[ 23 ]}

• 

  Teorema de Pitágoras . Este teorema era conocido por los antiguos matemáticos mesopotámicos más de mil años antes del nacimiento de Pitágoras. ^{[ 24 ]}

• Teorema de Bézout . Es posible que Isaac Newton lo haya enunciado por primera vez en 1665. Colin MacLaurin (c. 1720), Leonhard Euler y Étienne Bézout (c. 1750) se ocuparon de su demostración . Sin embargo, la "demostración" de Bézout era incorrecta . La primera demostración correcta parece deberse principalmente a Georges-Henri Halphen en la década de 1870. ^{[ 25 ]}
• Regla de Cramer . Recibe su nombre de Gabriel Cramer (1704-1752), quien la publicó en su obra Introduction à l'analyse des lignes courbes algébriques de 1750 , aunque Colin Maclaurin también publicó el método en su Treatise of Algebra de 1748 (y probablemente ya lo conocía en 1729). ^{[ 26 ]}
• ^La ecuación de Pell . La solución de la ecuación x² − dy² = ¹ , donde x e y son enteros positivos desconocidos y d es un entero positivo conocido que no es un cuadrado perfecto, se atribuye a John Pell . Parece haber sido descubierta por Fermat , quien la planteó como un problema desafiante en 1657. La primera solución europea se encuentra en un trabajo conjunto de 1658 de John Wallis y Lord Brouncker ; en 1668, Pell dio una solución más corta en una edición del trabajo de un tercer matemático; véase la referencia ^{[ 27 ]} . La primera demostración rigurosa puede deberse a Lagrange . El nombre erróneo aparentemente surgió cuando Euler confundió a Brouncker con Pell; véase ^{[ 28 ]} para un relato extenso de la historia de esta ecuación.    

• El lema de Zorn recibe su nombre de Max Zorn . Entre 1907 y 1940, Zorn, Brouwer , Hausdorff , Kuratowski , R.L. Moore y otros realizaron numerosos trabajos sobre el teorema conocido como lema de Zorn, así como sobre varias formulaciones estrechamente relacionadas, como el principio maximal de Hausdorff . Sin embargo, Zorn nunca demostró el teorema en particular que ahora se conoce como "lema de Zorn", y, en cualquier caso, Kuratowski anticipó sus resultados. Chevalley descubrió el teorema en 1936, y Bourbaki lo publicó y se lo atribuyó a Zorn en su obra Théorie des Ensembles en 1939. S. Bochner anticipó un resultado muy similar en 1928. ^{[ 29 ]}

• Lista de ejemplos de la ley de Stigler
• Lista de múltiples descubrimientos
• Lista de teoremas
• efecto Mateo