UNA FORMULA DADA POR VILLARREAL

1) Introduccin: El Binomio de Newton. Un binomio, es una expresin algebraica que consta de dos trminos algebraicos, (tambin llamados monomios), entendiendo por trmino algebraico aquel que est compuesto por variables, multiplicada por una constante (nmero), tambin llamado coeficiente, as tenemos algunos binomios: a x 2 y ; a 4b 3 ; cb ; xyz 3 6wx 2 y 3 2 b desde luego un binomio es visualizado mejor cuando los monomios estn separados por signos de adicin o sustraccin. Teniendo la nocin de potenciacin ya establecida, vamos a proceder a obtener el resultado de elevar a un exponente n N binomio de la forma x y ; comencemos con un caso particular: ( x y ) 2 ( x y ) 2 ( x y )( x y ) x 2 2 xy y 2 hemos obtenido una expresin algebraica con mas trminos en este caso tres, llamada polinomio, nuestra tarea es obtener una frmula para el caso ( x y ) n con n N, analicemos algunos casos particulares: Por las reglas de potenciacin se sabe que todo nmero o expresin elevado al exponente cero da como resultado la unidad: ( x y ) 0 0 por otro lado tambin se tiene ( x y )1 x y ( x y ) 2 x 2 2 xy y 2 , y si operamos ( x y ) 2 ( x y ) , se obtiene: ( x y ) 3 x 3 3x 2 y 3xy 2 y 3 una observacin vlida, es afirmar que mientras crece el exponente, mas trminos se obtiene del binomio, de hecho otro observador precavido dira que existe una relacin entre los coeficientes del polinomio y el exponente al que a sido elevado el binomio; desde luego que esa afirmacin si es cierta, ya para el siglo XVI, el italiano Nicolo Tartaglia 1, encontr esa relacin; para ello coloc cada coeficiente de cada trmino algebraico en una distribucin triangular, y los asoci con los binomios de la siguiente forma : ( x y)0 1 1 ( x y) 1 1 2 ( x y) 1 2 1 3 ( x y) 1 3 3 1 adems, esos nmeros del arreglo triangular cumplen una relacin, y son obtenidos a partir de la suma de los nmeros de la fila anterior, as se tiene 1 1 1 1 1 + 3 + + 4 6 + 2 + 3 + 4 1 1 1 1

Hay que observar algo importante con respecto al polinomio, y es que este, est ordenado 3 ,ascendentemente con respecto a una variable y descendente con respecto a la otra variable. Por ejemplo: Hallar el resultado de ( x y ) 3 , Primero ordenamos el polinomio en forma descendente con respecto a x y en forma ascendente con respecto a y; observando el arreglo anterior y nos fijamos en la cuarta fila, esos sern los coeficientes del polinomio del desarrollo de dicho binomio, se tiene entonces: ordenando el polinomio, ( x y ) 3 *x 4 *x 3 y *xy 2 * y 3 usando el arreglo anterior se tiene el resultado, donde cada asterisco es cada coeficiente, ( x y ) 3 x 3 3x 2 y 3xy 2 y 3 Ahora veamos para el caso donde ( x y ) n con n N --, es decir para los naturales negativos para eso veamos un ejemplo : Nos piden hallar l desarrollo del binomio ( x y ) 2 , esto es lo mismo que escribir, usando las leyes de exponentes: 1 1 ( x y) 2 2 2 ( x y) x 2 xy y 2 ahora dividamos el polinomio con el mtodo usual: x 2 2 xy y 2 1
1 2y x 2y x 2y x y2 x2 y2 x2 4y2 x2 1 x2 2y x3 3y 2 x4 4y3 x5 .....

2y3 x3

3y 2 x2

2 y3 x3 3y x2

6y3 x3 4y3 x3 4y x3

3y 4 x4 3y 4 x4 8y4 x4

4 y5 x5

............................ Y as sucesivamente, se obtiene como resultado un polinomio de infinitos trminos, llamado serie infinita, concluyendo: 1 2 y 3y 2 4 y3 ( x y) 2 ..... = x 2 2 x 3 y 3x 4 y 2 4 x 5 y 3 .... 2 3 4 5 x x x x

de hecho tambin existe esa relacin, entre los coeficientes del polinomio y el exponente negativo; retomando de nuevo el arreglo triangular, llamado tambin Tringulo aritmtico, veamos: 1 1 1 1 1 1 1 6 5 4 3 2 3 1 1 1

6 4 1 10 10 5 1 15 20 15 6 1 (x+y)-1 (x+y)-2 (x+y)-3

Observamos que los coeficientes son las diagonales de dicho arreglo triangular, adems estos estn alternados por signos negativos y positivos, y teniendo en cuenta que el polinomio esta en forma decreciente negativamente, tomando como referencia al exponente del binomio a elevar y creciente positivamente con respecto a al otra variable; as por ejemplo: ( x y ) 4 *x 4 *x 5 y *x 6 y 2 ..... ahora reemplazando cada asterisco por cada coeficiente del arreglo triangular, se tiene: ( x y ) 4 x 4 4 x 5 y 10 x 6 y 2 20 x 7 y 3 ..... Para el caso ( x y ) n con n formula de Newton :
n

Q, ,

es decir n es cualquier fraccin, se llega a al conocida

(x

y)n
k 0

n k

xn k yk

, donde
k

n( n 1)( n 2)( n 3).....[ n ( n k )] 1.2.3........ k

llamado coeficiente binomial. Tambin se tiene para el binomio de Newton en la forma de combinaciones o anlisis combinatorio: n n! ( x y)n C kn x n k y k donde C kn y n!= 1.2.3.4.5......n k!( n k )! k 0 este ltimo llamado factorial de n. Ahora analicemos para el caso cuando ( x
y ) n con n
R,

Sea de nuevo nuestro binomio ( x siguiente modo: ( x

y)n

y ) n , pero le vamos hacer una transformacin del

yn x x ( x y)n = y n ( 1) n , si Z , se tiene el binomio n y y y transformado: ( x y ) n = y n (1 z ) n , slo analicemos la parte (1+z)n , n R, ahora supongamos que este nuevo binomio tiene la forma de una serie infinita: (1 z ) n a0 + a1 x + a2 x2 + a3 x3+a4 x4+........., llamemos a este binomio G(x), se tiene:

G(x)= (1 z ) n , adems llamemos F(x)= (1 z ) , entonces tenemos: [F(x)]n = G(x), derivando ambos miembros, se tiene 2: n[F(x)]n-1F(x) = G(x), multiplicando por F(x) a ambos lados, se tiene: n[F(x)]n F(x)= G(x)F(x) arreglando adecuadamente y teniendo en cuenta que [F(x)]n = G(x), se obtiene nG(x)F(x) = G(x)F(x) analicemos el primer miembro: nG(x)F(x) nG(x)= na0 + na1 x + na2 x2 + na3 x3+na4 x4+......... F(x)= 1 nG(x)F(x) = na0 + na1 x + na2 x2 + na3 x3+na4 x4+....... ahora, analizando el otro miembro: G(x)F(x) (x) multiplicando (x) multiplicando

G(x) = a1 + 2a2 x + 3a3 x2 + 4a4 x3+ 5a5 x4+........ F(x) = 1+x nG(x)F(x) = a1 + 2a2 x + 3a3 x2 + 4a4 x3+ 5a5 x4 + 6a6 x5........ a1 x+ 2a2 x 2+ 3a3 x3 + 4a4 x4+ 5a5 x5+........

(+)Sumando

nG(x)F(x) = a1 + (2a2+ a1 )x + (3a3 +2a2 )x2 + (4a4 + 3a3 )x3+ (5a5+ 4a4 )x4 +........ igualando trminos: na0 + na1 x + na2 x2 + na3 x3+na4 x4+.... = a1 + (2a2+ a1 )x + (3a3 +2a2 )x2 + (4a4 + 3a3 )x3+ (5a5+ 4a4 )x4 +........ ahora empatando coeficientes termino a termino, se tiene: a1 = na0, sabiendo de que , a0n =1, se tiene: a na1=2a2+ a1 a2= 1 (n 1) 2 a2 a3 ( n 2) na3 = 3a3 +2a2 3 a3 a4 (n 3) na4 = 4a4 + 3a3 4 a1 = n a ( n 1) a2 = 1 1.2 n( n 1)(n 2) a3 1.2.3 n( n 1)(n 2)(n 3) a4 1.2.3.4

ya podemos intuir la forma que tendr el coeficiente del trmino genrico (ak) y ser de la forma: ak
n(n 1)(n 2)(n 3)(n 4)........[ n (k 1)] 1.2.3.4.......... ..k

esto ltimo se le denomina coeficiente binomial; ya Newton conoca este resultado aunque no lo demostr, apareci en su libro De analysi per aequationes numero terminorun infinitas , escrito en 1669, que no fue publicado hasta 1711; Newton escribi este teorema y de la deduccin, en una carta dirigida a Odenburg pero cuyo destinatario real era Leibniz, el no lo dedujo de la manera expuesta por nosotros, su deduccin esta basada en la idea de Wallis, acerca de interpolaciones o intercalculos, que se generaron apartir de problemas de cuadraturas, y sin el uso del tringulo aritmtico.

2) El Polinomio de Villarreal: Despus de analizar el binomio de Newton, veamos un caso mas general, ya no un binomio, sino que sucede cuando elevamos un polinomio a un exponente cualquiera: es decir: P(x)=a + bx +cx2+dx3+.............+zxn, un polinomio de grado n, con n+1 trminos, se desea obtener la formula para el caso [p(x)]m, m R, procediendo similarmente como en el caso del binomio de Newton ( x y ) n con n R, se tiene: P(x) = a + bx + cx2 + dx3 +............. wxn-1+ zxn, F(x) = [P(x)]m = A + Bx + Cx2 + Dx3 + .........Wxnm-1 + Zxnm F(x) = [P(x)]m , derivando en ambos miembros 2. F (x) = m[P(x)]m-1P(x), multiplicando por P(x) F (x) P(x)=m[P(x)]mP(x), y teniendo en cuenta que F(x) = [P(x)]m Se tiene : F (x) P(x)=mF(x)P(x), Operando la primera parte: Sea el polinomio Y sea tambin Entonces se tiene: F (x) = B + 2Cx + 3Dx2 + 4Ex3 + ........... P(x) = a + bx + cx2 + dx3 + .................... F (x) P(x) = aB + 2aCx + 3aDx2 + 4aEx3 + ......... bBx + 2bCx2 + 3bDx3 + ........ cBx2 + 2cCx3 + ........ dBx3 + ......... ...................... F(x)P(x) = aB + (2aC + bB)x + (3aD + 2bC + cB)x2 + (4aE + 3bD +2cC+dB)x3+ ......... Por otro lado: mF(x) = mA + mBx + mCx2 + mDx3 + .......... P(x) = b + 2cx + 3dx2 + 4ex3 + .................... mF(x)P(x)= mbA + mbBx + mbCx2 + mbDx3 + .... 2mcAx + 2mcBx2 + 2mcCx3+.... 3mdAx2 + 3mdbx3 +.... 4meAx3 + ... ................. multiplicando multiplicando

mF(x)P(x) = mbA + (mbB + 2mcA)x + (mbC + 2mcB +3mdA)x2 + (mbD + 2mcC + 3mdB + 4meA)x3 + .... Ahora empatando resultados: aB + (2aC + bB)x + (3aD + 2bC + cB)x2 + (4aE + 3bD +2cC+dB)x3+ ....= mbA + (mbB + 2mcA)x + (mbC + 2mcB +3mdA)x2 + (mbD + 2mcC + 3mdB + 4meA)x3 + .... Ahora, igualando coeficientes de cada termino algebraico se tiene: Sabiendo que A = anm * aB=mbA * 2aC + bB = mbB + 2mcA
B C b m 1 1 A( ) a 1 m 1 2 b ( ) B 2 2a (

2(m 1) 2 2

* 3aD + 2bC + cB = mbC + 2mcB +3mdA m 1 3 b 2(m 1) 3 cB D ( ) C ( ) 3 3a 3 3a y as sucesivamente. Villarreal 4 lleg a la formula siguiente por recurrencia:

3(m 1) 3 mdA ) 3 a

Sea Q : cualquier coeficiente del polinomio resultante. b i n c 2i n d 3i n w ( m 1)(m 1) n Q Z ( )( ) w( )( ) y ( )( ) .......... .......... .... B( )( ) a n a n a n a n z m( m 1) n A( )( ) A a n

1.

2. 3.

Este tringulo ya se haba usado en China, all por los aos 1303 por Yang Hiu, tambin apareci en el libro del Espejo precioso de Chu Shih-Chieh; Pascal muchos aos despus lo utiliz en problemas de probabilidades y encontr propiedades inditas, all por 1654, este tringulo fue tan relacionado con el, que se le llamo Tringulo de Pascal. Si hablamos en rigor, slo podemos derivar la serie si esta es convergente, y de hecho la suposicin de que es convergente es vlida (se demuestra). Para ordenar un polinomio, se toma en cuenta el exponente de una variable del monomio y as se pasa a ordenar de mayor a menor o viceversa segn la variable escogida. Por ejemplo si se tiene x y
3 2

x2 y3 x2 y3

x 5 y si se le ordena con respecto a x de forma descendente se tiene

x5

x3 y2

4.

Federico Villareal lleg a esta formula all por el ao de 1873 en Lambayeque aunque sus detractores decan que esa frmula ya la haba encontrado Leibniz, lo cierto es que no se tiene ningn documento del sabio alemn acerca de este polinomio; mas bien se tiene sus trabajos para el caso de un trinomio elevado al exponente n , ( x

z) n