Maxal, а что же такое
y в моей задаче?

?
Лучше пусть ответит
Maxalб но мне кажется, что

- просто переменный вектор (строка чисел

)
То есть вы каждое уравнение умножаете на свой

, а потом все складываете.
На левую часть накладываете условие, что она

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

.