p tek asal ve (a,p)=1 olsun. ax2+bx+c≡0(modp) çözülebilirdir ⇔b2−4ac ya 0 dır ya da a,p'nin quadratic rezidusudur.
Koklerin (2a)−1(−b±√b2−4ac) oldugunu kullandin mi?
(2a,p)=1 oldugundan a(x−b2a)2≡b24a−c≡b2−4ac4amodp saglanir yani [2a(x−b2a)]2≡(b2−4ac)modp saglanir. 2a(x−b2a)=y ve b2−4ac=k dersek sorgulayacagimiz y2≡kmodp ne zaman saglanir? `Quadratic residue'.