Scadem 4ab in ambii membri ai relatie [tex] a^{2} b^{2} +4= a^{2} +3ab[/tex].
Astfel, in membrul stang vom avea: [tex] a^{2}b^{2} -4ab+4= (ab-2)^{2} [/tex]; iar in membrul drept vom avea: [tex] a^{2} +3ab-4ab= a^{2} -ab[/tex].
"Asambland", obtinem: [tex] (ab-2)^{2} = a^{2}-ab [/tex] (*).
Deoarece [tex] x^{2} [/tex]≥0 (oricare ar fi x∈R) => [tex](ab-2)^{2} [/tex]≥0, si tinand cont de relatia (*), rezulta [tex] a^{2} -ab \geq 0[/tex] (astfel s-a obtinut relatia (1).
Pentru obtinerea relatiilor (2) si (3) s-a procedat in mod analog.