Para cualquier x> 0, elija [math] a> \ frac {x} {2} [/ math] para que [math] \ left | \ frac {x} {a} -1 \ right | <1 [/ math ] Reescribe [matemáticas] x ^ \ frac {1} {2} = (a + xa) ^ \ frac {1} {2} = \ sqrt {a} \ left (1+ \ frac {x} {a} -1 \ right) ^ \ frac {1} {2}. [/ math] Utilizamos la expansión de la serie binomial
[matemáticas] \ displaystyle (1 + z) ^ \ alpha = 1 + \ sum_ {k = 1} ^ \ infty \ frac {\ alpha (\ alpha-1) (\ alpha-2) \ dots (\ alpha-k +1)} {k!} Z ^ k [/ matemáticas]
siempre que [math] | z | <1 [/ math] para escribir (usando 0.5 en aras de la notación compacta)
[matemáticas] \ displaystyle x ^ \ frac {1} {2} = \ sqrt {a} + \ sqrt {a} \ sum_ {k = 1} ^ \ infty \ frac {0.5 (-0.5) (- 1.5) \ puntos (1.5-k)} {k!} \ left (\ frac {x} {a} -1 \ right) ^ k [/ math], que nuevamente converge cuando [math] 0 <x <2a. [/ math ]
- ¿Qué impacto tuvo el último teorema de Fermat en Andrew Wiles?
- ¿Qué nivel de conocimiento matemático se requiere para comprender completamente la prueba de Andrew Wiles del último teorema de Fermats?
- ¿Es consistente la teoría de números?
- ¿Cuáles son algunos teoremas útiles relacionados con la teoría de números para la programación competitiva?
- ¿Para qué sirve el triángulo de Pascal? ¿Qué hace?
Ahora, si el hecho de que todavía tenemos una raíz cuadrada en esa expresión, a saber, [math] \ sqrt {a}, [/ math] te está molestando, siempre podemos elegir [math] a [/ math] para que sea perfecto cuadrado (diga [matemáticas] m ^ 2) [/ matemáticas] para eliminar ese problema dando
[matemáticas] \ displaystyle x ^ \ frac {1} {2} = m + m \ sum_ {k = 1} ^ \ infty \ frac {0.5 (-0.5) (- 1.5) \ dots (1.5-k)} { k!} \ left (\ frac {x} {m ^ 2} -1 \ right) ^ k [/ math]
Podemos reescribir esto para que se vea más como una serie de Taylor usando la notación de coeficiente binomial generalizado:
[matemáticas] \ displaystyle x ^ \ frac {1} {2} = m \ sum_ {k = 0} ^ \ infty {0.5 \ elegir k} \ left (\ frac {x} {m ^ 2} -1 \ right ) ^ k [/ matemáticas]
[matemáticas] \ displaystyle = m \ sum_ {k = 0} ^ \ infty {0.5 \ elegir k} \ frac {1} {m ^ {2k}} \ left (xm ^ 2 \ right) ^ k [/ math]
[matemáticas] \ displaystyle = \ sum_ {k = 0} ^ \ infty {0.5 \ elegir k} \ frac {1} {m ^ {2k-1}} \ left (xm ^ 2 \ right) ^ k [/ math ]
que tiene un radio de convergencia de [matemáticas] m ^ 2. [/ matemáticas]