¿Cómo se puede mostrar que [math] 1 [/ math] – [math] \ frac {1} {2} [/ math] + [math] \ frac {1} {3} [/ math] – [math] \ frac {1} {4} [/ math] + [math] \ frac {1} {5} [/ math] – [math] \ frac {1} {6} [/ math] +… + [math] \ frac {1} {2013} \ frac {1} {2014} [/ math] = [math] \ frac {1} {1008} [/ math] + [math] \ frac {1} {1009} [/ math ] + [math] \ frac {1} {1010} [/ math] +… + [math] \ frac {1} {2014} [/ math]?

George, gracias por A2A. Hay un método absolutamente banal de cómo mostrar este tipo de cosas llamadas inducción matemática.

Solo podemos mostrar:

[math] \ displaystyle 1- \ frac {1} {2} + \ frac {1} {3} – \ frac {1} {4} + \ ldots + \ frac {1} {2n-1} – \ frac {1} {2n} = \ frac {1} {n + 1} + \ frac {1} {n + 2} + \ ldots + \ frac {1} {2n} [/ math]

Para [math] n = 1 [/ math] esto es cierto ya que [math] 1 – \ frac {1} {2} = \ frac {1} {2}. [/mates]

Supongamos que esto es cierto para [math] n \ leq k [/ math].

Lo mostramos para [math] n = k + 1 [/ math].

Observe cómo LHS y RHS cambian a medida que pasamos de [math] k [/ math] a [math] k + 1 [/ math].

Deberíamos agregar [math] \ displaystyle 1- \ frac {1} {2} + \ frac {1} {3} – \ frac {1} {4} + \ ldots + \ frac {1} {2n-1} – \ frac {1} {2n} = \ frac {1} {2 (k + 1) -1} – \ frac {1} {2 (k + 1)} = \ frac {1} {2k + 1} – \ frac {1} {2k + 2} [/ math]

a la LHS.

Para obtener el RHS para [math] n = k + 1 [/ math] debemos agregar [math] \ frac {1} {2k + 1} [/ math] y [math] \ frac {1} {2k + 2 } [/ math] y restar [math] \ frac {1} {k + 1} [/ math], es decir

[math] \ displaystyle 1- \ frac {1} {2} + \ frac {1} {3} – \ frac {1} {4} + \ ldots + \ frac {1} {2n-1} – \ frac {1} {2n} = \ frac {1} {2k + 1} + \ frac {1} {2k + 2} – \ frac {1} {k + 1} = \ frac {1} {2k + 1} – \ frac {1} {2k + 2} [/ math] [math] [/ math]

Así, en cada paso de inducción, LHS y RHS cambian por el mismo valor.

Así que hemos terminado.

Ahora elija [math] n = 1007 [/ math] y obtenga la declaración requerida.

Actualización : Por supuesto, uno puede verlo directamente así como sugerido por otros.

Observe que [math] \ displaystyle 1- \ frac {1} {2} + \ frac {1} {3} – \ frac {1} {4} + \ ldots + \ frac {1} {2n-1} – \ frac {1} {2n} = \ frac {1} {n + 1} + \ frac {1} {n + 2} + \ ldots + \ frac {1} {2n} [/ math] es la diferencia entre los primeros términos [math] 2n [/ math] y los primeros [math] n [/ math] de la serie armónica, es decir

[math] \ displaystyle 1- \ frac {1} {2} + \ frac {1} {3} – \ frac {1} {4} + \ ldots + \ frac {1} {2n-1} – \ frac {1} {2n} = \ frac {1} {n + 1} + \ frac {1} {n + 2} + \ ldots + \ frac {1} {2n} = \ sum_ {i = 1} ^ { 2n} \ frac {1} {i} – \ sum_ {i = 1} ^ {n} \ frac {1} {i}. [/mates]

Escritura

[math] \ displaystyle 1+ \ frac {1} {2} + \ frac {1} {3} + \ frac {1} {4} + \ ldots + \ frac {1} {2n-1} + \ frac {1} {2n} = \ sum_ {i = 1} ^ {2n} \ frac {1} {i} = \ sum_ {i = 1} ^ {n} \ frac {1} {2i-1} + \ sum_ {i = 1} ^ {n} \ frac {1} {2i}. [/ math]

y

[math] \ displaystyle 1- \ frac {1} {2} + \ frac {1} {3} – \ frac {1} {4} + \ ldots + \ frac {1} {2n-1} – \ frac {1} {2n} = \ sum_ {i = 1} ^ {n} \ frac {1} {i} -2 \ sum_ {i = 1} ^ {n} \ frac {1} {2i}. [/ matemáticas] [matemáticas] [/ matemáticas]

Obtienes la declaración requerida de inmediato.

Se puede probar rápidamente de la siguiente manera:
[math] 1- \ frac {1} {2} + \ frac {1} {3} – \ ldots + \ frac {1} {2013} – \ frac {1} {2014} [/ math]
[math] = \ left (1+ \ frac {1} {2} + \ frac {1} {3} + \ ldots + \ frac {1} {2013} + \ frac {1} {2014} \ right) [ /mates]
[math] -2 \ left (\ frac {1} {2} + \ frac {1} {4} + \ frac {1} {6} + \ ldots + \ frac {1} {2014} \ right) [/ mates]
[math] = \ left (1+ \ frac {1} {2} + \ frac {1} {3} + \ ldots + \ frac {1} {2013} + \ frac {1} {2014} \ right) [ /mates]
[math] – \ left (1+ \ frac {1} {2} + \ frac {1} {3} + \ ldots + \ frac {1} {1007} ​​\ right) [/ math]
[math] = \ frac {1} {1008} + \ frac {1} {1009} + \ ldots + \ frac {1} {2013} + \ frac {1} {2014} [/ math]

Sea x = 1-1 / 2 + 1 / 3-1 / 4 + 1 / 5-1 / 6 + ……… + 1 / 2013-1 / 2014
Al sumar y restar los términos negativos solamente,
x = 1 + 1/2 + 1/3 + 1/4 + ………… + 1/2013 + 1 / 2014-2 (1/2 + 1/4 + 1/6 + …… + 1/2012 + 1/2014)
Por lo tanto,
x = 1 + 1/2 + 1/3 + 1/4 + ……… .. + 1/1006 + 1/1007 + 1/1008 + …………. + 1/2013 + 1 / 2014-1- 1 / 2-1 / 3-1 / 4- …………… -1 / 1006-1 / 1007
Cancelando términos negativos con sus contrapartes positivas,
x = 1/1008 + 1/1009 + 1/1010 + …………… + 1/2013 + 1/2014

Espero que la solución sea autoexplicativa. 🙂

Vamos a tratar de hacer que ambos lados sean iguales. Siempre, una opción clara es hacer que sean iguales a la suma total (1 + 1/2 + 1/3 … 1/2014). Debido a que los problemas de este tipo suelen encuadrarse comenzando con esta secuencia (así es como los encuadraría de todos modos).

1. Separar + ve y -ve términos:

(1 + 1/3 + 1/5…. 1/2013) – 1/2 (1 + 1/2 + 1/3… 1/1007) = 1/1008 +… 1/2014

2. Ahora agregando los términos sobrantes (de la suma total) de RHS en ambos lados.

LHS: (1 + 1/3 + 1/5…. 1/2013) + – 1/2 (1 + 1/2 + 1/3… 1/1007) + (1 + 1/2 + 1/3… 1/1007)

=> (1 + 1/3 + 1/5…. 1/2013) + 1/2 (1 + 1/2 + 1/3… 1/1007)

=> (1 + 1/2 + 1/3…. 1/2014)

RHS: (1 + 1/2 + 1/3… 1/1007) + (1/1008 +… 1/2014)

=> (1 + 1/2 + 1/3…. 1/2014)

LHS = RHS

Siempre puedes intentar observar usando secuencias más pequeñas para facilitar las cosas.

Vamos a tratar de hacer que ambos lados sean iguales. Siempre, una opción clara es hacer que sean iguales a la suma total (1 + 1/2 + 1/3 … 1/2014). Debido a que los problemas de este tipo suelen encuadrarse comenzando con esta secuencia (así es como los encuadraría de todos modos).

1. Separar + ve y -ve términos:

(1 + 1/3 + 1/5…. 1/2013) – 1/2 (1 + 1/2 + 1/3… 1/1007) = 1/1008 +… 1/2014

2. Ahora agregando los términos sobrantes (de la suma total) de RHS en ambos lados.

LHS: (1 + 1/3 + 1/5…. 1/2013) + – 1/2 (1 + 1/2 + 1/3… 1/1007) + (1 + 1/2 + 1/3… 1/1007)
=> (1 + 1/3 + 1/5…. 1/2013) + 1/2 (1 + 1/2 + 1/3… 1/1007)
=> (1 + 1/2 + 1/3…. 1/2014)

RHS: (1 + 1/2 + 1/3… 1/1007) + (1/1008 +… 1/2014)
=> (1 + 1/2 + 1/3…. 1/2014)

LHS = RHS

Siempre puedes intentar observar usando secuencias más pequeñas para facilitar las cosas.

[math] \ frac {1} {p} = 2 \ frac {1} {2p} \ implica \ sum \ limits_ {p = 1} ^ {1007} ​​\ frac {1} {p} = 2 \ sum \ limits_ {p = 1} ^ {1007} ​​\ frac {1} {2p} [/ math]

Resta [math] \ sum \ limits_ {p = 1} ^ {2014} 1 / p [/ math] a cada lado:

[math] \ sum \ limits_ {p = 1} ^ {2014} \ frac {1} {p} – \ sum \ limits_ {p = 1} ^ {1007} ​​\ frac {1} {p} = \ sum \ limits_ {p = 1} ^ {2014} \ frac {1} {p} – 2 \ sum \ limits_ {p = 1} ^ {1007} ​​\ frac {1} {2p} [/ math]

A la izquierda, la primera mitad de la secuencia desaparece. A la derecha, restar dos veces cada término de número par lo niega.

[math] \ sum \ limits_ {p = 1008} ^ {2014} \ frac {1} {p} = \ sum \ limits_ {p = 1, impar} ^ {2013} \ frac {1} {p} – \ sum \ limits_ {p = 2, even} ^ {2014} \ frac {1} {p} [/ math]

[math] \ sum \ limits_ {p = 1008} ^ {2014} \ frac {1} {p} = \ sum \ limits_ {p = 1} ^ {2014} \ frac {-1 ^ {p + 1}} {p} [/ math]

Para el supuesto inductivo, simplemente comience con la ecuación que ha dado y suponga que es verdadera hasta n. Luego agregue [math] 1 / (2n + 1) -1 / (2n + 2) [/ math] a ambos lados. En el lado derecho, tenemos una serie que comienza con [math] 1 / (n + 1) [/ math] y termina con [math] -1 / (2n + 2) [/ math]; agregue esos dos elementos juntos y muévalos al final y tendrá [math] + 1 / (2n + 2) [/ math].

Para resolver la pregunta anterior, es necesario estudiar aritmética, geometría, etc., series de matemáticas.