1. **Перенесём 2bc в правую часть, изменив знак:**
0 ≤ b² + c² - 2bc
2. **Заметим, что правая часть — квадрат разности (b - c)²:**
0 ≤ (b - c)²
Так как квадрат любого действительного числа всегда неотрицателен (больше или равен нулю), то (b - c)² ≥ 0 - это всегда истинное утверждение.
**Ответ:** Неравенство доказано.