Ответ:
Выделим полные квадраты:
\[a^2+6a=(a+3)^2-9,\qquad b^2-4b=(b-2)^2-4.\]
Тогда
\[a^2+b^2+6a-4b+13=(a+3)^2-9+(b-2)^2-4+13=(a+3)^2+(b-2)^2.\]
Квадраты неотрицательны, поэтому их сумма также неотрицательна:
\[(a+3)^2+(b-2)^2\ge 0.\]
Ответ: неравенство доказано; равенство достигается при \(a=-3\), \(b=2\).
