El Principio del Palomar
Un teorema muy famoso en matemáticas es el Principio del Palomar . Su enunciado puede reducirse a términos comprensibles por todo el mundo y parece muy intuitivo y lógico. Además proporciona maravillosos resultados sorprendentes para los ojos de cualquiera que no sepa el razonamiento que hay detrás. Pues bien, el teorema viene a decir algo así como: Si se distribuyen $n$ palomas en $m$ palomares y $n>m$ entonces hay un palomar que alberga dos o más palomas. Es lógico, ¿verdad?, la peor situación es aquella en la que en cada palomar haya una paloma, pero aún así al haber más palomas que palomares tiene que sobrar al menos una paloma, y al meterla en algún otro palomar, al ya albergar a otra paloma, tendrá ahora dos. Parece que es comprensible. Ahora veamos brevemente el enunciado en términos matemáticos y su demostración. $\text{Teorema (Principio del Palomar).}$ Sean $X$ e $Y$ dos conjuntos finitos con $|X|>|Y|.$ Entonces no existe ninguna función inyectiva de $X$ en $Y....