Добрый день. Разбираюсь с доказательством данной теоремы и не совсем понимаю один пункт

Сама теорема: `(x,y)^2<=|x|^2*|y|^2`

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

Собственно вопрос, почему дискриминант не может быть положителен?

@темы: Линейная алгебра

Комментарии
24.01.2015 в 18:26

Во-первых, здесь ошибка в доказательстве. Нужно "Замечаем, что стоящий слева трехчлен неотрицателен".
А по вопросу: если бы дискриминант был положителен, уравнение имело бы два решения, и тогда заведомо нашлось бы t между этими решениями, которое давало бы отрицательное значение для трехчлена.
24.01.2015 в 18:54

Спасибо большое, все понял