# How to solve congruence $x^y = a \pmod p$?

I'm having trouble solving this congruence: $$x^{114} \equiv 13 \pmod {29}.$$ I thought that it made sense to try to solve it using this idea: "Suppose you want to solve the congruence $x^y \equiv a \pmod p$ (we will assume for the moment that $p$ is prime). Raise both sides to the power $z$ to obtain $x^{yz} \equiv a^z \pmod p$. Now if we can ﬁnd a $z$ such that $yz \equiv 1 \pmod {p − 1}$ then the solution of the congruence will be $x \equiv a^z \pmod p$."

So I set $114 z \equiv 1 \pmod {28}$. However, $\gcd(114, 28) = 2$ and I can't solve for the inverse using the Euclidean algorithm. Does that statement that I quoted even come in handy anywhere?

Next I simplified $x^{114}$ to $x^2$ by Fermat's theorem.

I know that $x^2 \equiv 13 \pmod {29}$ has a solution because of the Legendre symbol: $$\left(\frac{13}{29}\right) \equiv 13^{14} \pmod {29} = 1$$

The only way I have learned to solve for square roots is when $p \equiv 3 \pmod 4$. Since this isn't the case, I'm at a loss as to how to find the square root. Any tips or hints?

-
Tonelli-Shanks or Cipolla algorithm in general. Here one just knows that $10^2 = 100 \equiv 13 \pmod{29}$, so $x \equiv \pm10 \pmod{29}$. –  Daniel Fischer Oct 7 '13 at 20:46
What does that $=1$ mean near the end? –  dfeuer Oct 7 '13 at 20:52
It's the Legendre symbol. If $(\frac ap) = +1$, then $x^2 = a (mod p)$ has a solution, and does not have a solution if = -1 –  Amber Oct 7 '13 at 20:55
The notation looks very strange. If you mean $\left(\frac a p\right)=1$, why is that all mixed up with a congruence? –  dfeuer Oct 7 '13 at 20:58
Once you have found a square root $x$ of $13$, you can use your idea to find the unique $y$ such that $y^{57}\equiv x\pmod{29}$. –  André Nicolas Oct 7 '13 at 21:00