Factorial

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

• En las matemáticas indias, una de las primeras descripciones conocidas de los factoriales proviene del Anuyogadvāra-sūtra,[2] una de las obras canónicas de la literatura jainista, a la que se han asignado fechas que varían entre 300 a. C. y 400 d. C.[3] Separa el orden ordenado e invertido de un conjunto de elementos de los otros órdenes ("mixtos"), evaluando el número de órdenes mixtos restando dos de la fórmula habitual del producto para el factorial. La regla del producto para permutaciones también fue descrita por el monje jainista del siglo VI de nuestra era Jinabhadra.[2] Los eruditos hindúes han estado utilizando fórmulas factoriales desde al menos 1150, cuando Bhāskara II mencionó factoriales en su obra Līlāvatī, en relación con un problema de cuántas maneras Vishnu podría sostener sus cuatro objetos característicos (un concha de concha, disco, maza, y flor de loto) en sus cuatro manos, y un problema similar para un dios de diez manos.[4]
• En las matemáticas de Oriente Medio, el libro místico hebreo de la creación Séfer Ietzirá', del Período talmúdico (200 a 500 CE), enumera factoriales ¡hasta 7! como parte de una investigación sobre el número de palabras que se pueden formar a partir del alfabeto hebreo.[5][6] Los factoriales también fueron estudiados por razones similares por el gramático árabe del siglo VIII Al-Khalil ibn Ahmad al-Farahidi.[5] El matemático árabe Ibn al-Haytham (también conocido como Alhazen, c. 965 - c. 1040) fue el primero en formular el teorema de Wilson que conecta los factoriales con los números primos.[7]
• En Europa, aunque las matemáticas griegas incluían algo de combinatoria, y Platón utilizó célebremente 5.040 (un factorial) como población de una comunidad ideal, en parte por sus propiedades de divisibilidad,[8] no hay evidencia directa del estudio de los factoriales en la Grecia antigua. En su lugar, el primer trabajo sobre factoriales en Europa fue realizado por eruditos judíos como Shabbethai Donnolo, explicando el pasaje del Sefer Yetzirah.[9] En 1677, el autor británico Fabian Stedman describió la aplicación de los factoriales al toque de cambios, un arte musical que consistía en hacer sonar varias campanas afinadas.[10][11]

A partir de finales del siglo XV, los factoriales se convirtieron en objeto de estudio 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 ordenación de mesas de comedor.[12] Christopher Clavius discutió los factoriales en un comentario de 1603 sobre la obra 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 la obra de Clavius.[13] La serie de potencias para la función exponencial, con los recíprocos de 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 por John Wallis, un estudio de sus valores aproximados para grandes valores de ${\displaystyle n}$ por Abraham de Moivre en 1721, una carta de 1729 de James Stirling a de Moivre en la que se enunciaba lo que se conoció como aproximación de Stirling, y el trabajo en la misma época 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 ${\displaystyle n!}$ para los 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 semicerrado por los lados izquierdo e inferior de una caja, fue popular durante algún tiempo en Gran Bretaña y América, pero cayó en desuso, tal vez porque es difícil de tipografiar.[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] sino que se refiere a un concepto más general de productos de progresión 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]

Podemos definir el factorial de un número entero positivo n, expresado n!, como el producto de todos los números enteros positivos menores o iguales que n.

${\displaystyle n!=1\times 2\times 3\times 4\times ...\times (n-1)\times n}$.

La multiplicación anterior también se puede representar utilizando el operador productorio:

${\displaystyle n!=\prod _{k=1}^{n}k}$.

También es posible definirlo mediante la relación de recurrencia

${\displaystyle n!={\begin{cases}1&{\text{si, }}n<2\\(n-1)!\times n&{\text{si, }}n>1\end{cases}}}$

En esta segunda definición el dominio de la función es el conjunto de los enteros no negativos ℤ_≥0 y el codominio es el conjunto de los enteros positivos ℤ₊.[21] En este caso hay una sucesión recurrente, el cálculo sucesivo de sus elementos se llama proceso recurrente y la igualdad n! = (n - 1)!n se nombra ecuación recurrente.[22]

La segunda definición incorpora la premisa de que

${\displaystyle 0!=1}$

• Si m y n son enteros positivos y m < n implica que m! < n!
• Si m < n resulta que m! es factor o divisor los cuales .. de n! y se tiene: n! = n(n-1)...(m+1).m! (1)
• El número n(n-1)...(m+1) es el producto de los n-m factores expuestos mayores de n!
• n-m es menor que n y reemplazando en (1) se obtiene n! = n(n-1)...(n-m+1).(n-m)![23]
• ${\displaystyle n!<\left({\frac {n+1}{2}}\right)^{n}}$, para n> 1. Se aplica propiedad de que la media geométrica de los primeros enteros positivos no excede a la media aritmética de ellos.

Los factoriales se usan mucho en la rama de la matemática llamada combinatoria, a través del binomio de Newton, que da los coeficientes de la forma desarrollada de (a + b)ⁿ:

${\displaystyle (a+b)^{n}={n \choose 0}a^{n}+{n \choose 1}a^{n-1}b+{n \choose 2}a^{n-2}b^{2}+\cdots +{n \choose n-1}ab^{n-1}+{n \choose n}b^{n}=\sum _{k=0}^{n}{n \choose k}a^{n-k}b^{k}}$

donde ${\displaystyle {n \choose k}}$ representa un coeficiente binomial:

${\displaystyle {n \choose k}={\frac {n!}{(n-k)!\cdot k!}}}$

De igual forma se puede encontrar en la derivación por la regla del producto para derivadas de orden superior de manera similar que el binomio de newton:

${\displaystyle {\frac {d^{n}x}{dx^{n}}}(f(x)g(x))=(fg)^{(n)}={n \choose 0}fg^{(n)}+{n \choose 1}f^{'}g^{(n-1)}+{n \choose 2}f^{''}g^{(n-2)}+\cdots +{n \choose n-1}f^{(n-1)}g^{'}+{n \choose n}f^{(n)}g=\sum _{k=0}^{n}{n \choose k}f^{(k)}g^{(n-k)}}$

Donde f⁽ⁿ⁾ es la derivada enésima de la función f.

Por medio de la combinatoria, los factoriales intervienen en el cálculo de las probabilidades. Intervienen también en el ámbito del análisis, en particular a través del desarrollo polinomial de las funciones (fórmula de Taylor). Se generalizan a los reales con la función gamma, de gran importancia en la teoría de números.

Para valores grandes de n, existe una expresión aproximada para el factorial de n, dado por la fórmula de Stirling:

${\displaystyle n!\approx {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}\left(1+{\frac {1}{12n}}+{\frac {1}{288n^{2}}}+\cdots \right)}$

La ventaja de esta fórmula es que no precisa inducción y, por lo tanto, permite evaluar n! más rápidamente cuando mayor sea n.

La definición indicada de factorial es válida para números no negativos. Es posible extender la definición a otros contextos introduciendo conceptos más sofisticados, en especial es posible definirla para cualquier número real excepto para los números enteros negativos y para cualquier número complejo exceptuando de nuevo los números enteros negativos. El factorial de n es generalizado para cualquier número real n por la función gamma de manera que

${\displaystyle \Gamma (n)=(n-1)!=\int _{0}^{\infty }\;t^{n-1}e^{-t}\;dt\,}$

solo para n > 0. Se puede generalizar aún más, para todo número complejo z que no sea igual a un entero no positivo, mediante la siguiente definición:

${\displaystyle \Gamma (z)=(z-1)!=\lim _{n\to \infty }{\frac {n!\;n^{z}}{z\;(z+1)\cdots (z+n)}}\,}$

• Productorio
• Subfactorial
• Función gamma
• Factorial exponencial

• Wikilibros alberga un libro o manual sobre Implementaciones del factorial de un número.
• Calcular factorial de un número en PHP.
• Algoritmos interesantes(en inglés)
• http://factorielle.free.fr
• Calculadora de factoriales - Hasta 200.000