Como ya tienes una prueba para $W(3,4)$ y dices que has leído el libro de GRS, voy a omitir cualquier discusión sobre cómo funciona realmente la prueba, y sólo me centraré en la parte que dices que te falta, que es la inducción. En realidad se trata de una triple inducción, primero sobre el número de colores $c$ para una longitud de progresión fija $n$ , entonces en la longitud de la progresión $n$
A continuación, para un determinado $(c, n)$ se encuentra por inducción, para cada par $i$ , una estructura que contiene un único "objetivo $^i$ " entero que necesariamente completaría una progresión si es cualquiera de $i$ diferentes colores. Una vez que $i=c$ hemos terminado.
Los casos base son que $W(2, c) = c+1$ y $W(n, 1) = 1$ aún más fácil.
Ahora queremos encontrar un límite para $W(n, c)$ . Podemos suponer $n>2$ , $c>1$ y sabemos que algunos $W(n', c')$ para todos los pares $(n', c') < (n, c)$ lo que significa que, o bien $n'<n$ o ( $n'=n$ y $c'<c$ ).
No he editado lo siguiente con mucho cuidado, y lo he escrito más bien a destiempo, por lo que puede haber muchos errores, sobre todo de bulto. Pero creo que la idea es sólida y está bien documentada. Estaré encantado de recibir comentarios y correcciones.
Considere un bloque $B_1$ de $b_1 = 2W(n-1, c)-1$ elementos; podemos estar seguros de que la primera mitad de este bloque (elementos $1\ldots W(n-1,c)$ ) contiene una longitud $(n-1)$ progresión monocromática de algún color $\chi_1$ . Si la progresión es $x_1, x_2, \ldots x_{n-1}$ entonces $B_1$ también contiene un "elemento objetivo" $2x_{n-1} - x_{n-2}$ . Si este elemento es de color $\chi_1$ hemos terminado, por lo que asumimos que es algún otro color.
Consideremos ahora un superbloque $B_2$ que consiste en $b_2 = 2W(n-1, c^{b_1})-1$ bloques de tamaño $b_1$ . (Tengo $W(n-1, c^{b_1}$ ) por la hipótesis de inducción). Imaginaré que se trata de una secuencia de bloques cada uno de los cuales está coloreado con uno de $c^{b_1}$ colores. Puedo suponer que la primera mitad de esta secuencia (elementos $1\ldots W(n-1, c^{b_1})$ ) contiene una progresión de $n-1$ bloques de idéntico color. Cada uno de ellos contiene un "elemento de destino" que por el párrafo anterior no puede ser coloreado con color $\chi_1$ ; dicen que son todo color $\chi_2$ . Por la construcción es GRS, los propios elementos objetivo forman una progresión aritmética monocromática de longitud $n-1$ y apuntan a un "elemento objetivo²" que no puede ser de color $\chi_1$ o $\chi_2$ . Entonces digamos que el elemento objetivo² es el color $\chi_3$ .
Ahora vamos a saltar al paso de la inducción. Tengo un super $^{d-1}$ -bloque compuesto por $b_{d+1} = 2W(n-1, c^{b_d})-1$ bloques de tamaño $b_d$ . Puedo suponer que la primera mitad de esta secuencia (elementos $1\ldots W(n-1, c^{b_d})$ ) contiene una progresión de $n-1$ bloques de idéntico color. Cada uno de ellos contiene un "objetivo $^{d-1}$ elemento" que no puede ser de color $\chi_1\ldots\chi_{d-1}$ y el $n-1$ objetivo $^{d-1}$ los elementos forman una progresión aritmética monocromática de algún color, digamos $\chi_d$ cuyo siguiente elemento se convierte, por tanto, en un "objetivo $^d$ elemento" que no puede ser de color $\chi_1\ldots\chi_d$ .
Basta con aplicar este paso de inducción $c$ veces, por lo que el bloque final es el super $^{c-1}$ -bloque compuesto por $b_c = 2W(n-1, c^{b_{c-1}})-1$ super $^{c-2}$ bloques de tamaño $b_{c-1}$
Esto es suficiente para demostrar que $W(n, c)$ existe realmente. Pero nos gustaría saber qué tamaño tiene. Tenemos $b_{d} = 2W(n-1, c^{b_{d-1}})-1$ y $W(n, c) = \prod_1^c{b_i}$ que da una recurrencia para un límite en el tamaño de $W$ . Tengo que volver al trabajo ahora, así que lo dejaré para ti.
Espero que esto contenga muchos errores, por lo que lo he convertido en un Wiki comunitario, e invito alegremente a todos a editar la respuesta sin consultarme.
