Iz uvjeta zadatka slijedi da sustav
{y=ax2+b,y=x+x1
ima tri rješenja, odnosno kubna jednadžba
ax3−x2+bx−1=0
ima tri realna rješenja. Označimo ta rješenja s x1,x2,x3. Iz Vieteovih formula slijedi
x1+x2+x3=a1,x1x2+x2x3+x3x1=ab,x1x2x3=a1.
Željena nejednakost 3ab<1 ekvivalentna je s a21>3⋅ab, odnosno
(x1+x2+x3)2>3(x1x2+x2x3+x3x1).
Nije teško pokazati da je ovo ekvivalentno s
(x1−x2)2+(x2−x3)2+(x3−x1)2>0,
a ta nejednakost vrijedi jer su točke (a onda i njihove apscise) međusobno različite.