El coeficiente binomial aparece como la k -ésima entrada en la n -ésima fila del triángulo de Pascal (donde la parte superior es la 0ª fila ). Cada entrada es la suma de las dos anteriores.
En álgebra elemental , el teorema del binomio (o expansión binomial ) describe la expansión algebraica de potencias de un binomio . Según el teorema, es posible expandir el polinomio ( x + y ) n en una suma que incluya términos de la forma ax b y c , donde los exponentes b y c son enteros no negativos con b + c = n , y el coeficiente a de cada término es un entero positivo específico dependiendo de n y b . Por ejemplo, para n = 4 ,
El coeficiente a en el término de ax b y c se conoce como coeficiente binomial o (los dos tienen el mismo valor). Estos coeficientes para variar n y b se pueden ordenar para formar el triángulo de Pascal . Estos números también ocurren en combinatoria , donde da el número de combinaciones diferentes (es decir, subconjuntos) de b elementos que se pueden elegir de un conjunto de n elementos . Por eso se suele pronunciar como " n elige b ".
Historia
Los casos especiales del teorema del binomio se conocían al menos desde el siglo IV a. C., cuando el matemático griego Euclides mencionó el caso especial del teorema del binomio para el exponente . [1] El matemático griego Diofanto elevó al cubo varios binomios, incluido . [1] El método del matemático indio Aryabhata para encontrar raíces cúbicas, de alrededor del año 510 EC, sugiere que conocía la fórmula binomial para el exponente . [1]
Los coeficientes binomiales, como cantidades combinatorias que expresan el número de formas de seleccionar k objetos entre n sin reemplazo, eran de interés para los antiguos matemáticos indios. La primera referencia conocida a este problema combinatorio es el Chandaḥśāstra del letrista indio Pingala (c. 200 a. C.), que contiene un método para su solución. [2] : 230 El comentarista Halayudha del siglo X d.C. explica este método. [2] [ página necesaria ] En el siglo VI d. C., los matemáticos indios probablemente sabían cómo expresar esto como un cociente , [3] y se puede encontrar una declaración clara de esta regla en el texto Lilavati del siglo XII de Bhaskara . [3]
La primera formulación conocida del teorema del binomio y de la tabla de coeficientes binomiales aparece en una obra de Al-Karaji , citada por Al-Samaw'al en su "al-Bahir". [4] [5] [6] Al-Karaji describió el patrón triangular de los coeficientes binomiales [7] y también proporcionó una prueba matemática tanto del teorema del binomio como del triángulo de Pascal, utilizando una forma temprana de inducción matemática . [7] El poeta y matemático persa Omar Khayyam probablemente estaba familiarizado con la fórmula en órdenes superiores, aunque muchas de sus obras matemáticas se han perdido. [1] Las expansiones binomiales de pequeños grados eran conocidas en los trabajos matemáticos del siglo XIII de Yang Hui [8] y también de Chu Shih-Chieh . [1] Yang Hui atribuye el método a un texto de Jia Xian mucho anterior al siglo XI , aunque esos escritos ahora también se han perdido. [2] : 142
En 1544, Michael Stifel introdujo el término "coeficiente binomial" y mostró cómo usarlos para expresar en términos de , mediante el "triángulo de Pascal". [9] Blaise Pascal estudió exhaustivamente el triángulo del mismo nombre en su Traité du Triangle Arithmétique . [10] Sin embargo, el patrón de números ya era conocido por los matemáticos europeos de finales del Renacimiento, incluidos Stifel, Niccolò Fontana Tartaglia y Simon Stevin . [9]
A Isaac Newton generalmente se le atribuye el descubrimiento del teorema del binomio generalizado, válido para cualquier exponente real, en 1665. [9] [11] Fue descubierto de forma independiente en 1670 por James Gregory . [12]
Declaración
Según el teorema, la expansión de cualquier potencia entera no negativa n del binomio x + y es una suma de la forma
Esta fórmula también se conoce como fórmula binomial o identidad binomial . Usando notación de suma , se puede escribir de manera más concisa como
La expresión final se deriva de la anterior por la simetría de xey en la primera expresión, y en comparación se deduce que la secuencia de coeficientes binomiales en la fórmula es simétrica ,
Una variante simple de la fórmula binomial se obtiene sustituyendo y por 1 , de modo que involucre sólo una variable . De esta forma, la fórmula dice
Ejemplos
Estos son los primeros casos del teorema del binomio:
( x + y ) nn.ésima
los exponentes de x en los términos son n , n − 1, ..., 2, 1, 0 (el último término contiene implícitamente x 0 = 1 );
los exponentes de y en los términos son 0, 1, 2, ..., n − 1, n (el primer término contiene implícitamente y 0 = 1 );
los coeficientes forman la n- ésima fila del triángulo de Pascal;
antes de combinar términos semejantes, hay 2 n términos x i y j en la expansión (no se muestran);
después de combinar términos semejantes, hay n + 1 términos y sus coeficientes suman 2 n .
Un ejemplo que ilustra los dos últimos puntos:
Un ejemplo simple con un valor positivo específico de y :
Un ejemplo simple con un valor negativo específico de y :
Explicación geométrica
Para valores positivos de a y b , el teorema del binomio con n = 2 es el hecho geométricamente evidente de que un cuadrado de lado a + b se puede cortar en un cuadrado de lado a , un cuadrado de lado b y dos rectángulos de lado a. y B . Con n = 3 , el teorema establece que un cubo de lado a + b se puede cortar en un cubo de lado a , un cubo de lado b , tres cajas rectangulares a × a × b y tres cajas rectangulares a × b × b . .
En cálculo , esta imagen también proporciona una prueba geométrica de la derivada [13] si uno establece e interpreta b como un cambio infinitesimal en a , entonces esta imagen muestra el cambio infinitesimal en el volumen de un hipercubo de n dimensiones , donde el coeficiente de el término lineal (en ) es el área de las n caras, cada una de dimensión n − 1 :
"La tasa de cambio infinitesimal en el volumen de un n -cubo a medida que varía la longitud de los lados es el área de n de sus ( n − 1) -caras dimensionales".
El coeficiente binomial se puede interpretar como el número de formas de elegir k elementos de un conjunto de n elementos. Esto está relacionado con los binomios por la siguiente razón: si escribimos ( x + y ) n como producto
Desarrollar ( x + y ) n produce la suma de los 2 n productos de la forma e 1 e 2 ... e n donde cada e i es x o y . Reordenar los factores muestra que cada producto es igual a x n − k y k para algún k entre 0 y n . Para un k dado , se demuestra que lo siguiente es igual en sucesión:
el número de términos iguales a x n − k y k en la expansión
el número de cadenas x , y de n caracteres que tienen y exactamente en k posiciones
el número de k subconjuntos de elementos de {1, 2, ..., n }
ya sea por definición, o por un breve argumento combinatorio si uno se define como
Esto demuestra el teorema del binomio.
Ejemplo
El coeficiente de xy 2 en
x , yy
{1, 2, 3}
y
prueba inductiva
La inducción produce otra prueba del teorema del binomio. Cuando n = 0 , ambos lados son iguales a 1 , ya que x 0 = 1 y ahora supongamos que la igualdad se cumple para un n dado ; lo demostraremos para n + 1 . Para j , k ≥ 0 , sea [ f ( x , y )] j , k el coeficiente de x j y k en el polinomio f ( x , y ) . Según la hipótesis inductiva, ( x + y ) n es un polinomio en x e y tal que [( x + y ) n ] j , k es si j + k = n y 0 en caso contrario. La identidad
Alrededor de 1665, Isaac Newton generalizó el teorema del binomio para permitir exponentes reales distintos de los números enteros no negativos. (La misma generalización también se aplica a los exponentes complejos ). En esta generalización, la suma finita se reemplaza por una serie infinita . Para hacer esto, es necesario dar significado a los coeficientes binomiales con un índice superior arbitrario, lo que no se puede hacer usando la fórmula habitual con factoriales. Sin embargo, para un número arbitrario r , se puede definir
Cuando r es un entero no negativo, los coeficientes binomiales para k > r son cero, por lo que esta ecuación se reduce al teorema binomial habitual, y hay como máximo r + 1 términos distintos de cero. Para otros valores de r , la serie normalmente tiene infinitos términos distintos de cero.
Por ejemplo, r = 1/2 da la siguiente serie para la raíz cuadrada:
De manera más general, con r = − s , tenemos para | x | < 1 : [15]
Entonces, por ejemplo, cuando s = 1/2 ,
Reemplazar x con -x produce:
Entonces, por ejemplo, cuando s = 1/2 , tenemos para | x | < 1 :
Otras generalizaciones
El teorema del binomio generalizado se puede extender al caso en el que xey son números complejos. Para esta versión, se debe asumir nuevamente | x | > | y | [Nota 1] y defina las potencias de x + y y x usando una rama holomorfa de log definida en un disco abierto de radio | x | centrado en x . El teorema del binomio generalizado es válido también para los elementos x e y de un álgebra de Banach siempre que xy = yx , y x sea invertible, y ‖ y / x ‖ < 1 .
Una versión del teorema del binomio es válida para la siguiente familia de polinomios similares al símbolo de Pochhammer : para una constante real dada c , defina y
[16]
c = 0
De manera más general, se dice que una secuencia de polinomios es de tipo binomial si
para todos ,
, y
para todos , , y .
Se dice que un operador en el espacio de polinomios es el operador base de la secuencia si y para todos . Una secuencia es binomial si y sólo si su operador base es un operador Delta . [17] Al escribir para el desplazamiento por operador, los operadores Delta correspondientes a las familias de polinomios "Pochhammer" anteriores son la diferencia hacia atrás para , la derivada ordinaria para y la diferencia directa para .
Teorema multinomial
El teorema del binomio se puede generalizar para incluir potencias de sumas con más de dos términos. La versión general es
donde la suma se toma sobre todas las secuencias de índices enteros no negativos k 1 a k m tales que la suma de todos los k i es n . (Para cada término de la expansión, los exponentes deben sumar n ). Los coeficientes se conocen como coeficientes multinomiales y se pueden calcular mediante la fórmula
Combinatoriamente, el coeficiente multinomial cuenta el número de formas diferentes de dividir un conjunto de n elementos en subconjuntos disjuntos de tamaños k 1 , ..., k m .
Teorema multibinomial
Cuando se trabaja en más dimensiones, suele resultar útil trabajar con productos de expresiones binomiales. Según el teorema del binomio esto es igual a
La regla general de Leibniz da la n -ésima derivada de un producto de dos funciones en una forma similar a la del teorema del binomio: [18]
Aquí, el superíndice ( n ) indica la enésima derivada de una función . Si se establece f ( x ) = e ax y g ( x ) = e bx , cancelar el factor común de e ( a + b ) x de cada término da el teorema del binomio ordinario. [19]
Usando el teorema del binomio, la expresión de la derecha se puede expandir y luego las partes real e imaginaria se pueden tomar para obtener fórmulas para cos( nx ) y sin( nx ) . Por ejemplo, desde
El número e a menudo se define mediante la fórmula
Al aplicar el teorema del binomio a esta expresión se obtiene la serie infinita habitual para e . En particular:
El késimo término de esta suma es
Como n → ∞ , la expresión racional de la derecha se acerca a 1 , y por lo tanto
Esto indica que e se puede escribir como una serie:
De hecho, dado que cada término de la expansión binomial es una función creciente de n , del teorema de convergencia monótona para series se deduce que la suma de esta serie infinita es igual a e .
Probabilidad
El teorema binomial está estrechamente relacionado con la función de masa de probabilidad de la distribución binomial negativa . La probabilidad de que una colección (contable) de ensayos independientes de Bernoulli con probabilidad de éxito no suceda es
Un límite superior para esta cantidad es [20]
En álgebra abstracta
El teorema del binomio es válido de forma más general para dos elementos xey en un anillo , o incluso en un semianillo , siempre que xy = yx . Por ejemplo, es válido para dos matrices n × n , siempre que esas matrices conmuten; esto es útil para calcular potencias de una matriz. [21]
El poeta portugués Fernando Pessoa , utilizando el heterónimo Álvaro de Campos , escribió que "el Binomio de Newton es tan hermoso como la Venus de Milo . La verdad es que poca gente se da cuenta". [22]
En la película de 2014 The Imitation Game , Alan Turing hace referencia al trabajo de Isaac Newton sobre el teorema del binomio durante su primer encuentro con el comandante Denniston en Bletchley Park.
^ ab Esto es para garantizar la convergencia. Dependiendo de r , la serie también puede converger a veces cuando | x | = | y | .
Referencias
^ ABCDE Coolidge, JL (1949). "La historia del teorema del binomio". El Mensual Matemático Estadounidense . 56 (3): 147-157. doi :10.2307/2305028. JSTOR 2305028.
^ a b C Jean-Claude Martzloff; SSWilson; J. Gernet; J. Dhombres (1987). Una historia de las matemáticas chinas . Saltador.
^ ab Biggs, NL (1979). "Las raíces de la combinatoria". Historia de las Matemáticas . 6 (2): 109-136. doi : 10.1016/0315-0860(79)90074-0 .
^ Yadegari, Mohammad (1980). "El teorema del binomio: un concepto generalizado en las matemáticas islámicas medievales". Historia Matemática . 7 (4): 401–406. doi : 10.1016/0315-0860(80)90004-X .
^ Stillwell, John (2015). "Domar lo desconocido. Una historia del álgebra ... por Victor J. Katz y Karen Hunger Parshall". Boletín de la Sociedad Estadounidense de Matemáticas (Reseña del libro). 52 (4): 725–731. doi : 10.1090/S0273-0979-2015-01491-6 . pag. 727: Sin embargo, el álgebra avanzó en otros aspectos. Alrededor del año 1000, al-Karaji enunció el teorema del binomio.
^ Erupción, Roshdi (1994). El desarrollo de las matemáticas árabes: entre la aritmética y el álgebra. Kluwer. pag. 63.ISBN _0-7923-2565-6.
^ Landau, James A. (8 de mayo de 1999). "Archivo de la lista de correo de Historia Matemática: Re: [HM] Triángulo de Pascal". Archivos de Historia Matemática . Archivado desde el original (correo electrónico de la lista de correo) el 24 de febrero de 2021 . Consultado el 13 de abril de 2007 .
^ abc Kline, Morris (1972). Historia del pensamiento matemático . Prensa de la Universidad de Oxford. pag. 273.
^ Katz, Víctor (2009). "14.3: Probabilidad elemental". Una historia de las matemáticas: una introducción . Addison-Wesley. pag. 491.ISBN _978-0-321-38700-4.
^ Bourbaki, N. (18 de noviembre de 1998). Elementos de la Historia de las Matemáticas Tapa blanda . J. Meldrum (Traductor). ISBN978-3-540-64767-6.
^ Stillwell, John (2010). Las matemáticas y su historia (tercera ed.). Saltador. pag. 186.ISBN _978-1-4419-6052-8.
^ ab Barth, Nils R. (2004). "Calcular la fórmula de cuadratura de Cavalieri mediante una simetría del n -Cubo". El Mensual Matemático Estadounidense . 111 (9): 811–813. doi :10.2307/4145193. ISSN 0002-9890. JSTOR 4145193.
^ Teorema del binomio: pruebas inductivas Archivado el 24 de febrero de 2015 en Wayback Machine.
^ Weisstein, Eric W. "Serie binomial negativa". Wolfram MathWorld .
^ Sokolowsky, Dan; Rennie, Basil C. (febrero de 1979). "Problema 352". Crux Mathematicorum . 5 (2): 55–56.
^ Aigner, Martin (1997) [Reimpresión de la edición de 1979]. Teoría combinatoria . Saltador. pag. 105.ISBN _3-540-61787-6.
^ Olver, Peter J. (2000). Aplicaciones de grupos de Lie a ecuaciones diferenciales. Saltador. págs. 318–319. ISBN9780387950006.
^ Spivey, Michael Z. (2019). El arte de demostrar identidades binomiales . Prensa CRC. pag. 71.ISBN _978-1351215800.
^ Portada, Thomas M.; Thomas, Joy A. (1 de enero de 2001). Compresión de datos . John Wiley & Sons, Inc. pág. 320. doi :10.1002/0471200611.ch5. ISBN9780471200611.