Supongamos que $r$ es tal que ambos $r,r+1$ no son residuos cuadráticos. Supongamos también que $s$ es tal que ambos $s,s+1$ son residuos cuadráticos.
Ahora bien, si $a$ es un residuo cuadrático, podemos escribir $a=b+c$ donde $b=(r+1)a$ y $c=-ra$ ; si $a$ es un no-residuo, escribe $a=b+c$ , donde $b=(s+1)a$ y $c=-sa$ .
Utilizamos el hecho de que $-1$ es un cuadrado para los primos que son $1 \pmod 4$ y que la reciprocidad es multiplicativa.
También tales $r,s$ existen, porque de lo contrario eso significaría que los números hasta $p$ son alternativamente residuos y no residuos; esto no puede ocurrir porque hay cuadrados pares e Impares, por ejemplo: $1$ y $4$ .
0 votos
Me confunde la palabra "nuevo".
0 votos
Podrías utilizar el teorema de Cauchy-Davenport: " es.wikipedia.org/wiki/ ", pero probablemente haya una forma más sencilla.
0 votos
¿Cómo utilizar este teorema?
0 votos
@Aravind: ¿Cómo usar Cauchy-Davenport en este caso?
0 votos
Bueno, dejemos que $A=B$ sea el conjunto de no-residuos cuadráticos. Entonces Cauchy-Davenport dice que $|A+B| \geq 2p-2$ por lo que al menos un cuadrado no nulo y al menos un no cuadrado no nulo pueden escribirse como $b+c$ . Esto es suficiente: si $a=b+c$ donde $a$ es un cuadrado, entonces para cualquier otro cuadrado $A$ tenemos la representación $A=\dfrac{b}{aA}+\dfrac{c}{aA}$ un argumento similar funciona también para los no cuadrados.
2 votos
La palabra "Nuevo" debe ser eliminada. "Residuo cuadrático" es el uso estándar.
0 votos
Otra propiedad de los primos mayores que 5 es que cualquier residuo no nulo mod p es la suma de dos residuos cuadráticos no nulos (mod p).