Estoy trabajando en algo y me he encontrado con el siguiente problema de teoría de números:
Sea pp sea un primo al menos 55 y ℓ2+ℓk+k2≡3ℓ2+ℓk+k2≡3 (mod pp ). Donde ℓℓ , kk son soluciones de la ecuación lineal diofántica
−3ℓ+4k=12−3ℓ+4k=12
¿Es cierto que p≡±1p≡±1 (mod 1212 )?
Siempre es cierto si ℓℓ o kk est 00 que no es más que reciprocidad cuadrática. Hice algunas pruebas numéricas y encontrar que es cierto en muchos casos.
En términos más generales, me interesa el caso en que ℓℓ , kk son soluciones de
aℓ+bk=2caℓ+bk=2c
Dónde a,b,ca,b,c son números enteros que satisfacen la ecuación
a2+b2−ab=1+c2a2+b2−ab=1+c2 (por ejemplo (a,b,c)=(−3,4,6)(a,b,c)=(−3,4,6) es una solución)
Hice algunas pruebas numéricas para soluciones distintas de (−3,4,6)(−3,4,6) y encuentro que la afirmación es cierta también en esos casos. Realmente no he podido encontrar en la literatura donde se estudie este tipo de problema, ni soy lo suficientemente sólido en teoría de números como para intentarlo yo mismo. Así que si algún experto me puede ofrecer alguna ayuda, se lo agradeceré mucho.