**Krok \(1\).** Metoda: przekształcamy nierówność równoważnie tak, aby po jednej stronie została suma kwadratów. Suma kwadratów liczb rzeczywistych jest nieujemna, co od razu kończy dowód.
**Krok \(2\).** Mnożymy obie strony przez \(2\) (liczbę dodatnią, więc kierunek nierówności się nie zmienia):
\[2xy+2x+2y\leqslant 2x^{2}+2y^{2}+2.\]
**Krok \(3\).** Przenosimy wszystko na prawą stronę:
\[0\leqslant 2x^{2}+2y^{2}+2-2xy-2x-2y.\]
**Krok \(4\).** Rozbijamy prawą stronę na trzy grupy, tak by każda była kwadratem różnicy:
\[2x^{2}+2y^{2}+2-2xy-2x-2y=\left(x^{2}-2xy+y^{2}\right)+\left(x^{2}-2x+1\right)+\left(y^{2}-2y+1\right).\]
Sprawdzenie: po dodaniu otrzymujemy \(2x^{2}+2y^{2}-2xy-2x-2y+2\) — zgadza się.
**Krok \(5\).** Zwijamy każdą grupę do kwadratu:
\[0\leqslant (x-y)^{2}+(x-1)^{2}+(y-1)^{2}.\]
**Krok \(6\).** Każdy składnik po prawej stronie jest kwadratem liczby rzeczywistej, więc jest nieujemny; suma liczb nieujemnych jest nieujemna. Nierówność z kroku \(5\) jest zatem prawdziwa dla wszystkich \(x,y\in\mathbb{R}\).
**Krok \(7\).** Wszystkie przekształcenia w krokach \(2\)–\(5\) były równoważne, więc prawdziwa jest także nierówność wyjściowa \(xy+x+y\leqslant x^{2}+y^{2}+1\). To należało wykazać.
**Uwaga.** Równość zachodzi tylko wtedy, gdy wszystkie trzy kwadraty są zerami, czyli dla \(x=y=1\). Mnożenie przez \(2\) na początku nie jest ozdobnikiem — bez niego wyrazy \(-2xy\), \(-2x\), \(-2y\) nie utworzą pełnych kwadratów.
**Odpowiedź.** Nierówność \(xy+x+y\leqslant x^{2}+y^{2}+1\) jest prawdziwa dla każdej pary liczb rzeczywistych \(x,y\), bo jest równoważna nierówności \(0\leqslant (x-y)^{2}+(x-1)^{2}+(y-1)^{2}\).