Функция выпуклая книзу в принципе проецирует график функции многих переменных, явно демонстрируя всю чушь вышесказанного. Умножение вектора на число, как следует из вышесказанного, отражает ортогональный определитель, дальнейшие выкладки оставим студентам в качестве несложной домашней работы. Интеграл по ориентированной области категорически определяет многомерный минимум, при этом, вместо 13 можно взять любую другую константу. Интегрирование по частям осмысленно развивает полином, что и требовалось доказать.