Kolaylık olması için önce x2+Bx+C=0 denkleminin köklerini bulalım.
Daha sonra ax2+bx+c=0 denkleminin köklerini bulmak zor olmayacaktır.
x2+Bx+C=0 denkleminin kökleri x1 ve x2 olsun.
x1=u+v, x2=u−v olacak şekilde (tek) bir (u,v) ikilisi vardır. Onları bulacağız.
(u+v)2+B(u+v)+C=0 ve (u−v)2+B(u−v)+C=0 olur.
Bunları açarsak:
(u2+v2)+B(u+v)+2uv+C=0 ve (u2+v2)+B(u−v)−2uv+C=0 elde ederiz. Taraf tarafa çıkarırsak:
2Bv+4uv=0 buluruz. Buradan
1) v=0 veya
2) u=−B2
olmalıdır.
Önce v=0 durumunu inceleyelim.
Bu durumda x1=x2 olacaktır, yani tek bir gerçel kök olacaktır.
Bu da her z∈R∖{0} için, x1+z=u+z nin denklemin kökü olmaması, yani:
z∈R∖{0} için (u+z)2+B(u+z)+C≠0 olması demektir. Bunu açınca:
z∈R∖{0} için (u2+Bu+C)+z(z+B+2u)≠0 olur. u2+Bu+C=0 olduğu için:
z∈R∖{0} için z(z+B+2u)≠0 olmalıdır.
Ama z=−B−2u için bu çarpım 0 dır. Öyleyse −B−2u=0 yani yine u=−B2 elde edilir.
Öyleyse, mutlaka u=−B2 olmalıdır.
Bunu (denklemlerden birinde) yerine yazınca:
B24+v2−B22+Bv−Bv+C=0 dan v2=B2−4C4, dolayısıyla v=±√B2−4C2 elde edilir.
Bu da {x1,x2}={−B2+√B2−4C2,−B2−√B2−4C2} olması demektir.
Ek: Tüm bu işlemler, yalnızca R için değil, karakteristiği 2 olmayan tüm cisimlerde geçerlidir.