次の問題お願いします。

記号(a/p)を平方剰余記号とする。
pは２より大きい素数とおく。また、
a*={x∈Z|x≡a (mod p) }
とすると、
Fp=Z/pZ において、方程式x^2+a*x+b*=0*の解について、
相異なる２つの解を持つための必要十分条件は
((a^2-4b)/p) = 1　となることを示せ。