En lo que sigue, dejemos que $(\frac{a}{p})$ denotan el Símbolo de Legendre . Entonces
Demostrar que $$\sum _{a=1}^{p-2} \left(\frac{a(a+1)}{p}\right)=-1$$ para una prima impar $p$ .
Estaba pensando en factorizar $a^2$ pero
Demostrar que $$\sum _{a=1}^{(p-1)/2} \left(\frac{a}{p}\right)=0$$ para un primer $p \equiv 1 \pmod 4$ .
0 votos
¿Son residuos cuadráticos?
0 votos
Sí son residuos cuadráticos @BeniBogosel
0 votos
Sugerencia: Deja que $a^\ast$ sea la inversa de $a$ . Entonces $a(a+1)\equiv a(a+aa^\ast)\pmod{p}$ Así que $(a(a+1)/p)=(a^2((1+a^\ast)/p)=((1+a^\ast)/p)$ .
0 votos
Parece interesante ¿puedes ser más explícito @AndréNicolas ¿Cómo se abordan estos?
3 votos
Ya hay una respuesta a la primera pregunta, en el lado de las pistas, pero mi respuesta sería sólo una expansión, así que prefiero omitirla. Para la segunda, tenemos que utilizar el hecho de que el primo es de la forma $4k+1$ y por lo tanto $-1$ es un QR. Así, para cualquier $a$ con $1\le a\le \frac{p-1}{2}$ tenemos $(a/p)=((p-a))/p)$ . Así, la suma de los símbolos de Legendre de $1$ a $p-1$ es el doble de la suma de los símbolos de Legendre de $1$ a $\frac{p-1}{2}$ . Pero la suma de los símbolos de Legendre de $1$ a $p-1$ es $0$ (esa fue la pista que se dio).
0 votos
Puede encontrar su primera pregunta aquí: math.stackexchange.com/questions/333704/ (y en otros posts enlazados a ese).
0 votos
Por favor, publique una sola pregunta en un solo mensaje. Se desaconseja publicar varias preguntas en un mismo mensaje y dichas preguntas pueden quedar en suspenso, véase meta .