Дифференцирование тут не особо при чём. Во-первых, можно считать очевидным, что точка глобального минимума существует. Во-вторых, если

-- такая точка, то



Чтобы эта точка давала действительно минимум, нужно, чтобы исчезло последнее слагаемое (поскольку оно линейно по

, в то время как предыдущие квадратичны). Т.е. вектор

должен быть ортогонален любому вектору

. Т.е. попросту должно быть

.
Только это всё опять же никакая не олимпиадность, а стандартная регуляризация.