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

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



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

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

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

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

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