Este problema nos lo plantea Domingo en un comentario de este post. Lo he quitado de allí y lo he puesto aparte para no mezclar uno con otro:
Sean
tres números reales no nulos cuya suma sea no nula y tales que
Demostrar que entonces se verifica que
A ver cuál es la demostración más ingeniosa que se nos ocurre.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Vamos a ver,
Por la desigualdad de las medias, tenemos que:
Lo cual implica que:
Por lo tanto, no existen
que cumplan la condición del enunciado.
OK yassin. Tu demostración vale en general para números reales positivos. De hecho tu prueba sirve en general para cualquier cantidad de números positivos.
Sin embargo, el hecho de que la media aritmetica no sea menor que la media armónica no es válido si aparecen números negativos involucrados. Habrá que seguir estudiando qué ocurre en general.
OK, creía que todos los números eran positivos.
si se permite la broma, comentar que tenemos sólo dos meses (y cuatro días) para resolver el ejercicio, ya que pierde validez en año nuevo :)…
La igualdad que se da como dato puede escribirse . Igualando los productos de medios y extremos en esta proporción y operando se llega a que: Para esto que verifique ha de ser cero uno de los dos términos entre corchetes (es fácil ver que en este caso no pueden serlo ambos). Si lo es el primero, . De serlo el segundo, la ecuación de segundo grado da dos soluciones, y . En resumen, dos de los elementos han de ser opuestos entre sí. Dicho esto, el resultado es trivial, ya que 2007 es una potencia impar y por tanto… Lee más »
Efectivamente Pasotaman, la cuestión simplemente consistía en darse cuenta de que la condición inicial implica que
, o
o
(y no las tres simultáneamente). Esto puede hacerse de varias formas y una de ellas es la que has propuesto.
Leyendo el problema se me vino a la mente otro que concia (disculpen por salirme del tema\.)
El ejercicio consiste en lo siguiente, encontrar la suma de…
suma
Por inducción:
.
Tenemos que demostrar lo siguiente:
Para el caso base: n=2 trivial
.
Suponemos cierta la hipótesis para enteros menores o iguales a n y probamos para n+1:

Efectivamente. Es una suma «telescópica»:
$latex (1-\frac{1}{2})+(\frac{1}{2}-\frac{1}{3})+
(\frac{1}{3}-\frac{1}{4})+\ldots+(\frac{1}{n-1}-\frac{1}{n})=
1-\frac{1}{n}=\frac{n-1}{n}$