Considere la posibilidad de un número finito de $m\times m$ directorio donde cada intersección tiene una piedra, o no. Si hay al menos $2m$ piedras en este foro, luego me reclamo que existan tres piedras que están dispuestas en un eje alineado a la derecha, triángulo.
Para probar esto, el número de las piedras de$1$$2m$. Para cada una de las $1\le k \le 2m$, vamos a $f(k)$ el número de filas que se extendió por las piedras numeradas $1$$k$, más el número de columnas que ocupa estas piedras. Tenga en cuenta que $f(1)=2$, $f(2m)\le 2m$, y $f(k)$ es un débil aumento de la función. No puede ser estrictamente creciente; si fuera estrictamente creciente, tendría $f(2m)\ge 2m-1+f(1)=2m+1$, contradiciendo $f(2m)\le 2m$. Esto significa que debe haber algún número $k$ que $f(k)=f(k-1)$. Pero esto significa que la piedra número $k$ es la misma fila anterior de piedra, y en la misma columna como una previa de piedra, de modo que estas tres piedras que forman un triángulo rectángulo.
En particular, si una $m\times m$ directorio está lleno de piedras en $n$ colores, a continuación, algunos de color aparecerá en al menos $m^2/n$ de las piedras, así que si $m^2/n\ge 2m$, habrá un triángulo rectángulo de piedras de ese color. Por lo tanto, para todos los $n$, un infinito de colores de la junta tendrá un monocromático para colorear, y para encontrar uno, sólo hay que buscar un $2n\times 2n$ sub-plaza de las piedras.
Este problema parece caer bajo el tema de la teoría de Ramsey.
Como una nota del lado, también se puede demostrar que un $m\times m$ junta con sólo $2m-1$ piedras contiene un eje alineado a la derecha, triángulo. Esta es ajustado, ya que se puede colocar $2m-2$ piedras sin formando un triángulo.