Я хотел бы чисто геометрически (без обращения к точечному и перекрестному векторному произведению) доказать следующее:
Объем параллелепипеда натянутый на диагонали граней другого параллелепипеда в два раза больше объема , т.е. .
Утверждение легко следует из определения:
Позволять — векторы сторон с одним началом в вершине параллелепипеда
Очевидно , поэтому определитель не изменится при добавлении этих строк, т. е.
Мы можем интерпретировать это так: пусть — произвольный параллелепипед и пусть
.
Позволять ул. тогда площадь параллелограмма натянутые на векторы и равна площади параллелограмма натянутые на векторы .
Далее, пусть быть точками s .t. .
Тогда параллелепипеды и имеют равные высоты и основания, а значит, и равные объемы.
Пусть точки лучший .
Затем .
Однако я не знаю, как продолжить доказывать объем вдвое превышает объем .
Можно попросить совета по решению этой задачи?
Заранее спасибо!
Вот начало более чисто геометрического доказательства:
Поместите начало координат в одну вершину и измените координаты так, чтобы параллелепипед стал единичным кубом. Вы можете сделать это, выбрав три ребра в начале координат в качестве базисных векторов.
Это изменение координат одинаково масштабирует все объемы, поэтому сохраняет интересующую вас пропорцию.
Для единичного куба диагонали граней равны , и . Определяемый ими параллелепипед имеет объем потому что якобиан изменения преобразования координат в эту систему координат является определителем
Вы использовали формулу для объема параллелепипеда, натянутого на , , и . Именно так вы рассчитали объем . Таким образом, в окончательном выражении для вы можете узнать термины и как объем , что должно завершить доказательство.
Обратите внимание, что тройное произведение инвариантно относительно циклической перестановки, поэтому оба эти выражения равны . Это должно иметь смысл, потому что порядок, в котором мы называем три ребра параллелепипеда, пересекающиеся в вершине, не должен иметь значения, пока ориентация одинакова. В качестве альтернативы вы также можете понять это из того факта, что определители инвариантны относительно циклической перестановки строк.
Итан Болкер