Finding quadratic residues without Legendre symbols

Hint: If $a^5 = 1$ then $a^4 = a^{-1}$ and $(a+a^4)^2 + (a+a^4) - 1 = a^{-2}(a^4 + a^3 + a^2 + a + 1)$.

Also if $x^2 + x - 1 = 0$ in $\mathbb Z_p$, then $4(x^2 + x - 1) = (2x+1)^2 - 5 = 0$.


A substantial part of your question seems to be “how do I intuitively arrive at an expression which yields the desired square root?”. I want to address this first.

In both cases the question is structured as “show there exists a solution to this quadratic, hence $d$ is a square modulo $p$”. In the first question the quadratic is $x^2+x+1$, and in the second question it’s $x^2+x-1$. Notice that in each case the desired square root is exactly the discriminant $b^2 - 4ac$ from the quadratic formula.

Intuitively, the idea is that if a ring contains solutions to the quadratic then the square root in the quadratic formula “should” work in that ring. (This isn’t universally true: when a cubic polynomial has all real roots, the cubic formula still involves taking square roots of negative numbers.). The way to expose this explicitly is just to complete the square:

$$x^2 + x + 1 = 0, \\ 4x^2 + 4x + 4 = 0, \\ 4x^2 + 4x + 1 = -3, \\ (2x+1)^2 = -3.$$

As for how to guess at the element which makes it work, in both cases we know that $\mathbb Z_p$ contains a primitive $r$th root of unity for $r=3$ and $r=5$ respectively. In some sense that’s about all the specialized knowledge we possess. I think the author is hoping/expecting the reader to first try plugging in that root of unity into $a$, since there’s no simpler value to choose from, and the questions are designed to make this work on that first try.

For the second question it may have resulted in a rather intimidating-looking expression hiding inside the quadratic, but presumably the intent was for the first question to go very smoothly, giving the reader the hope that the exact same strategy will work for the second.