La primera ecuación es más fácil. La solución se basa en el conocimiento de que $G=\mathbb{Z}/p\mathbb{Z}^*$ es un grupo cíclico de orden $p-1$ . Sea $d=\gcd(n,p-1)$ . En un grupo cíclico de orden $p-1$ el número de soluciones de $x^n=1$ es igual a $d$ . Podemos encontrar estos $d$ soluciones, al menos en teoría, de la siguiente manera. Sea $g$ sea un elemento primitivo es decir, un generador de $G$ Así que $$G=\{g^0=1,g^1,g^2,\ldots,g^{p-2}\}.$$ La solución se basa en que $g^j\equiv 1$ si y sólo si $(p-1)\mid j$ . Así que $x=g^j$ es una solución de la ecuación $x^n=1$ si y sólo si $(p-1)\mid jn$ . Aquí siempre $d\mid n$ por lo que esto se cumple si y sólo si $(p-1)/d \mid j$ . Así, todas las soluciones distintas son $$ g^{j(p-1)/d},\ \text{for}\ j=0,1,\ldots,d-1. $$
La otra ecuación es un poco más complicada. Necesitamos la parte que $-1\equiv g^{(p-1)/2}$ . Esto se deduce de la parte anterior en el sentido de que las soluciones de $x^2=1$ son $x=\pm1$ . Por lo tanto, $x=g^j$ es una solución de $x^n=-1$ si y sólo si $$ nj\equiv (p-1)/2 \pmod{p-1}. $$ Aquí $nj$ es siempre divisible por $d$ que también es un factor del módulo $(p-1)$ . Así que si $d$ no es un factor de $(p-1)/2$ no habrá soluciones. Pero si $d\mid(p-1)/2$ entonces $j=j_0=(p-1)/2d$ es una solución, y, como en el caso de la primera ecuación obtenemos las otras $j_k$ a partir de la fórmula $j_k=j_0+kd$ , $k=1,2,\ldots, d-1.$