[escepticos] Re: [escepticos] Esa espectacular demostración de Ilu

["Goyo" <goyodiaz@...>]

----- Original Message -----
From: "planetario" <planetario en cin.es>
To: <escepticos en ccdis.dis.ulpgc.es>
Sent: Wednesday, May 23, 2001 12:41 AM
Subject: [escepticos] Re: [escepticos] Re: [escepticos] Esa espectacular
demostración de Ilu


> Ya que estábamos inductivos... (bueno, Akin se nos puso inductivo, lo vio
> para 1, 2 y comentó que
> suponemos que para X es cierto:
>  [ X (1+2+... +(X+1))]  > [ (X+1) (1+2+...+(X-1)) ]
> como transcribió adecuadamnte.

...........................

> Obviamente, será también cierto que:
> [(X+1)(1+2+...+(X+1)+(X+2))] > (X+2)(1+2+....+X)
>
> Q.E.D.
>
> (En cualquier caso, demostrar esto por inducción es un peñazo :-)))

Muy bien, Javier. Habrá que ponerte a ti la buena nota que Illu reclamaba
pero no se ha ganado, aunque creo que has cometido un pequeño error: los
ejercicios que se proponen parecen ser más bien con parejas del tipo:
X (1+2+... +(X+1))
(X+1) (1+2+...+(X-1)+X)
Y sí, da la sensación de que la primera es siempre mayor que la segunda, en
cuyo caso el prodedimiento que aplica sería trabajar en balde...