Сформулируйте и докажите критерий параллельности плоскостей в пространстве через соотношения направляющих векторов и перпендикулярностей, сравните с плоским случаем
Формулировки (обозначим плоскости Π1,Π2\Pi_1,\Pi_2Π1,Π2): 1) Через нормали: пусть n1\mathbf{n}_1n1 и n2\mathbf{n}_2n2 — ненулевые нормали к Π1\Pi_1Π1 и Π2\Pi_2Π2. Тогда Π1∥Π2 ⟺ n1∥n2 ⟺ n1=λn2, λ≠0.
\Pi_1\parallel\Pi_2 \iff \mathbf{n}_1\parallel\mathbf{n}_2 \iff \mathbf{n}_1=\lambda\mathbf{n}_2,\ \lambda\neq0. Π1∥Π2⟺n1∥n2⟺n1=λn2,λ=0. 2) Через направляющие векторы: если Π1=span{u1,v1}\Pi_1=\operatorname{span}\{\mathbf{u}_1,\mathbf{v}_1\}Π1=span{u1,v1}, Π2=span{u2,v2}\Pi_2=\operatorname{span}\{\mathbf{u}_2,\mathbf{v}_2\}Π2=span{u2,v2} (направляющие векторы плоскостей), то положим n1=u1×v1\mathbf{n}_1=\mathbf{u}_1\times\mathbf{v}_1n1=u1×v1, n2=u2×v2\mathbf{n}_2=\mathbf{u}_2\times\mathbf{v}_2n2=u2×v2. Тогда Π1∥Π2 ⟺ u1×v1∥u2×v2.
\Pi_1\parallel\Pi_2 \iff \mathbf{u}_1\times\mathbf{v}_1 \parallel \mathbf{u}_2\times\mathbf{v}_2. Π1∥Π2⟺u1×v1∥u2×v2. 3) Через перпендикулярности: Π1∥Π2 ⟺ ∃ w≠0 такая, что w⊥Π1 и w⊥Π2.
\Pi_1\parallel\Pi_2 \iff \exists\,\mathbf{w}\neq\mathbf{0}\ \text{такая, что}\ \mathbf{w}\perp\Pi_1\ \text{и}\ \mathbf{w}\perp\Pi_2. Π1∥Π2⟺∃w=0такая, чтоw⊥Π1иw⊥Π2. Доказательства (кратко): A) Из нормалей в параллельность. Если n1=λn2\mathbf{n}_1=\lambda\mathbf{n}_2n1=λn2, то ненулевой вектор n1\mathbf{n}_1n1 перпендикулярен обоим плоскостям, следовательно обе плоскости ортогональны одной и той же прямой — значит они параллельны (либо совпадают). B) Обратное: если Π1∥Π2\Pi_1\parallel\Pi_2Π1∥Π2, то любая направляющая v∈Π1\mathbf{v}\in\Pi_1v∈Π1 параллельна Π2\Pi_2Π2, поэтому любая нормаль к Π2\Pi_2Π2 перпендикулярна всем вектором Π1\Pi_1Π1. Значит пространство всех векторов, перпендикулярных Π1\Pi_1Π1, совпадает с пространством векторов, перпендикулярных Π2\Pi_2Π2; эти пространства одномерны, значит n1\mathbf{n}_1n1 и n2\mathbf{n}_2n2 коллинеарны. C) Через направляющие. По определению нормали плоскости через векторное произведение: ni=ui×vi\mathbf{n}_i=\mathbf{u}_i\times\mathbf{v}_ini=ui×vi. Тогда по пунктам A–B Π1∥Π2\Pi_1\parallel\Pi_2Π1∥Π2 тогда и только тогда, когда n1∥n2\mathbf{n}_1\parallel\mathbf{n}_2n1∥n2, то есть когда соответствующие векторные произведения коллинеарны. D) Перпендикулярный критерий — эквивалентен пункту 1: существование ненулевого w\mathbf{w}w с w⊥Π1\mathbf{w}\perp\Pi_1w⊥Π1 и w⊥Π2\mathbf{w}\perp\Pi_2w⊥Π2 означает, что нормали коллинеарны (w\mathbf{w}w — общий нормальный вектор). Сравнение с плоским случаем (в евклидовской плоскости): для прямых l1,l2l_1,l_2l1,l2 роли «нормали плоскости» и «направляющего вектора плоскости» играют соответственно направляющий вектор и нормаль к прямой (оба одномерны). Аналогично: l1∥l2 ⟺ их направляющие векторы пропорциональны ⟺ их нормали пропорциональны.
l_1\parallel l_2 \iff \text{их направляющие векторы пропорциональны} \iff \text{их нормали пропорциональны}. l1∥l2⟺ихнаправляющиевекторыпропорциональны⟺ихнормалипропорциональны.
То есть структура критерия та же: в 3D плоскость характеризуется двумерным направляющим подпространством и одномерным ортогоналом; в 2D прямая — одномерным направлением и одномерным ортогоналом. В обоих случаях параллельность эквивалентна пропорциональности соответствующих одномерных «ортогональных» векторов или пропорциональности направляющих.
1) Через нормали: пусть n1\mathbf{n}_1n1 и n2\mathbf{n}_2n2 — ненулевые нормали к Π1\Pi_1Π1 и Π2\Pi_2Π2 . Тогда
Π1∥Π2 ⟺ n1∥n2 ⟺ n1=λn2, λ≠0. \Pi_1\parallel\Pi_2 \iff \mathbf{n}_1\parallel\mathbf{n}_2 \iff \mathbf{n}_1=\lambda\mathbf{n}_2,\ \lambda\neq0.
Π1 ∥Π2 ⟺n1 ∥n2 ⟺n1 =λn2 , λ=0.
2) Через направляющие векторы: если Π1=span{u1,v1}\Pi_1=\operatorname{span}\{\mathbf{u}_1,\mathbf{v}_1\}Π1 =span{u1 ,v1 }, Π2=span{u2,v2}\Pi_2=\operatorname{span}\{\mathbf{u}_2,\mathbf{v}_2\}Π2 =span{u2 ,v2 } (направляющие векторы плоскостей), то положим n1=u1×v1\mathbf{n}_1=\mathbf{u}_1\times\mathbf{v}_1n1 =u1 ×v1 , n2=u2×v2\mathbf{n}_2=\mathbf{u}_2\times\mathbf{v}_2n2 =u2 ×v2 . Тогда
Π1∥Π2 ⟺ u1×v1∥u2×v2. \Pi_1\parallel\Pi_2 \iff \mathbf{u}_1\times\mathbf{v}_1 \parallel \mathbf{u}_2\times\mathbf{v}_2.
Π1 ∥Π2 ⟺u1 ×v1 ∥u2 ×v2 .
3) Через перпендикулярности:
Π1∥Π2 ⟺ ∃ w≠0 такая, что w⊥Π1 и w⊥Π2. \Pi_1\parallel\Pi_2 \iff \exists\,\mathbf{w}\neq\mathbf{0}\ \text{такая, что}\ \mathbf{w}\perp\Pi_1\ \text{и}\ \mathbf{w}\perp\Pi_2.
Π1 ∥Π2 ⟺∃w=0 такая, что w⊥Π1 и w⊥Π2 .
Доказательства (кратко):
A) Из нормалей в параллельность. Если n1=λn2\mathbf{n}_1=\lambda\mathbf{n}_2n1 =λn2 , то ненулевой вектор n1\mathbf{n}_1n1 перпендикулярен обоим плоскостям, следовательно обе плоскости ортогональны одной и той же прямой — значит они параллельны (либо совпадают).
B) Обратное: если Π1∥Π2\Pi_1\parallel\Pi_2Π1 ∥Π2 , то любая направляющая v∈Π1\mathbf{v}\in\Pi_1v∈Π1 параллельна Π2\Pi_2Π2 , поэтому любая нормаль к Π2\Pi_2Π2 перпендикулярна всем вектором Π1\Pi_1Π1 . Значит пространство всех векторов, перпендикулярных Π1\Pi_1Π1 , совпадает с пространством векторов, перпендикулярных Π2\Pi_2Π2 ; эти пространства одномерны, значит n1\mathbf{n}_1n1 и n2\mathbf{n}_2n2 коллинеарны.
C) Через направляющие. По определению нормали плоскости через векторное произведение: ni=ui×vi\mathbf{n}_i=\mathbf{u}_i\times\mathbf{v}_ini =ui ×vi . Тогда по пунктам A–B Π1∥Π2\Pi_1\parallel\Pi_2Π1 ∥Π2 тогда и только тогда, когда n1∥n2\mathbf{n}_1\parallel\mathbf{n}_2n1 ∥n2 , то есть когда соответствующие векторные произведения коллинеарны.
D) Перпендикулярный критерий — эквивалентен пункту 1: существование ненулевого w\mathbf{w}w с w⊥Π1\mathbf{w}\perp\Pi_1w⊥Π1 и w⊥Π2\mathbf{w}\perp\Pi_2w⊥Π2 означает, что нормали коллинеарны (w\mathbf{w}w — общий нормальный вектор).
Сравнение с плоским случаем (в евклидовской плоскости): для прямых l1,l2l_1,l_2l1 ,l2 роли «нормали плоскости» и «направляющего вектора плоскости» играют соответственно направляющий вектор и нормаль к прямой (оба одномерны). Аналогично:
l1∥l2 ⟺ их направляющие векторы пропорциональны ⟺ их нормали пропорциональны. l_1\parallel l_2 \iff \text{их направляющие векторы пропорциональны} \iff \text{их нормали пропорциональны}.
l1 ∥l2 ⟺их направляющие векторы пропорциональны⟺их нормали пропорциональны. То есть структура критерия та же: в 3D плоскость характеризуется двумерным направляющим подпространством и одномерным ортогоналом; в 2D прямая — одномерным направлением и одномерным ортогоналом. В обоих случаях параллельность эквивалентна пропорциональности соответствующих одномерных «ортогональных» векторов или пропорциональности направляющих.