wyrażenie po lewej stronie nierówności można zapisać w inny sposób korzystając z odpowiedniego wzoru skróconego mnożenia
otrzymujemy:
[tex](x-2y)^{2}[/tex] + [tex]4y^{2}[/tex] [tex]\geq[/tex] 0
zarówno wyrażenie x - 2y (w nawiasie) jak i 4y są podniesione do kwadratu, a pomiędzy wyrażeniami znajduje się symbol dodawania
=> wyrażenie jest zawsze dodatnie lub równe 0 => x ∈ R oraz y ∈ R
co należało wykazać
