En matemáticas, el teorema del binomio es una fórmula que proporciona el desarrollo de la
-ésima potencia de un binomio, siendo
. De acuerdo con el teorema, es posible expandir la potencia
en una suma que implica términos de la forma
, donde los exponentes
, es decir, son números naturales con
, y el coeficiente
de cada término es un número entero positivo que depende de
y
. Cuando un exponente es cero, la correspondiente potencia es usualmente omitida del término.
El coeficiente
en los términos de
es conocido como el coeficiente binomial
o
(los dos tienen el mismo valor).
Teorema
Este teorema establece que cualquier potencia de un binomio
puede ser expandida en una suma de la forma:
![{\displaystyle {\begin{aligned}(x+y)^{n}&=\sum _{k=0}^{n}{n \choose k}x^{n-k}y^{k}\\&={n \choose 0}x^{n}+{n \choose 1}x^{n-1}y+{n \choose 2}x^{n-2}y^{2}+\cdots +{n \choose n-1}xy^{n-1}+{n \choose n}y^{n}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c444833988704ad1be603118795a61222d4c92b)
donde
![{\displaystyle {\binom {n}{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/963a810ba39e3e0725c523d0c98b18f39786ebb2)
es el coeficiente binomial, el cual representa el número de formas de escoger
elementos de un conjunto con
elementos.
Usando la fórmula de cálculo de dicho coeficiente, se obtiene la siguiente ecuación:
![{\displaystyle (x+y)^{n}=\sum _{k=0}^{n}{\frac {n!}{k!(n-k)!}}x^{n-k}y^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/022918a5f841c46a3ffec6c0730bc74281f0c114)
Para obtener la expansión de las potencias de una resta, basta con tomar
en lugar de
en los términos con potencias impares:
![{\displaystyle (x-y)^{n}=\displaystyle \sum _{k=0}^{n}(-1)^{k}{\frac {n!}{k!(n-k)!}}x^{n-k}y^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b36efb664c33f3ceb72321088b95bb18140f387)
Ejemplos
Como ejemplos, para
, utilizando los coeficientes del triángulo de Pascal se obtienen estos resultados:
![{\displaystyle {\begin{aligned}(x+y)^{2}&=x^{2}+2xy+y^{2}\\(x+y)^{3}&=x^{3}+3x^{2}y+3xy^{2}+y^{3}\\(x+y)^{4}&=x^{4}+4x^{3}y+6x^{2}y^{2}+4xy^{3}+y^{4}\\(x+y)^{5}&=x^{5}+5x^{4}y+10x^{3}y^{2}+10x^{2}y^{3}+5xy^{4}+y^{5}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f186546461a1c57a35a24af1a51277e55f0ef2ae)
Teorema generalizado del binomio (Newton)
Isaac Newton generalizó la fórmula para exponentes reales, considerando una serie infinita:
![{\displaystyle {(x+y)^{r}=\sum _{k=0}^{\infty }{r \choose k}x^{r-k}y^{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffabfda1f2e964802c29b40ef6276768631f0fd0)
donde
puede ser cualquier número real, no necesariamente positivo ni entero, y los coeficientes están dados por el producto:
![{\displaystyle {r \choose k}={1 \over k!}\prod _{n=0}^{k-1}(r-n)={\frac {r(r-1)(r-2)\cdots (r-k+1)}{k!}}={\frac {r!}{(r-k)!k!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82077564fbf5abce5867ba3b7fa3eedf04ef4ad)
La expansión para la potencia recíproca es la siguiente:
![{\displaystyle {\frac {1}{(1-x)^{r}}}=\sum _{k=0}^{\infty }{r+k-1 \choose k}x^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45f8d135813ecb936b2fa0732e916a334a3242b4)
La suma en (3) converge y la igualdad es verdadera siempre que los números reales o complejos
e
sean suficientemente cercanos, en el sentido de que el valor absoluto de
sea menor que uno.
Teorema Multinomial
El teorema del binomio puede ser generalizado para incluir potencias de sumas de más de dos términos. En general:
![{\displaystyle (x_{1}+x_{2}+\cdots +x_{m})^{n}=\sum _{k_{1}+k_{2}+\cdots +k_{m}=n}{n \choose k_{1},k_{2},\ldots ,k_{m}}x_{1}^{k_{1}}x_{2}^{k_{2}}\cdots x_{m}^{k_{m}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ccde2cce7f940f17dccd244416f1b7068e7f46d)
En esta fórmula, la suma se toma sobre todos los valores enteros naturales desde
hasta
tales que la suma de todos estos valores es igual a
. Los coeficientes de la sumatoria, conocidos como coeficientes multinomiales se calculan según la fórmula:
![{\displaystyle {n \choose k_{1},k_{2},\ldots ,k_{m}}={\frac {n!}{k_{1}!\cdot k_{2}!\cdots k_{m}!}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5979b347c70051e2293a726c72525233886de7ca)
Desde el punto de vista de la combinatoria, el coeficiente multinomial cuenta el número de diferentes maneras de dividir un conjunto de
elementos en subconjuntos disjuntos de tamaños
Teorema multi-binomial
A menudo es útil, cuando se trabaja en más de una dimensión, usar productos de expresiones binomiales. Por el teorema del binomio, esto es igual a:
![{\displaystyle (x_{1}+y_{1})^{n_{1}}\dotsm (x_{d}+y_{d})^{n_{d}}=\sum _{k_{1}=0}^{n_{1}}\dotsm \sum _{k_{d}=0}^{n_{d}}{\binom {n_{1}}{k_{1}}}\,x_{1}^{k_{1}}y_{1}^{n_{1}-k_{1}}\;\dotsc \;{\binom {n_{d}}{k_{d}}}\,x_{d}^{k_{d}}y_{d}^{n_{d}-k_{d}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93a0c899293a7773f9f2a02cec5865fbc4a4e1cf)
La fórmula anterior puede ser escrita usando la notación multi-índice como sigue:
![{\displaystyle (x+y)^{\alpha }=\sum _{\nu \leq \alpha }{\binom {\alpha }{\nu }}x^{\nu }y^{\alpha -\nu }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/921f58bf8c6d48ede3217ac8dc0866a486537495)
Regla generalizada del producto (o fórmula de Leibniz de la derivada n-esima)
La Regla General de Leibniz proporciona la
ésima derivada del producto de dos funciones
y
de manera similar al teorema del binomio:
![{\displaystyle (f\cdot g)^{(n)}(x)=\sum _{k=0}^{n}{\binom {n}{k}}f^{(n-k)}(x)g^{(k)}(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06f54797856c539cd75500bc8660c9fa710b5dc2)
En esta igualdad, el superíndice
indica la
ésima derivada de una función. Si hacemos
y
se cancela a ambos lados de la igualdad el factor común
y se obtiene el teorema del binomio.
Aplicaciones
Identidades de ángulos múltiples
Para los números complejos el teorema del binomio puede ser combinado con la Fórmula de De Moivre para proporcionar identidades de ángulos múltiples para las funciones seno y coseno. Según la fórmula de De Moivre:
![{\displaystyle \cos \left(nx\right)+i\operatorname {sen} \left(nx\right)=\left(\cos x+i\operatorname {sen} x\right)^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95c93cfb1cf79ad923e083431b8bc39448a5ea1f)
Usando el teorema del binomio, la expresión del lado derecho puede ser expandida y luego, las partes real e imaginaria son extraídas para obtener las fórmulas de los ángulos múltiples. Ya que:
![{\displaystyle \left(\cos x+i\operatorname {sen} x\right)^{2}=\cos ^{2}(x)+2i\cos(x)\operatorname {sen}(x)-\operatorname {sen} ^{2}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1cb7a1140aa852235adac4add966ea0bd10764e)
Comparando esta igualdad con la fórmula de De Moivre, queda claro que:
![{\displaystyle {\begin{aligned}\cos(2x)&=\cos ^{2}(x)-\operatorname {sen} ^{2}(x)\\\operatorname {sen}(2x)&=2\cos(x)\operatorname {sen}(x)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8e7a1b61e17e918a5a51c10c76d2c1c5f859949)
las cuales son las identidades usuales del ángulo doble.
De manera similar:
![{\displaystyle \left(\cos x+i\operatorname {sen} x\right)^{3}=\cos ^{3}(x)+3i\cos ^{2}(x)\operatorname {sen}(x)-3\cos(x)\operatorname {sen} ^{2}(x)-i\operatorname {sen} ^{3}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dc041302c850d7991016e01c8508cfed13c0ab4)
Comparando con el enunciado de la fórmula de De Moivre, al separar las partes reales e imaginarias del resultado:
![{\displaystyle {\begin{aligned}\cos(3x)&=\cos ^{3}(x)-3\cos(x)\operatorname {sen} ^{2}(x)\\\operatorname {sen}(3x)&=3\cos ^{2}(x)\operatorname {sen}(x)-\operatorname {sen} ^{3}(x)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0b133fa697fe76b6f7192c85e828ea1aa368c1b)
En general,
![{\displaystyle \cos(nx)=\sum _{k{\text{ par}}}(-1)^{k/2}{n \choose k}\cos ^{n-k}(x)\operatorname {sen} ^{k}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8200a84d8db276187999f0ae5be81b068e097560)
y
![{\displaystyle \operatorname {sen}(nx)=\sum _{k{\text{ impar}}}(-1)^{(k-1)/2}{n \choose k}\cos ^{n-k}(x)\operatorname {sen} ^{k}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7468dd7c6f1c9be5e9d314c4218a624e1285eee9)
Serie para e
El número e suele ser definido por la ecuación:
![{\displaystyle e=\lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e76702c87ce1c681ed1da8213125963524ca0ee6)
Aplicando el teorema del binomio a esta expresión obtenemos la serie infinita para
. En particular:
![{\displaystyle \left(1+{\frac {1}{n}}\right)^{n}=1+{n \choose 1}{\frac {1}{n}}+{n \choose 2}{\frac {1}{n^{2}}}+{n \choose 3}{\frac {1}{n^{3}}}+\cdots +{n \choose n}{\frac {1}{n^{n}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69f2abc57791e4fa80bd191afba68fd055ed321a)
El k-ésimo término de esta suma es:
![{\displaystyle {\begin{aligned}{n \choose k}{\frac {1}{n^{k}}}&={\frac {n!}{k!\cdot (n-k)!}}\cdot {\frac {1}{n^{k}}}\\&={\frac {1}{k!}}\cdot {\frac {n(n-1)(n-2)\cdots (n-k+1)\cdot (n-k)!}{(n-k)!}}\cdot {\frac {1}{n^{k}}}\\&={\frac {1}{k!}}\cdot {\frac {n(n-1)(n-2)\cdots (n-k+1)}{n^{k}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50c1085caec1ff377df2e3bfac5eec642775e5ec)
Como el número
tiende a infinito (
), la expresión racional a la derecha se aproxima a 1:
![{\displaystyle {\begin{aligned}\lim _{n\to \infty }{\frac {n(n-1)(n-2)\cdots (n-k+1)}{n^{k}}}&=\lim _{n\to \infty }{\frac {n^{k}+a_{1}\cdot n^{k-1}+a_{2}\cdot n^{k-2}\cdots a_{k+2}\cdot n^{1}+a_{k+1}\cdot n^{0}}{n^{k}}}\\&=\lim _{n\to \infty }{\frac {n^{k}}{n^{k}}}+\lim _{n\to \infty }{\frac {a_{1}\cdot n^{k-1}}{n^{k}}}\cdots \lim _{n\to \infty }{\frac {a_{k+1}\cdot n^{0}}{n^{k}}}\\&=1+0\cdots 0\\&=1\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6afdd9e5be72339f92f2a1ec11730742af26d3fa)
Y por tanto, cuando n tiende a infinito, cada k-ésimo término se reduce a:
![{\displaystyle \lim _{n\to \infty }{n \choose k}{\frac {1}{n^{k}}}={\frac {1}{k!}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98bf5bae433c544b5e779e6abe04f9ce52481162)
Lo que indica que
se puede escribir como una serie infinita:
![{\displaystyle e=\sum _{k=0}^{\infty }{\frac {1}{k!}}={\frac {1}{0!}}+{\frac {1}{1!}}+{\frac {1}{2!}}+{\frac {1}{3!}}+\cdots .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/661bb44406247d11db4a81161f8a6f4ad3ff4ca1)
Probabilidad
El teorema del binomio está estrechamente relacionado con la función de probabilidad de masa de la distribución binomial negativa. La probabilidad de que una colección (contable) de pruebas de Bernoulli independientes
con probabilidad de éxito
no ocurra es:
Un límite superior útil para esta cantidad es
.[1]
Historia
Atribuido a Isaac Newton, el teorema fue en realidad descubierto por primera vez por Al-Karjí alrededor del año 1000. Aplicando los métodos de John Wallis de interpolación y extrapolación a nuevos problemas, Newton utilizó los conceptos de exponentes generalizados mediante los cuales una expresión polinómica se transformaba en una serie infinita. Así estuvo en condiciones de demostrar que un gran número de series ya existentes eran casos particulares, bien por diferenciación, bien por integración.
En el invierno de 1664 y 1665, Newton quien se encontraba en su hogar en Lincolnshire, extendió la expansión binomial en el caso en que
es un número racional y en el otoño siguiente, cuando el exponente es un número negativo. Para ambos casos, se encontró con que la expresión resultante era una serie de infinitos términos.
Para el caso de los exponentes negativos, Newton usó la forma escalonada del Triángulo de Pascal, la cual expuso el matemático alemán Michael Stifel en su obra Arithmetica Integra:[2]
Bajo esta forma es fácil ver, que la suma del j-ésimo elemento y el (j-1)-ésimo elemento de un renglón dan como resultado el elemento j-ésimo del renglón que está debajo. Newton extendió esta tabla hacia arriba, hallando la diferencia entre el j-ésimo elemento en un renglón y el (j-1)-ésimo elemento del renglón por encima del anterior, colocando el resultado como el j-ésimo elemento de ese renglón superior. Así, fue capaz de obtener esta nueva tabla:
Al darse cuenta de que la serie de números no tenía final, Newton concluyó que para un exponente entero negativo la serie es infinita lo que indica, de hecho, que si la suma
representaba al binomio
el resultado obtenido es válido si
se encuentra entre -1 y 1. Si
es un número racional, estudiando el patrón obtenido, Newton pudo obtener coeficientes binomiales para fracciones tales como
,
y
, por ejemplo. En ese caso, si
, los coeficientes son
,
,
,
, etc. Newton pudo comprobar, que si multiplicaba la expansión para
, por sí misma, obtenía precisamente el caso en que
.[2]
A partir de este descubrimiento, Newton tuvo la intuición de que se podía operar con series infinitas del mismo modo que con expresiones polinómicas finitas. Newton nunca publicó este teorema. Lo hizo Wallis por primera vez en 1685 en su Álgebra, atribuyendo a Newton este descubrimiento. El teorema binómico para
se encuentra en los Elementos de Euclides (300 a. C.) y el término «coeficiente binomial» fue introducido por Stifel.
Véase también
Referencias
Bibliografía
- Bag, Amulya Kumar (1966). «Binomial theorem in ancient India». Indian J. History Sci 1 (1): 68-74.
- Barth, Nils R. (noviembre de 2004). «Computing Cavalieri's Quadrature Formula by a Symmetry of the n-Cube». The American Mathematical Monthly (Mathematical Association of America) 111 (9): 811-813. ISSN 0002-9890. JSTOR 4145193. doi:10.2307/4145193. Archivado desde el original el 20 de marzo de 2012. Consultado el 19 de diciembre de 2011, author's copy, further remarks and resources
- Graham, Ronald; Donald Knuth, Oren Patashnik (1994). «(5) Binomial Coefficients». Concrete Mathematics (2 edición). Addison Wesley. p. 153–256. ISBN 0-201-55802-5. OCLC 17649857.
- Solomentsev, E.D. (2001), "Newton binomial", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- «Isaac Newton - Teorema del binomio».
Enlaces externos