Oui les lambda_i sont positives par le théorème de Kuhn-Tucker mais il ne traite justement pas le cas où lambda = -1.
Ils disent juste les lambda sont positives donc lambda ne vaut pas -1 y = 0 et z = 0.
C'est juste pour justifier que y = 0 et z = 0, car si lambda = -1 tu ne peux rien dire, et justement le th de Kuhn-Tucker te donne lambda =/= -1.