Объём

ВЫЧИСЛЕНИЕ ПОВОРОТА

У нас есть гиперплоскость [math]g[/math] и точки задающие её. В [math]d[/math] мерном пространстве у нас будет [math]d[/math] линейно независимых(ЛНЗ) точек [math]a_1, a_2, \dots, a_d[/math]. Линейную независимость точек воспринимаем творчески.

Определение:

Будем называть набор из [math]d[/math] точек линейно независимым, если мы можем выбрать одну из них, провести вектора от нее до всех остальных и получить [math]d-1[/math] ЛНЗ вектор.

Возьмем в нашем пространстве еще одну выделенную точку [math]p[/math]. Получившийся набор [math]a_1, a_2, \dots, a_d, p[/math] тоже будет ЛНЗ.

Пусть у нас есть какая-то выделенная зарание система координат [math]C[/math]. Эта система приходит обычно вместе с какой-то задачей, и обычно она декартова. И у нас тоже будет сейчас декартова.

Мы знаем, что можно составить матрицу перехода, если умеем выразить координаты векторов в исходной базовой системе координат [math]C[/math]. А в нашем случае мы это сделать, конечно, можем: поскольку вектор существует между любыми парами точек, просто сопредставим нашим точкам вектора, соединяющие начало координат [math]O[/math] и очередную точку. Значит, если нам известны координаты точек, то нам известны координаты векторов в ситеме [math]C[/math]. Запишем матрицу перехода и немножко преобразуем её:

[math]A = \begin{pmatrix} Oa_1 - Op \\ Oa_2 - Op\\ \dots \\ Oa_d - Op \end{pmatrix}^ \intercal = \begin{pmatrix} a_1 - p \\ a_2 - p\\ \dots \\ a_d - p \end{pmatrix}^ \intercal = \begin{pmatrix} a_1 & 1 \\ a_2 & 1\\ \dots \\ a_d & 1 \\ p & 1 \end{pmatrix}^ \intercal[/math]

В дальнейшем нас будут интересовать детерминант этой матрицы и его знак:

[math]det(A) = \begin{vmatrix} a_1 & 1 \\ a_2 & 1\\ \dots \\ a_d & 1 \\ p & 1 \end{vmatrix}[/math]

Лемма:

Точка [math]p[/math] лежит на плоскости [math]g[/math] тогда и только тогда, когда определитель матрицы [math]A[/math] равен [math]0[/math].

Доказательство:

[math]\triangleright[/math]

Плоскость [math]g[/math] определяется замыканием набора [math]a_1, a_2, \dots, a_d[/math] ЛНЗ точек, значит, если [math]p[/math] принадлежит множеству, то [math]p[/math] является линейной комбинацией этих точек. В этом случае мы с помощью преобразований можем получить нулевую стррочку в матрице [math]A[/math], значит, ее определитель будет ноль.

[math]\triangleleft[/math]