## [Método del Palomar](/es/node/62806) Definición Una técnica de razonamiento combinatorio que particiona objetos en un número finito de clases (casillas) y usa el principio del palomar para forzar coincidencias o establecer cotas, aplicada en geometría para garantizar solapamientos, distancias repetidas o conclusiones de densidad. ## Principio Principio Si se distribuyen más objetos (pájaros) que clases (palomares), al menos una clase contiene múltiples objetos; particiones geométricas del espacio o de configuraciones producen coincidencias forzadas cuando los recuentos superan la capacidad. ## Demostración Demostración Dividir un cuadrado unidad en 9 cuadrados iguales; colocar 10 puntos en el cuadrado fuerza, por el principio del palomar, a que dos puntos estén en el mismo cuadrado pequeño, lo que acota inmediatamente su distancia por la diagonal de ese cuadrado. ## Aplicación incorrecta Aplicación incorrecta Aplicar el método sin asegurar que la partición limita realmente la capacidad (por ejemplo usando regiones solapadas o particiones con ocupación variable) puede dar garantías falsas; del mismo modo, ignorar casos de compartir fronteras puede llevar a un recuento erróneo. ## Consecuencia Consecuencia Proporciona resultados de existencia elementales y cotas cuantitativas (p. ej., proximidad garantizada, medidas repetidas o número mínimo de rasgos coincidentes) que con frecuencia son no constructivos pero suficientes para avanzar en demostraciones o iniciar construcciones. ## Inversión Inversión En lugar de particionar, construir distribuciones explícitas que eviten coincidencias (para un contraejemplo) o usar métodos continuos para mostrar que no existe una cota discreta aplicable; la inversión busca una distribución que respete la capacidad en lugar de deducir la inevitabilidad de colisiones. ## Límite Límite Eficaz cuando existe una partición finita natural o una medida de conteo; no se aplica a entornos continuos no numerables sin introducir una partición discreta o medible, y no indica en qué casilla ocurre la colisión, aparte de su existencia. ## Tensión semántica Tensión semántica Se distingue de los argumentos probabilísticos o basados en densidad: el principio del palomar es puramente de conteo y no probabilístico, mientras que los métodos probabilísticos pueden dar valores esperados o probabilidades de colisión; ambos pueden complementarse pero son conceptualmente distintos. ## Síntesis Síntesis Particionar el dominio de modo que los recuentos obliguen a varios elementos a caer en la misma celda; emplear esa coincidencia forzada para deducir cotas geométricas o declaraciones de existencia comprobando que las particiones están bien definidas y no se solapan.