Estoy trabajando en algo y me he encontrado con el siguiente problema de teoría de números:
Sea $p$ sea un primo al menos $5$ y $\ell^{2}+\ell k+k^{2}\equiv3$ (mod $p$ ). Donde $\ell$ , $k$ son soluciones de la ecuación lineal diofántica
$-3\ell+4k=12$
¿Es cierto que $p\equiv\pm1$ (mod $12$ )?
Siempre es cierto si $\ell$ o $k$ est $0$ 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 $\ell$ , $k$ son soluciones de
$a\ell+bk=2c$
Dónde $a,b,c$ son números enteros que satisfacen la ecuación
$a^{2}+b^{2}-ab=1+c^{2}$ (por ejemplo $(a,b,c)=(-3,4,6)$ es una solución)
Hice algunas pruebas numéricas para soluciones distintas de $(-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.