Ключевая идея. Перенос координат (сдвиг всей системы на вектор t⃗\vec tt) не меняет векторов между точками: при переходе X↦X′=X+t⃗X\mapsto X' = X+\vec tX↦X′=X+t выполняется X′Y′→=XY→\overrightarrow{X'Y'}=\overrightarrow{XY}X′Y′=XY. Отсюда параллельность (одинаковые или пропорциональные векторы) и перпендикулярность (нулевой скалярный произведение) остаются инвариантными при переносе. Поэтому можно поставить начало координат в удобную вершину или точку и работать с векторами напрямую. Объяснение в общем виде. Пусть точки имеют координаты A(xA,yA,zA),B(xB,yB,zB)A(x_A,y_A,z_A), B(x_B,y_B,z_B)A(xA,yA,zA),B(xB,yB,zB). Вектор AB→=(xB−xA,yB−yA,zB−zA)\overrightarrow{AB}=(x_B-x_A,y_B-y_A,z_B-z_A)AB=(xB−xA,yB−yA,zB−zA). Если поставить начало в AAA (сделать перевод на вектор −OA→-\overrightarrow{OA}−OA), то A′=(0,0,0)A'=(0,0,0)A′=(0,0,0), B′=AB→B'=\overrightarrow{AB}B′=AB. Тогда - ABABAB параллелен CDCDCD тогда и только тогда, когда AB→\overrightarrow{AB}AB пропорционален CD→\overrightarrow{CD}CD. - ABABAB перпендикулярен плоскости с нормалью n⃗\vec nn тогда и только тогда, когда AB→⋅n⃗=0\overrightarrow{AB}\cdot\vec n=0AB⋅n=0. Все эти проверки сводятся к сравнению векторов и вычислению скалярных/векторных произведений, что гораздо проще при удобном переносе. Пример 1 (параллелепипед). Поставим одну вершину параллелепипеда в начало: A=(0,0,0)A=(0,0,0)A=(0,0,0). Пусть три рёбра из AAA заданы векторами u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w. Тогда остальные вершины имеют координаты B=u⃗, C=v⃗, D=w⃗, B′=u⃗+v⃗, C′=v⃗+w⃗, D′=w⃗+u⃗, E=u⃗+v⃗+w⃗B=\vec u,\;C=\vec v,\;D=\vec w,\;B'=\vec u+\vec v,\;C'=\vec v+\vec w,\;D'=\vec w+\vec u,\;E=\vec u+\vec v+\vec wB=u,C=v,D=w,B′=u+v,C′=v+w,D′=w+u,E=u+v+w. Тогда, например, AB→=u⃗, C′D′→=(w⃗+u⃗)−(v⃗+w⃗)=u⃗\overrightarrow{AB}=\vec u,\;\overrightarrow{C'D'}=(\vec w+\vec u)-(\vec v+\vec w)=\vec uAB=u,C′D′=(w+u)−(v+w)=u, откуда AB∥C′D′AB\parallel C'D'AB∥C′D′. Все подобные утверждения проверяются одинаково: противоположные рёбра дают одинаковые векторные выражения. Пример 2 (перпендикулярность ребра и плоскости). В той же системе пусть грань ABCABCABC задаётся векторами u⃗=AB→, v⃗=AC→\vec u=\overrightarrow{AB},\;\vec v=\overrightarrow{AC}u=AB,v=AC. Нормаль к этой плоскости равна n⃗=u⃗×v⃗\vec n=\vec u\times\vec vn=u×v. Ребро ADADAD перпендикулярно плоскости ABCABCABC тогда и только тогда, когда AD→⋅n⃗=0\overrightarrow{AD}\cdot\vec n=0AD⋅n=0. В координатах, когда A=(0,0,0)A=(0,0,0)A=(0,0,0), это простая алгебра: вычислить u⃗,v⃗,AD→\vec u,\vec v,\overrightarrow{AD}u,v,AD и проверить одно скалярное произведение. Иллюстрация конкретными числами. Поставим A=(0,0,0), B=(1,0,0), C=(0,1,0), D=(0,0,1)A=(0,0,0),\;B=(1,0,0),\;C=(0,1,0),\;D=(0,0,1)A=(0,0,0),B=(1,0,0),C=(0,1,0),D=(0,0,1). Тогда u⃗=(1,0,0), v⃗=(0,1,0), AD→=(0,0,1)\vec u=(1,0,0),\;\vec v=(0,1,0),\;\overrightarrow{AD}=(0,0,1)u=(1,0,0),v=(0,1,0),AD=(0,0,1), n⃗=u⃗×v⃗=(0,0,1)\vec n=\vec u\times\vec v=(0,0,1)n=u×v=(0,0,1). И действительно AD→⋅n⃗=1≠0\overrightarrow{AD}\cdot\vec n=1\neq0AD⋅n=1=0 — в данном примере ADADAD параллелен нормали, значит перпендикулярен плоскости ABCABCABC. Параллельности тоже видно мгновенно: напр., противоположные ребра параллельны потому, что имеют одинаковые векторные представления. Вывод. Перенос координат позволяет поставить удобное начало, свести геометрические утверждения о параллельности и перпендикулярности к простым векторным равенствам и скалярным произведениям; это устраняет необходимость длинных координатных преобразований и упрощает доказательства в многогранниках.
X′Y′→=XY→\overrightarrow{X'Y'}=\overrightarrow{XY}X′Y′=XY.
Отсюда параллельность (одинаковые или пропорциональные векторы) и перпендикулярность (нулевой скалярный произведение) остаются инвариантными при переносе. Поэтому можно поставить начало координат в удобную вершину или точку и работать с векторами напрямую.
Объяснение в общем виде. Пусть точки имеют координаты A(xA,yA,zA),B(xB,yB,zB)A(x_A,y_A,z_A), B(x_B,y_B,z_B)A(xA ,yA ,zA ),B(xB ,yB ,zB ). Вектор
AB→=(xB−xA,yB−yA,zB−zA)\overrightarrow{AB}=(x_B-x_A,y_B-y_A,z_B-z_A)AB=(xB −xA ,yB −yA ,zB −zA ).
Если поставить начало в AAA (сделать перевод на вектор −OA→-\overrightarrow{OA}−OA), то A′=(0,0,0)A'=(0,0,0)A′=(0,0,0), B′=AB→B'=\overrightarrow{AB}B′=AB. Тогда
- ABABAB параллелен CDCDCD тогда и только тогда, когда AB→\overrightarrow{AB}AB пропорционален CD→\overrightarrow{CD}CD.
- ABABAB перпендикулярен плоскости с нормалью n⃗\vec nn тогда и только тогда, когда AB→⋅n⃗=0\overrightarrow{AB}\cdot\vec n=0AB⋅n=0.
Все эти проверки сводятся к сравнению векторов и вычислению скалярных/векторных произведений, что гораздо проще при удобном переносе.
Пример 1 (параллелепипед). Поставим одну вершину параллелепипеда в начало: A=(0,0,0)A=(0,0,0)A=(0,0,0). Пусть три рёбра из AAA заданы векторами
u⃗,v⃗,w⃗\vec u,\vec v,\vec wu,v,w. Тогда остальные вершины имеют координаты
B=u⃗, C=v⃗, D=w⃗, B′=u⃗+v⃗, C′=v⃗+w⃗, D′=w⃗+u⃗, E=u⃗+v⃗+w⃗B=\vec u,\;C=\vec v,\;D=\vec w,\;B'=\vec u+\vec v,\;C'=\vec v+\vec w,\;D'=\vec w+\vec u,\;E=\vec u+\vec v+\vec wB=u,C=v,D=w,B′=u+v,C′=v+w,D′=w+u,E=u+v+w.
Тогда, например,
AB→=u⃗, C′D′→=(w⃗+u⃗)−(v⃗+w⃗)=u⃗\overrightarrow{AB}=\vec u,\;\overrightarrow{C'D'}=(\vec w+\vec u)-(\vec v+\vec w)=\vec uAB=u,C′D′=(w+u)−(v+w)=u,
откуда AB∥C′D′AB\parallel C'D'AB∥C′D′. Все подобные утверждения проверяются одинаково: противоположные рёбра дают одинаковые векторные выражения.
Пример 2 (перпендикулярность ребра и плоскости). В той же системе пусть грань ABCABCABC задаётся векторами u⃗=AB→, v⃗=AC→\vec u=\overrightarrow{AB},\;\vec v=\overrightarrow{AC}u=AB,v=AC. Нормаль к этой плоскости равна
n⃗=u⃗×v⃗\vec n=\vec u\times\vec vn=u×v.
Ребро ADADAD перпендикулярно плоскости ABCABCABC тогда и только тогда, когда
AD→⋅n⃗=0\overrightarrow{AD}\cdot\vec n=0AD⋅n=0.
В координатах, когда A=(0,0,0)A=(0,0,0)A=(0,0,0), это простая алгебра: вычислить u⃗,v⃗,AD→\vec u,\vec v,\overrightarrow{AD}u,v,AD и проверить одно скалярное произведение.
Иллюстрация конкретными числами. Поставим A=(0,0,0), B=(1,0,0), C=(0,1,0), D=(0,0,1)A=(0,0,0),\;B=(1,0,0),\;C=(0,1,0),\;D=(0,0,1)A=(0,0,0),B=(1,0,0),C=(0,1,0),D=(0,0,1). Тогда
u⃗=(1,0,0), v⃗=(0,1,0), AD→=(0,0,1)\vec u=(1,0,0),\;\vec v=(0,1,0),\;\overrightarrow{AD}=(0,0,1)u=(1,0,0),v=(0,1,0),AD=(0,0,1),
n⃗=u⃗×v⃗=(0,0,1)\vec n=\vec u\times\vec v=(0,0,1)n=u×v=(0,0,1).
И действительно AD→⋅n⃗=1≠0\overrightarrow{AD}\cdot\vec n=1\neq0AD⋅n=1=0 — в данном примере ADADAD параллелен нормали, значит перпендикулярен плоскости ABCABCABC. Параллельности тоже видно мгновенно: напр., противоположные ребра параллельны потому, что имеют одинаковые векторные представления.
Вывод. Перенос координат позволяет поставить удобное начало, свести геометрические утверждения о параллельности и перпендикулярности к простым векторным равенствам и скалярным произведениям; это устраняет необходимость длинных координатных преобразований и упрощает доказательства в многогранниках.