stringtranslate.com

Factorial

En matemáticas , el factorial de un entero no negativo , denotado por , es el producto de todos los enteros positivos menores o iguales a . El factorial de también es igual al producto de con el factorial inmediatamente inferior: Por ejemplo, El valor de 0! es 1, según la convención para un producto vacío . [1]

Los factoriales se han descubierto en varias culturas antiguas, en particular en las matemáticas indias en las obras canónicas de la literatura jainista , y por los místicos judíos en el libro talmúdico Sefer Yetzirah . La operación factorial se encuentra en muchas áreas de las matemáticas, en particular en la combinatoria , donde su uso más básico cuenta las posibles secuencias distintas (las permutaciones ) de objetos distintos: hay . En el análisis matemático , los factoriales se utilizan en series de potencias para la función exponencial y otras funciones, y también tienen aplicaciones en álgebra , teoría de números , teoría de la probabilidad y ciencias de la computación .

Gran parte de las matemáticas de la función factorial se desarrollaron a finales del siglo XVIII y principios del XIX. La aproximación de Stirling proporciona una aproximación precisa al factorial de números grandes, mostrando que crece más rápidamente que el crecimiento exponencial . La fórmula de Legendre describe los exponentes de los números primos en una factorización prima de los factoriales, y se puede utilizar para contar los ceros finales de los factoriales. Daniel Bernoulli y Leonhard Euler interpolaron la función factorial a una función continua de números complejos , excepto en los enteros negativos, la función gamma (desplazada) .

Muchas otras funciones y secuencias numéricas notables están estrechamente relacionadas con los factoriales, incluidos los coeficientes binomiales , los factoriales dobles , los factoriales descendentes , los primoriales y los subfactoriales . Las implementaciones de la función factorial se utilizan comúnmente como un ejemplo de diferentes estilos de programación informática y se incluyen en calculadoras científicas y bibliotecas de software de computación científica. Aunque calcular directamente factoriales grandes utilizando la fórmula del producto o la recurrencia no es eficiente, se conocen algoritmos más rápidos, que coinciden con un factor constante en el tiempo para algoritmos de multiplicación rápida para números con la misma cantidad de dígitos.

Historia

El concepto de factoriales ha surgido de forma independiente en muchas culturas:

Desde finales del siglo XV en adelante, los factoriales se convirtieron en objeto de estudio por parte de los matemáticos occidentales. En un tratado de 1494, el matemático italiano Luca Pacioli calculó factoriales hasta 11!, en relación con un problema de arreglos de mesas de comedor. [12] Christopher Clavius ​​analizó los factoriales en un comentario de 1603 sobre el trabajo de Johannes de Sacrobosco , y en la década de 1640, el polímata francés Marin Mersenne publicó grandes (pero no del todo correctas) tablas de factoriales, hasta 64!, basadas en el trabajo de Clavius. [13] La serie de potencias para la función exponencial , con los recíprocos de los factoriales para sus coeficientes, fue formulada por primera vez en 1676 por Isaac Newton en una carta a Gottfried Wilhelm Leibniz . [14] Otras obras importantes de las primeras matemáticas europeas sobre factoriales incluyen una amplia cobertura en un tratado de 1685 de John Wallis , un estudio de sus valores aproximados para grandes valores de por Abraham de Moivre en 1721, una carta de 1729 de James Stirling a de Moivre indicando lo que se conoció como la aproximación de Stirling , y el trabajo al mismo tiempo de Daniel Bernoulli y Leonhard Euler formulando la extensión continua de la función factorial a la función gamma . [15] Adrien-Marie Legendre incluyó la fórmula de Legendre , que describe los exponentes en la factorización de factoriales en potencias primos , en un texto de 1808 sobre teoría de números . [16]

La notación para factoriales fue introducida por el matemático francés Christian Kramp en 1808. [17] También se han utilizado muchas otras notaciones. Otra notación posterior , en la que el argumento del factorial estaba medio encerrado por los lados izquierdo e inferior de una caja, fue popular durante algún tiempo en Gran Bretaña y Estados Unidos, pero cayó en desuso, tal vez porque es difícil de componer. [17] La ​​palabra "factorial" (originalmente en francés: factorielle ) fue utilizada por primera vez en 1800 por Louis François Antoine Arbogast , [18] en el primer trabajo sobre la fórmula de Faà di Bruno , [19] pero refiriéndose a un concepto más general de productos de progresiones aritméticas . Los "factores" a los que se refiere este nombre son los términos de la fórmula del producto para el factorial. [20]

Definición

La función factorial de un entero positivo se define como el producto de todos los enteros positivos no mayores que [1]. Esto se puede escribir de manera más concisa en notación de producto como [1].

Si se cambia esta fórmula del producto para conservar todos los términos excepto el último, se definiría un producto de la misma forma, para un factorial más pequeño. Esto conduce a una relación de recurrencia , según la cual cada valor de la función factorial se puede obtener multiplicando el valor anterior por : [21] Por ejemplo, .

Factorial de cero

El factorial de es , o en símbolos, . Hay varias motivaciones para esta definición:

Aplicaciones

Los primeros usos de la función factorial implican contar permutaciones : hay diferentes formas de organizar objetos distintos en una secuencia. [26] Los factoriales aparecen de forma más amplia en muchas fórmulas en combinatoria , para dar cuenta de diferentes ordenaciones de objetos. Por ejemplo, los coeficientes binomiales cuentan las combinaciones de elementos (subconjuntos de elementos) de un conjunto con elementos, y se pueden calcular a partir de factoriales utilizando la fórmula [27] Los números de Stirling del primer tipo suman los factoriales y cuentan las permutaciones de agrupadas en subconjuntos con el mismo número de ciclos. [28] Otra aplicación combinatoria es en el conteo de desarreglos , permutaciones que no dejan ningún elemento en su posición original; el número de desarreglos de elementos es el entero más cercano a . [29]

En álgebra , los factoriales surgen a través del teorema del binomio , que utiliza coeficientes binomiales para expandir potencias de sumas. [30] También aparecen en los coeficientes utilizados para relacionar ciertas familias de polinomios entre sí, por ejemplo en las identidades de Newton para polinomios simétricos . [31] Su uso para contar permutaciones también se puede reformular algebraicamente: los factoriales son los órdenes de grupos simétricos finitos . [32] En cálculo , los factoriales aparecen en la fórmula de Faà di Bruno para encadenar derivadas superiores. [19] En análisis matemático , los factoriales aparecen frecuentemente en los denominadores de series de potencias , más notablemente en la serie para la función exponencial , [14] y en los coeficientes de otras series de Taylor (en particular las de las funciones trigonométricas e hiperbólicas ), donde cancelan factores de que vienen de la derivada ésima de . [33] Este uso de factoriales en series de potencias se conecta con la combinatoria analítica a través de la función generadora exponencial , que para una clase combinatoria con elementos de tamaño se define como la serie de potencias [34]

En teoría de números , la propiedad más destacada de los factoriales es la divisibilidad de por todos los números enteros positivos hasta , descrita con mayor precisión para los factores primos por la fórmula de Legendre . De ello se deduce que se pueden encontrar números primos arbitrariamente grandes como factores primos de los números , lo que conduce a una prueba del teorema de Euclides de que el número de primos es infinito. [35] Cuando es primo en sí mismo se llama primo factorial ; [36] en relación con esto, el problema de Brocard , también planteado por Srinivasa Ramanujan , se refiere a la existencia de números cuadrados de la forma . [37] Por el contrario, todos los números deben ser compuestos, lo que demuestra la existencia de huecos primos arbitrariamente grandes . [38] Una prueba elemental del postulado de Bertrand sobre la existencia de un primo en cualquier intervalo de la forma , uno de los primeros resultados de Paul Erdős , se basó en las propiedades de divisibilidad de los factoriales. [39] [40] El sistema de numeración factorial es una notación de base mixta para números en la que los valores de posición de cada dígito son factoriales. [41]

Los factoriales se utilizan ampliamente en la teoría de la probabilidad , por ejemplo en la distribución de Poisson [42] y en las probabilidades de permutaciones aleatorias . [43] En informática , además de aparecer en el análisis de búsquedas de fuerza bruta sobre permutaciones, [44] los factoriales surgen en el límite inferior del número de comparaciones necesarias para ordenar por comparación un conjunto de elementos, [45] y en el análisis de tablas hash encadenadas , donde la distribución de claves por celda se puede aproximar con precisión mediante una distribución de Poisson. [46] Además, los factoriales aparecen naturalmente en fórmulas de física cuántica y estadística , donde a menudo se consideran todas las permutaciones posibles de un conjunto de partículas. En mecánica estadística , los cálculos de entropía como la fórmula de entropía de Boltzmann o la ecuación de Sackur-Tetrode deben corregir el recuento de microestados dividiéndolos por los factoriales de los números de cada tipo de partícula indistinguible para evitar la paradoja de Gibbs . La física cuántica proporciona la razón subyacente por la que estas correcciones son necesarias. [47]

Propiedades

Crecimiento y aproximación

Comparación del factorial, la aproximación de Stirling y la aproximación más simple , en una escala doblemente logarítmica
Error relativo en una serie Stirling truncada en función del número de términos

Como función de , el factorial tiene un crecimiento más rápido que el exponencial , pero crece más lentamente que una función exponencial doble . [48] Su tasa de crecimiento es similar a , pero más lenta por un factor exponencial. Una forma de aproximarse a este resultado es tomando el logaritmo natural del factorial, que convierte su fórmula de producto en una suma, y ​​luego estimar la suma por una integral: Exponenciando el resultado (e ignorando el término despreciable) se aproxima como . [49] Acotando más cuidadosamente la suma tanto por encima como por debajo por una integral, usando la regla del trapezoide , se muestra que esta estimación necesita un factor de corrección proporcional a . La constante de proporcionalidad para esta corrección se puede encontrar a partir del producto de Wallis , que se expresa como una razón límite de factoriales y potencias de dos. El resultado de estas correcciones es la aproximación de Stirling : [50] Aquí, el símbolo significa que, como tiende a infinito, la razón entre los lados izquierdo y derecho se acerca a uno en el límite . La fórmula de Stirling proporciona el primer término en una serie asintótica que se vuelve aún más precisa cuando se lleva a un mayor número de términos: [51] Una versión alternativa utiliza solo exponentes impares en los términos de corrección: [51] Srinivasa Ramanujan , Bill Gosper y otros también han desarrollado muchas otras variaciones de estas fórmulas . [51]

El logaritmo binario del factorial, utilizado para analizar la clasificación por comparación , se puede estimar con mucha precisión utilizando la aproximación de Stirling. En la fórmula siguiente, el término invoca la notación O mayúscula . [45]

Divisibilidad y dígitos

La fórmula del producto para el factorial implica que es divisible por todos los números primos que son como máximo , y por ningún número primo mayor. [52] Información más precisa sobre su divisibilidad se da por la fórmula de Legendre , que da el exponente de cada primo en la factorización prima de como [53] [54] Aquí denota la suma de los dígitos base de , y el exponente dado por esta fórmula también se puede interpretar en matemáticas avanzadas como la valoración p -ádica del factorial. [54] La aplicación de la fórmula de Legendre a la fórmula del producto para coeficientes binomiales produce el teorema de Kummer , un resultado similar sobre el exponente de cada primo en la factorización de un coeficiente binomial. [55] Agrupar los factores primos del factorial en potencias primos de diferentes maneras produce las particiones multiplicativas de factoriales . [56]

El caso especial de la fórmula de Legendre para da el número de ceros finales en la representación decimal de los factoriales. [57] Según esta fórmula, el número de ceros se puede obtener restando los dígitos de base 5 de de , y dividiendo el resultado por cuatro. [58] La fórmula de Legendre implica que el exponente del primo es siempre mayor que el exponente de , por lo que cada factor de cinco se puede emparejar con un factor de dos para producir uno de estos ceros finales. [57] Los dígitos iniciales de los factoriales se distribuyen de acuerdo con la ley de Benford . [59] Cada secuencia de dígitos, en cualquier base, es la secuencia de dígitos iniciales de algún número factorial en esa base. [60]

Otro resultado sobre la divisibilidad de factoriales, el teorema de Wilson , establece que es divisible por si y solo si es un número primo . [52] Para cualquier entero dado , la función de Kempner de está dada por el menor para el cual divide a . [61] Para casi todos los números (todos excepto un subconjunto de excepciones con densidad asintótica cero), coincide con el mayor factor primo de . [62]

El producto de dos factoriales, , siempre divide exactamente a . [63] Hay infinitos factoriales que son iguales al producto de otros factoriales: si es en sí mismo cualquier producto de factoriales, entonces es igual a ese mismo producto multiplicado por un factorial más, . Los únicos ejemplos conocidos de factoriales que son productos de otros factoriales pero que no son de esta forma "trivial" son , , y . [64] Se seguiría de la conjetura abc que solo hay un número finito de ejemplos no triviales. [65]

El máximo común divisor de los valores de un polinomio primitivo de grado sobre los números enteros divide exactamente a . [63]

Interpolación continua y generalización de números no enteros

La función gamma (desplazada una unidad a la izquierda para que coincida con los factoriales) interpola continuamente el factorial a valores no enteros.
Valores absolutos de la función gamma compleja, mostrando polos en números enteros no positivos

Hay infinitas formas de extender los factoriales a una función continua . [66] La más utilizada de ellas [67] utiliza la función gamma , que puede definirse para números reales positivos como la integral La función resultante está relacionada con el factorial de un entero no negativo mediante la ecuación que puede usarse como definición del factorial para argumentos no enteros. En todos los valores para los que se definen tanto y , la función gamma obedece a la ecuación funcional que generaliza la relación de recurrencia para los factoriales. [66]

La misma integral converge de manera más general para cualquier número complejo cuya parte real sea positiva. Puede extenderse a los puntos no enteros en el resto del plano complejo resolviendo la fórmula de reflexión de Euler . Sin embargo, esta fórmula no puede usarse en números enteros porque, para ellos, el término produciría una división por cero . El resultado de este proceso de extensión es una función analítica , la continuación analítica de la fórmula integral para la función gamma. Tiene un valor distinto de cero en todos los números complejos, excepto para los enteros no positivos donde tiene polos simples . En consecuencia, esto proporciona una definición para el factorial en todos los números complejos que no sean los enteros negativos. [67] Una propiedad de la función gamma, que la distingue de otras interpolaciones continuas de los factoriales, está dada por el teorema de Bohr-Mollerup , que establece que la función gamma (desplazada por uno) es la única función log-convexa en los números reales positivos que interpola los factoriales y obedece a la misma ecuación funcional. Un teorema de unicidad relacionado de Helmut Wielandt establece que la función gamma compleja y sus múltiplos escalares son las únicas funciones holomorfas en el semiplano complejo positivo que obedecen a la ecuación funcional y permanecen acotadas para números complejos con parte real entre 1 y 2. [68]

Otras funciones complejas que interpolan los valores factoriales incluyen la función gamma de Hadamard , que es una función completa sobre todos los números complejos, incluidos los enteros no positivos. [69] [70] En los números p -ádicos , no es posible interpolar continuamente la función factorial directamente, porque los factoriales de los enteros grandes (un subconjunto denso de los p -ádicos) convergen a cero de acuerdo con la fórmula de Legendre, lo que obliga a que cualquier función continua que esté cerca de sus valores sea cero en todas partes. En cambio, la función gamma p -ádica proporciona una interpolación continua de una forma modificada del factorial, omitiendo los factores en el factorial que son divisibles por p . [71]

La función digamma es la derivada logarítmica de la función gamma. Así como la función gamma proporciona una interpolación continua de los factoriales, compensada por uno, la función digamma proporciona una interpolación continua de los números armónicos , compensada por la constante de Euler-Mascheroni . [72]

Cálculo

TI SR-50A , una calculadora de 1975 con una tecla factorial (tercera fila, centro a la derecha)

La función factorial es una característica común en las calculadoras científicas . [73] También se incluye en bibliotecas de programación científica como el módulo de funciones matemáticas de Python [74] y la biblioteca Boost C++ . [75] Si la eficiencia no es una preocupación, calcular factoriales es trivial: simplemente multiplica sucesivamente una variable inicializada a por los números enteros hasta . La simplicidad de este cálculo lo convierte en un ejemplo común en el uso de diferentes estilos y métodos de programación informática. [76]

El cálculo de se puede expresar en pseudocódigo usando iteración [77] como

definir factorial( n ): f  := 1 para i  := 1, 2, 3, ..., n : f  := f * i devuelve f

o utilizando la recursión [78] basada en su relación de recurrencia como

definir factorial( n ): si ( n = 0) devuelve 1 devuelve n * factorial( n − 1)

Otros métodos adecuados para su cálculo incluyen la memorización , [79] la programación dinámica , [80] y la programación funcional . [81] La complejidad computacional de estos algoritmos puede analizarse utilizando el modelo de cálculo de máquina de acceso aleatorio de costo unitario , en el que cada operación aritmética toma un tiempo constante y cada número utiliza una cantidad constante de espacio de almacenamiento. En este modelo, estos métodos pueden calcular en tiempo , y la versión iterativa utiliza espacio . A menos que se optimice para la recursión de cola , la versión recursiva toma espacio lineal para almacenar su pila de llamadas . [82] Sin embargo, este modelo de cálculo solo es adecuado cuando es lo suficientemente pequeño como para permitir que quepa en una palabra de máquina . [83] Los valores 12! y 20! son los factoriales más grandes que se pueden almacenar en, respectivamente, los enteros de 32 bits [84] y 64 bits . [85] El punto flotante puede representar factoriales más grandes, pero aproximadamente en lugar de exactamente, y aún se desbordará para factoriales mayores que . [84]

El cálculo exacto de factoriales más grandes implica aritmética de precisión arbitraria , debido al rápido crecimiento y al desbordamiento de enteros . El tiempo de cálculo se puede analizar como una función del número de dígitos o bits en el resultado. [85] Por la fórmula de Stirling, tiene bits. [86] El algoritmo de Schönhage-Strassen puede producir un producto de -bit en tiempo , y se conocen algoritmos de multiplicación más rápidos que toman tiempo . [87] Sin embargo, calcular el factorial involucra productos repetidos, en lugar de una sola multiplicación, por lo que estos límites de tiempo no se aplican directamente. En este contexto, calcular multiplicando los números del 1 al en secuencia es ineficiente, porque involucra multiplicaciones, una fracción constante de las cuales toman tiempo cada una, dando un tiempo total . Un mejor enfoque es realizar las multiplicaciones como un algoritmo de divide y vencerás que multiplica una secuencia de números dividiéndola en dos subsecuencias de números, multiplica cada subsecuencia y combina los resultados con una última multiplicación. Este enfoque del factorial requiere un tiempo total : un logaritmo proviene del número de bits del factorial, un segundo proviene del algoritmo de multiplicación y un tercero proviene del algoritmo de divide y vencerás. [88]

Se obtiene una eficiencia aún mejor calculando n ! a partir de su factorización prima, basándose en el principio de que la exponenciación por cuadrado es más rápida que expandir un exponente en un producto. [86] [89] Un algoritmo para esto por Arnold Schönhage comienza encontrando la lista de los primos hasta , por ejemplo usando la criba de Eratóstenes , y usa la fórmula de Legendre para calcular el exponente para cada primo. Luego calcula el producto de las potencias de los primos con estos exponentes, usando un algoritmo recursivo, de la siguiente manera:

El producto de todos los primos hasta es un número de -bits, según el teorema de los números primos , por lo que el tiempo para el primer paso es , con un logaritmo proveniente del algoritmo divide y vencerás y otro proveniente del algoritmo de multiplicación. En las llamadas recursivas al algoritmo, se puede invocar nuevamente el teorema de los números primos para demostrar que los números de bits en los productos correspondientes disminuyen en un factor constante en cada nivel de recursión, por lo que el tiempo total para estos pasos en todos los niveles de recursión se suma en una serie geométrica a . El tiempo para elevar al cuadrado en el segundo paso y la multiplicación en el tercer paso son nuevamente , porque cada uno es una sola multiplicación de un número con bits. Nuevamente, en cada nivel de recursión los números involucrados tienen una fracción constante de bits (porque de lo contrario elevarlos al cuadrado repetidamente produciría un resultado final demasiado grande) por lo que nuevamente las cantidades de tiempo para estos pasos en las llamadas recursivas se suman en una serie geométrica a . Consecuentemente, todo el algoritmo toma tiempo , proporcional a una sola multiplicación con el mismo número de bits en su resultado. [89]

Secuencias y funciones relacionadas

Varias otras secuencias de números enteros son similares o están relacionadas con los factoriales:

Factorial alterno
El factorial alterno es el valor absoluto de la suma alternada de los primeros factoriales, . Estos se han estudiado principalmente en relación con su primalidad; solo un número finito de ellos puede ser primo, pero no se conoce una lista completa de primos de esta forma. [90]
Factorial de Bhargava
Los factoriales de Bhargava son una familia de secuencias de números enteros definidas por Manjul Bhargava con propiedades teóricas de números similares a los factoriales, incluyendo los factoriales mismos como un caso especial. [63]
Factor doble
El producto de todos los números enteros impares hasta algún número entero positivo impar se llama factorial doble de , y se denota por . [91] Es decir, por ejemplo, 9!! = 1 × 3 × 5 × 7 × 9 = 945 . Los factoriales dobles se utilizan en integrales trigonométricas , [92] en expresiones para la función gamma en semienteros y los volúmenes de hiperesferas , [93] y en el conteo de árboles binarios y emparejamientos perfectos . [91] [94]
Factorial exponencial
Así como los números triangulares suman los números de a , y los factoriales toman su producto, el factorial exponencial potencia. El factorial exponencial se define recursivamente como . Por ejemplo, el factorial exponencial de 4 es Estos números crecen mucho más rápido que los factoriales regulares. [95]
Factorial descendente
Las notaciones o se utilizan a veces para representar el producto de los números enteros contando hasta e incluyendo , igual a . Esto también se conoce como factorial descendente o factorial inverso, y la notación es un símbolo de Pochhammer. [96] Los factoriales descendentes cuentan el número de secuencias diferentes de elementos distintos que se pueden extraer de un universo de elementos. [97] Se presentan como coeficientes en las derivadas superiores de polinomios, [98] y en los momentos factoriales de variables aleatorias . [99]
Hiperfactoriales
El hiperfactorial de es el producto de . Estos números forman los discriminantes de los polinomios de Hermite . [100] Pueden interpolarse continuamente mediante la función K , [101] y obedecen a analogías con la fórmula de Stirling [102] y el teorema de Wilson. [103]
Números de Jordan–Pólya
Los números de Jordan-Pólya son productos de factores, lo que permite repeticiones. Cada árbol tiene un grupo de simetría cuyo número de simetrías es un número de Jordan-Pólya, y cada número de Jordan-Pólya cuenta las simetrías de algún árbol. [104]
Primordial
El primorial es el producto de números primos menores o iguales a ; esta construcción les da algunas propiedades de divisibilidad similares a los factoriales, [36] pero a diferencia de los factoriales no tienen cuadrados . [105] Al igual que con los primos factoriales , los investigadores han estudiado los primos primoriales . [36]
Subfactorial
El subfactorial da como resultado el número de desajustes de un conjunto de objetos. A veces se denota como , y es igual al entero más cercano a . [29]
Superfactorial
El superfactorial de es el producto de los primeros factoriales. Los superfactoriales se interpolan continuamente mediante la función G de Barnes . [106]

Referencias

  1. ^ a b C Graham, Ronald L .; Knuth, Donald E .; Patashnik, Oren (1988). Matemáticas Concretas . Lectura, MA: Addison-Wesley. pag. 111.ISBN​ 0-201-14236-8.
  2. ^ ab Datta, Bibhutibhusan ; Singh, Awadhesh Narayan (2019). "Uso de permutaciones y combinaciones en la India". En Kolachana, Aditya; Mahesh, K.; Ramasubramanian, K. (eds.). Estudios en matemáticas y astronomía indias: artículos seleccionados de Kripa Shankar Shukla . Fuentes y estudios en la historia de las matemáticas y las ciencias físicas. Springer Singapur. págs. 356–376. doi :10.1007/978-981-13-7326-8_18. ISBN 978-981-13-7325-1.S2CID 191141516  .. Revisado por KS Shukla de un artículo en Indian Journal of History of Science 27 (3): 231–249, 1992, MR 1189487. Véase pág. 363.
  3. ^ Jadhav, Dipak (agosto de 2021). "Pensamientos jainistas sobre la unidad, que no es un número". Historia de la ciencia en el sur de Asia . 9 . Bibliotecas de la Universidad de Alberta: 209–231. doi : 10.18732/hssa67 . S2CID  238656716.. Véase la discusión sobre la datación en la pág. 211.
  4. ^ Biggs, Norman L. (mayo de 1979). "Las raíces de la combinatoria". Historia Mathematica . 6 (2): 109–136. doi :10.1016/0315-0860(79)90074-0. MR  0530622.
  5. ^ ab Katz, Victor J. (junio de 1994). "Etnomatemáticas en el aula". Para el aprendizaje de las matemáticas . 14 (2): 26–30. JSTOR  40248112.
  6. ^ Sefer Yetzirah en Wikisource, Capítulo IV, Sección 4
  7. ^ Rashed, Roshdi (1980). «Ibn al-Haytham y el teorema de Wilson». Archivo de Historia de las Ciencias Exactas (en francés). 22 (4): 305–321. doi :10.1007/BF00717654. MR  0595903. S2CID  120885025.
  8. ^ Acerbi, F. (2003). "Sobre los hombros de Hiparco: una reevaluación de la combinatoria griega antigua". Archivo de Historia de las Ciencias Exactas . 57 (6): 465–502. doi :10.1007/s00407-003-0067-0. JSTOR  41134173. MR  2004966. S2CID  122758966.
  9. ^ Katz, Victor J. (2013). "Capítulo 4: Combinatoria judía". En Wilson, Robin; Watkins, John J. (eds.). Combinatoria: antigua y moderna . Oxford University Press . págs. 109–121. ISBN. 978-0-19-965659-2.Véase pág. 111.
  10. ^ Hunt, Katherine (mayo de 2018). "El arte de los cambios: el repique de campanas, los anagramas y la cultura de la combinación en la Inglaterra del siglo XVII" (PDF) . Revista de estudios medievales y modernos tempranos . 48 (2): 387–412. doi :10.1215/10829636-4403136.
  11. ^ Stedman, Fabian (1677). Campanalogia . Londres. págs. 6–9. El editor aparece como "WS", que puede haber sido William Smith, posiblemente actuando como agente de la Sociedad de Jóvenes Universitarios , sociedad a la que está dirigida la "Dedicatoria".
  12. ^ Knobloch, Eberhard (2013). "Capítulo 5: Combinatoria del Renacimiento". En Wilson, Robin; Watkins, John J. (eds.). Combinatoria: antigua y moderna . Oxford University Press . pp. 123–145. ISBN 978-0-19-965659-2. Véase pág. 126.
  13. ^ Knobloch 2013, págs. 130-133.
  14. ^ abc Ebbinghaus, H.-D. ; Hermes, H .; Hirzebruch, F .; Koecher, M .; Mainzer, K .; Neukirch, J .; Prestel, A.; Remmert, R. (1990). Números. Textos de Posgrado en Matemáticas. vol. 123. Nueva York: Springer-Verlag. pag. 131. doi :10.1007/978-1-4612-1005-4. ISBN 0-387-97202-1.Señor 1066206  .
  15. ^ Dutka, Jacques (1991). "La historia temprana de la función factorial". Archivo de Historia de las Ciencias Exactas . 43 (3): 225–249. doi :10.1007/BF00389433. JSTOR  41133918. MR  1171521. S2CID  122237769.
  16. ^ Dickson, Leonard E. (1919). "Capítulo IX: Divisibilidad de los factoriales y coeficientes multinomiales". Historia de la teoría de los números . Vol. 1. Carnegie Institution of Washington. págs. 263–278.Véase en particular la pág. 263.
  17. ^ ab Cajori, Florian (1929). "448–449. Factorial "n"". Una historia de las notaciones matemáticas, volumen II: notaciones principalmente en matemáticas superiores . The Open Court Publishing Company. págs. 71–77.
  18. ^ Miller, Jeff. "Usos más antiguos conocidos de algunas palabras de las matemáticas (F)". Archivo de Historia de las Matemáticas de MacTutor . Universidad de St Andrews.
  19. ^ ab Craik, Alex DD (2005). "Prehistoria de la fórmula de Faà di Bruno". El Mensual Matemático Estadounidense . 112 (2): 119-130. doi :10.1080/00029890.2005.11920176. JSTOR  30037410. SEÑOR  2121322. S2CID  45380805.
  20. ^ Arbogast, Louis François Antoine (1800). Du calcul des derivations (en francés). Estrasburgo: L'imprimerie de Levrault, frères. págs. 364–365.
  21. ^ ab Hamkins, Joel David (2020). La prueba y el arte de las matemáticas. Cambridge, Massachusetts: MIT Press. pág. 50. ISBN 978-0-262-53979-1.Señor 4205951  .
  22. ^ Dorf, Richard C. (2003). "Factoriales". Manual de tablas de ingeniería de CRC . CRC Press. pág. 5-5. ISBN 978-0-203-00922-2.
  23. ^ Goldenberg, E. Paul; Carter, Cynthia J. (octubre de 2017). "¡Un estudiante pregunta sobre (−5)!". El profesor de matemáticas . 111 (2): 104-110. doi : 10.5951/mathteacher.111.2.0104. JSTOR  10.5951/mathteacher.111.2.0104.
  24. ^ Haberman, Bruria; Averbuch, Haim (2002). "El caso de los casos base: ¿Por qué son tan difíciles de reconocer? Dificultades de los estudiantes con la recursión". En Caspersen, Michael E.; Joyce, Daniel T.; Goelman, Don; Utting, Ian (eds.). Actas de la 7.ª Conferencia anual SIGCSE sobre innovación y tecnología en la educación en ciencias de la computación, ITiCSE 2002, Aarhus, Dinamarca, 24-28 de junio de 2002. Association for Computing Machinery. págs. 84–88. doi :10.1145/544414.544441.
  25. ^ Farrell, Orin J.; Ross, Bertram (1971). Problemas resueltos en análisis: tal como se aplican a las funciones gamma, beta, Legendre y Bessel. Dover Books on Mathematics. Courier Corporation. pág. 10. ISBN 978-0-486-78308-6.
  26. ^ Conway, John H. ; Guy, Richard (1998). "Números factoriales". El libro de los números . Springer Science & Business Media. págs. 55–56. ISBN 978-0-387-97993-9.
  27. ^ Graham, Knuth y Patashnik 1988, pág. 156.
  28. ^ Riordan, John (1958). Introducción al análisis combinatorio. Wiley Publications in Mathematical Statistics. Chapman & Hall. pág. 76. ISBN 9781400854332.Sr .  0096594.
  29. ^ ab Graham, Knuth y Patashnik 1988, pág. 195.
  30. ^ Graham, Knuth y Patashnik 1988, pág. 162.
  31. ^ Randić, Milán (1987). "Sobre la evaluación del polinomio característico a través de la teoría de funciones simétricas". Revista de química matemática . 1 (1): 145–152. doi :10.1007/BF01205340. MR  0895533. S2CID  121752631.
  32. ^ Hill, Victor E. (2000). "8.1 Proposición: grupo simétrico Sn". Grupos y caracteres . Chapman & Hall. pág. 70. ISBN 978-1-351-44381-4.Señor 1739394  .
  33. ^ Christensen, Kim; Moloney, Nicholas R. (2005). "Apéndice A: Expansión de Taylor". Complejidad y criticidad . Textos avanzados de física. Vol. 1. Imperial College Press. pág. 341. ISBN 978-1-86094-504-5.
  34. ^ Wilf, Herbert S. (2006). Función generadora (3.ª ed.). Wellesley, Massachusetts: AK Peters. pág. 22. ISBN 978-1-56881-279-3.Señor 2172781  .
  35. ^ Ore, Øystein (1948). Teoría de números y su historia. Nueva York: McGraw-Hill. pág. 66. ISBN 9780486656205.Sr. 0026059  .
  36. ^ abc Caldwell, Chris K.; Gallot, Yves (2002). "Sobre la primalidad de n ! ± 1 {\displaystyle n!\pm 1} y 2 × 3 × 5 × ⋯ × p ± 1 {\displaystyle 2\times 3\times 5\times \dots \times p\pm 1}". Matemáticas de la computación . 71 (237): 441–448. doi : 10.1090/S0025-5718-01-01315-1 . MR  1863013.
  37. ^ Guy, Richard K. (2004). "D25: Ecuaciones que involucran factorial ". Problemas sin resolver en teoría de números . Libros de problemas de matemáticas. Vol. 1 (3.ª ed.). Nueva York: Springer-Verlag. págs. 301–302. doi :10.1007/978-0-387-26677-0. ISBN 0-387-20860-7.Señor 2076335  .
  38. ^ Neale, Vicky (2017). Cerrando la brecha: la búsqueda para comprender los números primos. Oxford University Press. pp. 146–147. ISBN 978-0-19-878828-7.
  39. ^ Erdős, Pál (1932). "Beweis eines Satzes von Tschebyschef" [Demostración de un teorema de Chebyshev] (PDF) . Acta lit. Ciencia. Szeged (en alemán). 5 : 194-198. Zbl  0004.10103.
  40. ^ Chvátal, Vašek (2021). "1.5: Prueba de Erdős del postulado de Bertrand". Los encantos matemáticos discretos de Paul Erdős: una introducción sencilla . Cambridge, Inglaterra: Cambridge University Press. págs. 7–10. doi :10.1017/9781108912181. ISBN 978-1-108-83183-3. Sr.  4282416. S2CID  242637862.
  41. ^ Fraenkel, Aviezri S. (1985). "Sistemas de numeración". The American Mathematical Monthly . 92 (2): 105–114. doi :10.1080/00029890.1985.11971550. JSTOR  2322638. MR  0777556.
  42. ^ Pitman, Jim (1993). "3.5: La distribución de Poisson". Probabilidad . Nueva York: Springer. págs. 222-236. doi :10.1007/978-1-4612-4374-8. ISBN . 978-0-387-94594-1.
  43. ^ Pitman 1993, pág. 153.
  44. ^ Kleinberg, Jon ; Tardos, Éva (2006). Diseño de algoritmos . Addison-Wesley. pag. 55.
  45. ^ ab Knuth, Donald E. (1998). El arte de la programación informática, volumen 3: Ordenación y búsqueda (2.ª ed.). Addison-Wesley. pág. 182. ISBN 978-0-321-63578-5.
  46. ^ Sedgewick, Robert ; Wayne, Kevin (2011). Algoritmos (4.ª ed.). Addison-Wesley. pág. 466. ISBN 978-0-13-276256-4.
  47. ^ Kardar, Mehran (2007). Física estadística de partículas . Cambridge University Press . Págs. 107-110, 181-184. ISBN. 978-0-521-87342-0.OCLC 860391091  .
  48. ^ Cameron, Peter J. (1994). "2.4: Órdenes de magnitud". Combinatoria: temas, técnicas, algoritmos . Cambridge University Press. págs. 12-14. ISBN 978-0-521-45133-8.
  49. ^ Magnus, Robert (2020). "11.10: Aproximación de Stirling". Análisis matemático fundamental . Springer Undergraduate Mathematics Series. Cham: Springer. pág. 391. doi :10.1007/978-3-030-46321-2. ISBN 978-3-030-46321-2. Sr.  4178171. S2CID  226465639.
  50. ^ Palmer, Edgar M. (1985). "Apéndice II: Fórmula de Stirling". Evolución gráfica: una introducción a la teoría de grafos aleatorios . Serie Wiley-Interscience en Matemáticas discretas. Chichester: John Wiley & Sons. págs. 127-128. ISBN 0-471-81577-2.Sr. 0795795  .
  51. ^ abc Chen, Chao-Ping; Lin, Long (2012). "Observaciones sobre expansiones asintóticas para la función gamma". Applied Mathematics Letters . 25 (12): 2322–2326. doi : 10.1016/j.aml.2012.06.025 . MR  2967837.
  52. ^ ab Beiler, Albert H. (1966). Recreaciones en la teoría de números: La reina de las matemáticas entretiene. Serie de matemáticas recreativas de Dover (2.ª ed.). Courier Corporation. pág. 49. ISBN 978-0-486-21096-4.
  53. ^ Chvátal 2021. "1.4: la fórmula de Legendre". págs. 6–7.
  54. ^ ab Robert, Alain M. (2000). "3.1: La valoración -ádica de un factorial". Un curso de análisis -ádico . Textos de posgrado en matemáticas . Vol. 198. Nueva York: Springer-Verlag. págs. 241–242. doi :10.1007/978-1-4757-3254-2. ISBN 0-387-98669-3.Señor 1760253  .
  55. ^ Peitgen, Heinz-Otto ; Jürgens, Hartmut ; Saupé, Dietmar (2004). "El resultado de Kummer y la identidad de Legendre". Caos y fractales: nuevas fronteras de la ciencia . Nueva York: Springer. págs. 399–400. doi :10.1007/b97624. ISBN 978-1-4684-9396-2.
  56. ^ Alladi, Krishnaswami ; Grinstead, Charles (1977). "Sobre la descomposición de n! en potencias primos". Journal of Number Theory . 9 (4): 452–458. doi : 10.1016/0022-314x(77)90006-3 .
  57. ^ ab Koshy, Thomas (2007). "Ejemplo 3.12". Teoría elemental de números con aplicaciones (2.ª ed.). Elsevier. pág. 178. ISBN 978-0-08-054709-1.
  58. ^ Sloane, N. J. A. (ed.). "Secuencia A027868 (Número de ceros finales en n!; mayor potencia de 5 que divide n!)". La enciclopedia en línea de secuencias de números enteros . Fundación OEIS.
  59. ^ Diaconis, Persi (1977). "La distribución de los dígitos principales y la distribución uniforme mod 1". Anales de probabilidad . 5 (1): 72–81. doi : 10.1214/aop/1176995891 . MR  0422186.
  60. ^ Bird, RS (1972). "Números enteros con dígitos iniciales dados". The American Mathematical Monthly . 79 (4): 367–370. doi :10.1080/00029890.1972.11993051. JSTOR  2978087. MR  0302553.
  61. ^ Kempner, AJ (1918). "Miscelánea". The American Mathematical Monthly . 25 (5): 201–210. doi :10.2307/2972639. JSTOR  2972639.
  62. ^ Erdős, Paul ; Kastanas, Ilias (1994). "El factorial más pequeño que es un múltiplo de n (solución al problema 6674)" (PDF) . The American Mathematical Monthly . 101 : 179. doi :10.2307/2324376. JSTOR  2324376..
  63. ^ abc Bhargava, Manjul (2000). "La función factorial y generalizaciones". El Mensual Matemático Estadounidense . 107 (9): 783–799. CiteSeerX 10.1.1.585.2265 . doi :10.2307/2695734. JSTOR  2695734. 
  64. ^ Guy 2004. "B23: Productos iguales de factoriales". pág. 123.
  65. ^ Luca, Florian (2007). "Sobre los factoriales que son productos de factoriales". Actas matemáticas de la Cambridge Philosophical Society . 143 (3): 533–542. Bibcode :2007MPCPS.143..533L. doi :10.1017/S0305004107000308. MR  2373957. S2CID  120875316.
  66. ^ ab Davis, Philip J. (1959). «La integral de Leonhard Euler: un perfil histórico de la función gamma». The American Mathematical Monthly . 66 (10): 849–869. doi :10.1080/00029890.1959.11989422. JSTOR  2309786. MR  0106810. Archivado desde el original el 2023-01-01 . Consultado el 2021-12-20 .
  67. ^ ab Borwein, Jonathan M. ; Corless, Robert M. (2018). "Gamma y factorial en la revista Monthly ". The American Mathematical Monthly . 125 (5): 400–424. arXiv : 1703.05349 . doi :10.1080/00029890.2018.1420983. MR  3785875. S2CID  119324101.
  68. ^ Remmert, Reinhold (1996). "Teorema de Wielandt sobre la función ". The American Mathematical Monthly . 103 (3): 214–220. doi :10.1080/00029890.1996.12004726. JSTOR  2975370. MR  1376175.
  69. ^ Hadamard, J. (1968) [1894]. "Sur l'expression du produit 1·2·3· · · · ·(n−1) par une fonction entière" (PDF) . Obras de Jacques Hadamard (en francés). París: Centro Nacional de la Investigación Científica.
  70. ^ Alzer, Horst (2009). "Una propiedad superaditiva de la función gamma de Hadamard". Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg . 79 (1): 11–23. doi :10.1007/s12188-008-0009-5. SEÑOR  2541340. S2CID  123691692.
  71. ^ Robert 2000. "7.1: La función gamma ". págs. 366–385.
  72. ^ Ross, Bertram (1978). "La función psi". Revista de Matemáticas . 51 (3): 176–179. doi :10.1080/0025570X.1978.11976704. JSTOR  2689999. MR  1572267.
  73. ^ Brase, Charles Henry; Brase, Corrinne Pellillo (2014). Estadística comprensible: conceptos y métodos (11.ª ed.). Cengage Learning. pág. 182. ISBN 978-1-305-14290-9.
  74. ^ "matemáticas — Funciones matemáticas". Documentación de Python 3: La biblioteca estándar de Python . Consultado el 21 de diciembre de 2021 .
  75. ^ "Factorial". Documentación de Boost 1.78.0: Funciones especiales matemáticas . Consultado el 21 de diciembre de 2021 .
  76. ^ Addis, Tom; Addis, Jan (2009). Programas de dibujo: teoría y práctica de la programación funcional esquemática. Springer. pp. 149–150. ISBN 978-1-84882-618-2.
  77. ^ Chapman, Stephen J. (2019). "Ejemplo 5.2: La función factorial". Programación MATLAB para ingenieros (6.ª ed.). Cengage Learning. pág. 215. ISBN 978-0-357-03052-3.
  78. ^ Hola, Tony; Pápay, Gyuri (2014). El universo informático: un viaje a través de una revolución. Cambridge University Press. pág. 64. ISBN 9781316123225.
  79. ^ Bolboaca, Alexandru (2019). Programación funcional práctica con C++: una guía eficaz para escribir código funcional acelerado con C++17 y C++20. Packt Publishing. pág. 188. ISBN 978-1-78980-921-3.
  80. ^ Gray, John W. (2014). Dominando Mathematica: métodos y aplicaciones de programación. Academic Press. págs. 233–234. ISBN 978-1-4832-1403-0.
  81. ^ Torra, Vicenç (2016). Scala desde una perspectiva de programación funcional: una introducción al lenguaje de programación. Lecture Notes in Computer Science. Vol. 9980. Springer. pág. 96. ISBN 978-3-319-46481-7.
  82. ^ Sussman, Gerald Jay (1982). "LISP, programación e implementación". Programación funcional y sus aplicaciones: un curso avanzado . Cursos avanzados de CREST. Cambridge University Press. págs. 29–72. ISBN 978-0-521-24503-6.Véase en particular la pág. 34.
  83. ^ Chaudhuri, Ranjan (junio de 2003). "¿Las operaciones aritméticas realmente se ejecutan en tiempo constante?". Boletín ACM SIGCSE . 35 (2). Association for Computing Machinery: 43–44. doi :10.1145/782941.782977. S2CID  13629142.
  84. ^ ab Fateman, Richard J. (11 de abril de 2006). "Comentarios sobre programas factoriales" (PDF) . Universidad de California, Berkeley.
  85. ^ ab Winkler, Jürgen FH; Kauer, Stefan (marzo de 1997). "Probar afirmaciones también es útil". ACM SIGPLAN Notices . 32 (3). Association for Computing Machinery: 38–41. doi : 10.1145/251634.251638 . S2CID  17347501.
  86. ^ ab Borwein, Peter B. (1985). "Sobre la complejidad del cálculo de factoriales". Journal of Algorithms . 6 (3): 376–380. doi :10.1016/0196-6774(85)90006-9. MR  0800727.
  87. ^ Harvey, David; van der Hoeven, Joris (2021). "Multiplicación de enteros en tiempo O ( n log ⁡ n ) {\displaystyle O(n\log n)}" (PDF) . Anales de Matemáticas . Segunda serie. 193 (2): 563–617. doi :10.4007/annals.2021.193.2.4. MR  4224716. S2CID  109934776.
  88. ^ Arndt, Jörg (2011). "34.1.1.1: Cálculo del factorial". Matters Computational: Ideas, Algorithms, Source Code (PDF) . Springer. págs. 651–652.Véase también “34.1.5: Rendimiento”, págs. 655–656.
  89. ^ ab Schönhage, Arnold (1994). "Algoritmos rápidos: una implementación de la máquina de Turing multicinta" . BI Wissenschaftsverlag. pag. 226.
  90. ^ Guy 2004. "B43: Sumas alternadas de factoriales". págs. 152-153.
  91. ^ ab Callan, David (2009). "Un estudio combinatorio de identidades para el factorial doble". arXiv : 0906.1317 [math.CO].
  92. ^ Meserve, BE (1948). "Notas de clase: Factoriales dobles". The American Mathematical Monthly . 55 (7): 425–426. doi :10.2307/2306136. JSTOR  2306136. MR  1527019.
  93. ^ Mezey, Paul G. (2009). "Algunos problemas de dimensión en bases de datos moleculares". Revista de química matemática . 45 (1): 1–6. doi :10.1007/s10910-008-9365-8. S2CID  120103389..
  94. ^ Dale, MRT; Moon, JW (1993). "Los análogos permutados de tres conjuntos Catalan". Revista de planificación estadística e inferencia . 34 (1): 75–87. doi :10.1016/0378-3758(93)90035-5. MR  1209991..
  95. ^ Luca, Florián ; Marqués, Diego (2010). "Poderes perfectos en la función sumatoria de la torre de energía". Journal de Théorie des Nombres de Burdeos . 22 (3): 703–718. doi : 10.5802/jtnb.740 . SEÑOR  2769339.
  96. ^ Graham, Knuth y Patashnik 1988, págs. x, 47–48.
  97. ^ Sagan, Bruce E. (2020). "Teorema 1.2.1". Combinatoria: el arte de contar . Estudios de posgrado en matemáticas. Vol. 210. Providence, Rhode Island: American Mathematical Society. pág. 5. ISBN 978-1-4704-6032-7.Señor 4249619  .
  98. ^ Hardy, GH (1921). "Ejemplos XLV". Un curso de matemáticas puras (3.ª ed.). Cambridge University Press. pág. 215.
  99. ^ Daley, DJ; Vere-Jones, D. (1988). "5.2: Momentos factoriales, cumulantes y relaciones de función generadora para distribuciones discretas". Introducción a la teoría de procesos puntuales . Springer Series in Statistics. Nueva York: Springer-Verlag. pág. 112. ISBN. 0-387-96666-8.Sr. 0950166  .
  100. ^ Sloane, N. J. A. (ed.). "Secuencia A002109 (Hiperfactoriales: Producto_{k = 1..n} k^k)". La enciclopedia en línea de secuencias de números enteros . Fundación OEIS.
  101. ^ Kinkelin, H. (1860). "Ueber eine mit der Gammafunction verwandte Transcendente und deren Anwendung auf die Integralrechung" [Sobre una variación trascendental de la función gamma y su aplicación al cálculo integral]. Journal für die reine und angewandte Mathematik (en alemán). 1860 (57): 122-138. doi :10.1515/crll.1860.57.122. S2CID  120627417.
  102. ^ Glaisher, JWL (1877). "Sobre el producto 11.22.33...nn". Messenger of Mathematics . 7 : 43–47.
  103. ^ Aebi, Christian; Cairns, Grant (2015). "Generalizaciones del teorema de Wilson para factores dobles, hiperfactoriales, subfactoriales y superfactoriales". The American Mathematical Monthly . 122 (5): 433–443. doi :10.4169/amer.math.monthly.122.5.433. JSTOR  10.4169/amer.math.monthly.122.5.433. MR  3352802. S2CID  207521192.
  104. ^ Sloane, N. J. A. (ed.). "Secuencia A001013 (Números de Jordan-Polya: productos de números factoriales)". La enciclopedia en línea de secuencias de números enteros . Fundación OEIS.
  105. ^ Nelson, Randolph (2020). Un breve viaje por las matemáticas discretas. Cham: Springer. pág. 127. doi :10.1007/978-3-030-37861-5. ISBN 978-3-030-37861-5.Señor 4297795.S2CID 213895324  . ​
  106. ^ Barnes, EW (1900). "La teoría de la función G". Revista trimestral de matemáticas puras y aplicadas . 31 : 264–314. JFM  30.0389.02.

Enlaces externos