Дата : 13-08-09, Чтв, 06:35:13
Чего-то я видимо недопонимаю, это задачка для второго курса на квадратичные формы. Раскрываем скобки в (x1+x2+x3+x4+x5)^2 вычитаем 4(x1*x2+x2*x3+x3*x4+x4*x5+x5*x1), получаем квадратичную форму, дальше применяем критерий Сильвестра для неотрицательной определенности, первый угловой минор матрицы, соответствующей этой форме равен 1, далее со второго по 4-й нули, а 5-й равен 16, то есть все они неотрицательны, откуда следует что форма неотрицательно определена, что и является доказательством. А в чем соль? |