Vamos a tomar un grupo de, digamos
hombres al azar, y vamos a proceder por inducción sobre
.Si
, está claro que ese hombre es igual a sí mismo, por lo que el caso inicial está demostrado.Supongamos que si elegimos un grupo al azar de
hombres, entonces son todos iguales (esta es nuestra hipótesis de inducción), y vamos a demostrar que esta misma propiedad también es cierta para un grupo cualquiera de
hombres. En efecto, si tomamos
hombres, me fijo en uno de ellos en concreto, el que más ocraje nos dé, y lo aparto (momentáneamente). Entonces tendré un grupo
de
hombres que, por hipótesis inducción, deben ser TODOS iguales. Ahora, vuelvo a admitir al hombre marginado de antes, pero me fijo en otro distinto... y lo aparto también. Ahora tendré un grupo
, distinto al de antes pero también de
hombres, en el que está el que faltaba en
. Por hipótesis de inducción, estos
hombres de
también deben ser iguales.En resumen, los
hombres de
(todos menos 1) son iguales, y los
hombres de
(todos menos otro diferente al de antes) son todos iguales. Entonces, como seguro que habrá muchos hombres que estén, a la vez, en
y en
, deben ser los
hombres iguales.Qué, cómo te has quedado... pues hala, ya puedes ir pensando que, si todos los hombres somos iguales, entonces ¿qué diferencia puede haber entre George Clooney, Bill Gates, Nacho Vidal... y tú? ¡¡¡PUES NINGUNA!!!!
Que lo disfrutes.
Tito Eliatron Dixit
Si te ha gustado esta entrada, puedes dejar un comentario directamente en Tito Eliatron Dixit.
