Добрый день. Разбираюсь с доказательством данной теоремы и не совсем понимаю один пункт
Сама теорема: `(x,y)^2<=|x|^2*|y|^2`
Доказывая ее, мы приходим к выводу что
`t^2(x,x)+2t(x,y)+(y,y)>=0`
Далее сказано: "Замечаем, что стоящий слева трехчлен положителен, а значит дискриминант не может быть положителен."
Собственно вопрос, почему дискриминант не может быть положителен?