Равенство суммы отклонений нулю не есть обязательное условие для МНК. Оно выполняется само собой ("безвозмездно, то есть даром") при включении в регрессоры столбца единиц, в других случаях вправе не выполняться.
Что до решения уравнения

через минимизацию

, то это оправдано, когда у нас под рукой инструмент для минимизации, а решателя уравнений отчего-то нет. Но в случае такой минимизации может быть застревание на локальных оптимумах. Решаем нечто вида

, и после возведения в квадрат получаем "побочные минимумы".