Teorema del binomio
En álgebra elemental, el teorema del binomio (o expansión binomial) describe la expansión algebraica de las potencias de un binomio. De acuerdo con el teorema, es posible expandir el polinomio (x + y) en una suma que involucra términos de la forma ax y, donde los exponentes b y c son números enteros no negativos con b + c = n, y el coeficiente a de cada término es un número entero positivo específico que depende de n y b. Por ejemplo, para n = 4,
El coeficiente a en el término de ax y se conoce como coeficiente binomial o (los dos tienen el mismo valor). Estos coeficientes para variar n y b se pueden arreglar para formar el triángulo de Pascal. Estos números también ocurren en combinatoria, donde da el número de combinaciones diferentes de b elementos que se pueden elegir de un conjunto de n elementos. Por lo tanto, a menudo se pronuncia como " n elige b ".
Historia
Se conocían casos especiales del teorema del binomio desde al menos el siglo IV a. C. cuando el matemático griego Euclides mencionó el caso especial del teorema del binomio para el exponente 2. Existe evidencia de que el teorema del binomio para cubos se conocía en el siglo VI d.C. en la India.
Los coeficientes binomiales, como cantidades combinatorias que expresan el número de formas de seleccionar k objetos de n sin reemplazo, fueron de interés para los antiguos matemáticos indios. La referencia más antigua conocida a este problema combinatorio es Chandaḥśāstra del letrista indio Pingala (c. 200 a. C.), que contiene un método para su solución. El comentarista Halayudha del siglo X dC explica este método usando lo que ahora se conoce como el triángulo de Pascal. Hacia el siglo VI d. C., los matemáticos indios probablemente sabían cómo expresar esto como un cociente , y se puede encontrar una declaración clara de esta regla en el texto del siglo XII Lilavati de Bhaskara.
La primera formulación del teorema binomial y la tabla de coeficientes binomiales, hasta donde sabemos, se pueden encontrar en un trabajo de Al-Karaji, citado por Al-Samaw'al en su "al-Bahir". Al-Karaji describió el patrón triangular de los coeficientes binomiales 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. El poeta y matemático persa Omar Khayyam probablemente estaba familiarizado con la fórmula para órdenes superiores, aunque muchas de sus obras matemáticas se han perdido. Las expansiones binomiales de pequeños grados se conocían en los trabajos matemáticos del siglo XIII de Yang Hui y también de Chu Shih-Chieh. Yang Hui atribuye el método a un texto de Jia Xian del siglo XI mucho más antiguo, aunque esos escritos ahora también se han perdido.
En 1544, Michael Stifel introdujo el término "coeficiente binomial" y mostró cómo usarlos para expresar en términos de , a través del "triángulo de Pascal". Blaise Pascal estudió exhaustivamente el triángulo epónimo en su Traité du Triangle Arithmétique. 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.
A Isaac Newton generalmente se le atribuye el teorema del binomio generalizado, válido para cualquier exponente racional.
Declaración
De acuerdo con el teorema, es posible expandir cualquier potencia entera no negativa de x + y en una suma de la forma
donde es un número entero y cada uno es un número entero positivo conocido como coeficiente binomial. (Cuando un exponente es cero, la expresión de potencia correspondiente se toma como 1 y este factor multiplicativo a menudo se omite del término. Por lo tanto, a menudo se ve el lado derecho escrito como ). Esta fórmula también se conoce como fórmula binomial o la identidad binomial. Usando la notación de suma, se puede escribir como
La expresión final se sigue de la anterior por la simetría de x e y en la primera expresión, y por comparación se sigue que la secuencia de coeficientes binomiales en la fórmula es simétrica. Una variante simple de la fórmula binomial se obtiene sustituyendo 1 por y, de modo que involucre una sola variable. De esta forma, la fórmula dice
o equivalente
o más explícitamente
Ejemplos
Aquí están los primeros casos del teorema del binomio:
En general, para la expansión de (x + y) en el lado derecho en la fila n (numerada de modo que la fila superior sea la fila 0):
- los exponentes de x en los términos son n, n − 1,..., 2, 1, 0 (el último término contiene implícitamente x = 1);
- los exponentes de y en los términos son 0, 1, 2,..., n − 1, n (el primer término contiene implícitamente y = 1);
- los coeficientes forman la n -ésima fila del triángulo de Pascal;
- antes de combinar términos similares, hay 2 términos x y en la expansión (no se muestra);
- después de combinar términos semejantes, hay n + 1 términos, y sus coeficientes suman 2.
Un ejemplo que ilustra los dos últimos puntos:
con _
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 puede dividirse 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 tresa × b × b cajas rectangulares.
En cálculo, esta imagen también da una prueba geométrica de la derivada 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 del término lineal (in ) es el área de las n caras, cada una de dimensión n − 1:
Sustituyendo esto en la definición de la derivada a través de un cociente de diferencias y tomando límites significa que los términos de orden superior, y más altos, se vuelven insignificantes y produce la fórmula interpretada como"la tasa infinitesimal de cambio en el volumen de un n -cubo a medida que varía la longitud del lado es el área de n de sus (n - 1) -caras dimensionales".
Si se integra esta imagen, que corresponde a la aplicación del teorema fundamental del cálculo, se obtiene la fórmula de cuadratura de Cavalieri, la integral ; véase la demostración de la fórmula de cuadratura de Cavalieri para más detalles.
Coeficientes binomiales
Los coeficientes que aparecen en la expansión binomial se denominan coeficientes binomiales. Suelen escribirse y pronunciarse " n elegir k ".
Fórmulas
El coeficiente de x y viene dado por la fórmula
que se define en términos de la función factorial n !. De manera equivalente, esta fórmula se puede escribir
con k factores tanto en el numerador como en el denominador de la fracción. Aunque esta fórmula implica una fracción, el coeficiente binomial es en realidad un número entero.
Interpretación combinatoria
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) como producto
entonces, de acuerdo con la ley distributiva, habrá un término en la expansión para cada elección de x o y de cada uno de los binomios del producto. Por ejemplo, solo habrá un término x, correspondiente a elegir x de cada binomio. Sin embargo, habrá varios términos de la forma x y, uno para cada forma de elegir exactamente dos binomios para contribuir a y. Por lo tanto, después de combinar términos semejantes, el coeficiente de x y será igual al número de formas de elegir exactamente 2 elementos de un conjunto de n elementos.
Pruebas
Prueba combinatoria
Ejemplo
El coeficiente de xy en
es igual porque hay tres cadenas x, y de longitud 3 con exactamente dos y s, a saber,
correspondiente a los tres subconjuntos de 2 elementos de {1, 2, 3}, a saber,
donde cada subconjunto especifica las posiciones de la y en una cadena correspondiente.
Caso general
Expandir (x + y) produce la suma de los 2 productos de la forma e 1 e 2... e n donde cada e i es x o y. El reordenamiento de los factores muestra que cada producto es igual a x y para algún k entre 0 y n. Para un k dado, se prueban iguales sucesivamente:
- el número de copias de x y en la expansión
- el número de n -caracteres x, y cadenas que tienen y en exactamente k posiciones
- el número de subconjuntos de elementos k de {1, 2,..., n }
- ya sea por definición, o por un breve argumento combinatorio si uno está definiendo como
Esto demuestra el teorema del binomio.
Prueba inductiva
La inducción produce otra demostración del teorema del binomio. Cuando n = 0, ambos lados son iguales a 1, ya que x = 1 y Ahora supongamos que la igualdad se cumple para un n dado; lo probaremos para n + 1. Para j, k ≥ 0, sea [ f (x, y)] j, k el coeficiente de x y en el polinomio f (x, y). Por la hipótesis inductiva, (x + y) es un polinomio en x e y tal que [(x + y) ] j, k essi j + k = n, y 0 en caso contrario. La identidad
muestra que (x + y) también es un polinomio en x e y, y
ya que si j + k = norte + 1, entonces (j − 1) + k = norte y j + (k − 1) = norte. Ahora, el lado derecho es
por la identidad de Pascal. Por otro lado, si j + k ≠ n + 1, entonces (j – 1) + k ≠ n y j + (k – 1) ≠ n, entonces obtenemos 0 + 0 = 0. De este modo
que es la hipótesis inductiva con n + 1 sustituido por n y así completa el paso inductivo.
Generalizaciones
Teorema del binomio generalizado de Newton
Alrededor de 1665, Isaac Newton generalizó el teorema del binomio para permitir exponentes reales distintos de los 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
donde está el símbolo de Pochhammer, que aquí representa un factorial descendente. Esto concuerda con las definiciones habituales cuando r es un número entero no negativo. Entonces, si x e y son números reales con | x | > | y |, y r es cualquier número complejo, uno tiene
Cuando r es un número 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 un número infinito de términos distintos de cero.
Por ejemplo, r = 1/2 da la siguiente serie para la raíz cuadrada:
Tomando r = −1, la serie binomial generalizada da la fórmula de la serie geométrica, válida para | x | < 1:
Más generalmente, con s = − r:
Entonces, por ejemplo, cuando s = 1/2,
Otras generalizaciones
El teorema del binomio generalizado se puede extender al caso donde x e y son números complejos. Para esta versión, se debe suponer nuevamente | x | > | y | y defina las potencias de x + y y x usando una rama holomorfa de logaritmo definida en un disco abierto de radio | x | centrado en x. El teorema del binomio generalizado también es válido 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 tipo símbolo de Pochhammer: para una constante real dada c, define y
para entonces
El caso c = 0 recupera el teorema del binomio habitual.
Más generalmente, 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 sucesión si y para todo . Una secuencia es binomial si y solo si su operador base es un operador Delta. Escribiendo para el desplazamiento por operador, los operadores Delta correspondientes a las familias de polinomios de "Pochhammer" anteriores son la diferencia hacia atrás para , la derivada ordinaria para y la diferencia hacia adelante 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 en 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 ,..., km.
Teorema multibinomial
Cuando se trabaja en más dimensiones, suele ser útil trabajar con productos de expresiones binomiales. Por el teorema del binomio esto es igual a
Esto se puede escribir de manera más concisa, mediante notación de índices múltiples, como
Regla general de Leibniz
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:
Aquí, el superíndice (n) indica la n -ésima derivada de una función. Si uno establece f (x) = e y g (x) = e, y luego cancela el factor común de e de ambos lados del resultado, se recupera el teorema del binomio ordinario.
Aplicaciones
Identidades de múltiples ángulos
Para los números complejos, el teorema del binomio se puede combinar con la fórmula de De Moivre para producir fórmulas de ángulos múltiples para el seno y el coseno. Según la fórmula de De Moivre,
Usando el teorema del binomio, la expresión de la derecha se puede expandir, y luego se pueden tomar las partes real e imaginaria para producir fórmulas para cos(nx) y sin(nx). Por ejemplo, desde
La fórmula de De Moivre nos dice que
que son las identidades habituales de doble ángulo. Del mismo modo, desde
La fórmula de De Moivre produce
En general,
y
Serie para e
El número e a menudo se define mediante la fórmula
Aplicando 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 tiende a 1, y por lo tanto
Esto indica que e puede escribirse como una serie:
De hecho, dado que cada término de la expansión binomial es una función creciente de n, se sigue del teorema de convergencia monótona para series que la suma de esta serie infinita es igual a e.
Probabilidad
El teorema del binomio 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 de Bernoulli independientes con probabilidad de éxito no suceda es
Un límite superior para esta cantidad es
En álgebra abstracta
El teorema del binomio es válido de forma más general para dos elementos x e y en un anillo, o incluso en un semianillo, siempre que xy = yx. Por ejemplo, se cumple para dos matrices n × n, siempre que esas matrices conmuten; esto es útil para calcular potencias de una matriz.
El teorema del binomio se puede enunciar diciendo que la secuencia polinomial {1, x, x, x,...} es de tipo binomial.
En la cultura popular
- El teorema del binomio se menciona en la Canción del mayor general en la ópera cómica Los piratas de Penzance.
- Sherlock Holmes describe al profesor Moriarty como autor de un tratado sobre el teorema del binomio.
- El poeta portugués Fernando Pessoa, usando el heterónimo de Álvaro de Campos, escribió que "El binomio de Newton es tan hermoso como la Venus de Milo. La verdad es que pocas personas lo notan".
- 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.
Contenido relacionado
Cuadrado mágico
Producto (matemáticas)
Cuaternio