1. **Перенесем *mn* из правой части в левую, изменяя знак:**
m² - mn + n² - mn ≥ 0
2. **Сгруппируем подобные члены:**
m² - 2mn + n² ≥ 0
3. **Заметим, что левая часть - это квадрат разности (m - n)²:**
(m - n)² ≥ 0
Квадрат любого действительного числа всегда неотрицателен (больше или равен нулю). Значит, неравенство (m - n)² ≥ 0 верно для всех значений m и n.
**Ответ:** Неравенство доказано.