РК1›Тема 7. Плоскость в пространстве

7. Плоскость в пространстве

лекции: §10–12 · вопросы РК: А22, А23, А24, А25, Б8, Г10, Г11

РК: А22 (общее уравнение и уравнение в отрезках), А23 (через три точки), А24 (взаимное расположение), А25 (расстояние от точки), Б8 (вывод формулы расстояния); дополнения из лекций: Г10 (нормальное уравнение), Г11 (расстояние между параллельными плоскостями). Задачи 416–424, 431–448, 454–459.

Суть

Плоскость задаётся точкой M0M_0 и нормалью n⃗⊥\vec n\perp плоскости: точка MM лежит в плоскости   ⟺  n⃗⋅M0M→=0\iff\vec n\cdot\overrightarrow{M_0M}=0. Раскрыв скалярное произведение, получаем линейное уравнение Ax+By+Cz+D=0Ax+By+Cz+D=0, где {A,B,C}=n⃗\{A,B,C\}=\vec n. Почти любая задача сводится к поиску одной точки и нормали.

M₀MM₀Mn = {A, B, C}n · M₀M = 0A(x−x₀)+B(y−y₀)+C(z−z₀)=0

Уравнения плоскости

Через точку и нормаль (лекции, §10, задача 3; с него начинаются задачи):
A(x−x0)+B(y−y0)+C(z−z0)=0,n⃗={A,B,C}≠0⃗.A(x-x_0)+B(y-y_0)+C(z-z_0)=0,\qquad \vec n=\{A,B,C\}\ne\vec 0.

Общее (А22): Ax+By+Cz+D=0Ax+By+Cz+D=0,  n⃗={A,B,C}⊥\ \vec n=\{A,B,C\}\perp плоскости.
Частные случаи: D=0D=0 — проходит через начало координат; C=0C=0 — параллельна оси OzOz (нет zz); A=B=0A=B=0 — параллельна OxyOxy.

В отрезках (А22): xa+yb+zc=1\dfrac xa+\dfrac yb+\dfrac zc=1, где a,b,ca,b,c — отрезки, отсекаемые на осях Ox,Oy,OzOx,Oy,Oz (все ≠0\ne0, плоскость не проходит через начало).

xyzabcx/a + y/b + z/c = 1

Через три точки (А23) M1,M2,M3M_1,M_2,M_3, не лежащие на одной прямой: векторы M1M→,M1M2→,M1M3→\overrightarrow{M_1M},\overrightarrow{M_1M_2},\overrightarrow{M_1M_3} компланарны:
∣x−x1y−y1z−z1x2−x1y2−y1z2−z1x3−x1y3−y1z3−z1∣=0.\begin{vmatrix}x-x_1&y-y_1&z-z_1\\x_2-x_1&y_2-y_1&z_2-z_1\\x_3-x_1&y_3-y_1&z_3-z_1\end{vmatrix}=0.

Через точку и два неколлинеарных вектора m⃗1={a1,b1,c1}\vec m_1=\{a_1,b_1,c_1\}, m⃗2={a2,b2,c2}\vec m_2=\{a_2,b_2,c_2\} (лекции, опр. 10.1). Точка MM в плоскости   ⟺  M0M→=um⃗1+vm⃗2\iff\overrightarrow{M_0M}=u\vec m_1+v\vec m_2; по координатам — параметрические уравнения:
x=x0+ua1+va2,y=y0+ub1+vb2,z=z0+uc1+vc2,u,v∈R.x=x_0+ua_1+va_2,\qquad y=y_0+ub_1+vb_2,\qquad z=z_0+uc_1+vc_2,\qquad u,v\in\mathbb R.
Иначе: M0M→,m⃗1,m⃗2\overrightarrow{M_0M},\vec m_1,\vec m_2 компланарны, то есть
∣x−x0y−y0z−z0a1b1c1a2b2c2∣=0.\begin{vmatrix}x-x_0&y-y_0&z-z_0\\a_1&b_1&c_1\\a_2&b_2&c_2\end{vmatrix}=0.
Раскрыв определитель по первой строке, получаем общее уравнение (опр. 10.2): коэффициенты A,B,CA,B,C — миноры, то есть n⃗=m⃗1×m⃗2\vec n=\vec m_1\times\vec m_2. Уравнение через три точки — частный случай: m⃗1=M1M2→\vec m_1=\overrightarrow{M_1M_2}, m⃗2=M1M3→\vec m_2=\overrightarrow{M_1M_3}.

Векторные уравнения (лекции): (r⃗−r⃗0)⋅n⃗=0(\vec r-\vec r_0)\cdot\vec n=0 или r⃗=r⃗0+um⃗1+vm⃗2\vec r=\vec r_0+u\vec m_1+v\vec m_2, где r⃗0=OM0→\vec r_0=\overrightarrow{OM_0}, r⃗=OM→\vec r=\overrightarrow{OM} — радиус-векторы.

Нормальное уравнение плоскости (лекции, опр. 10.7; Г10)

В прямоугольной СК пусть n⃗ 0={cos⁡α,cos⁡β,cos⁡γ}\vec n^{\,0}=\{\cos\alpha,\cos\beta,\cos\gamma\} — единичная нормаль, направленная от начала координат к плоскости, p≥0p\ge0 — расстояние от OO до плоскости. Тогда
xcos⁡α+ycos⁡β+zcos⁡γ−p=0.x\cos\alpha+y\cos\beta+z\cos\gamma-p=0.
Почему: для любой точки MM плоскости OM→⋅n⃗ 0=Пр⁡n⃗0OM→=p\overrightarrow{OM}\cdot\vec n^{\,0}=\operatorname{Пр}_{\vec n^{0}}\overrightarrow{OM}=p — проекция радиус-вектора на нормаль одна и та же, это и есть расстояние от OO.

Как получить из общего: умножить Ax+By+Cz+D=0Ax+By+Cz+D=0 на нормирующий множитель
μ=±1A2+B2+C2,знак μ противоположен знаку D\mu=\pm\frac1{\sqrt{A^2+B^2+C^2}},\qquad \text{знак }\mu\text{ противоположен знаку }D
(тогда свободный член μD=−p≤0\mu D=-p\le0). При D=0D=0 знак любой.

Пример. 2x−y+2z+6=02x-y+2z+6=0: ∣n⃗∣=3|\vec n|=3, D>0D>0, значит μ=−13\mu=-\frac13:  −23x+13y−23z−2=0\ -\frac23x+\frac13y-\frac23z-2=0, p=2p=2 — плоскость в двух единицах от начала.

Взаимное расположение двух плоскостей (А24)

Пусть n⃗1={A1,B1,C1}\vec n_1=\{A_1,B_1,C_1\}, n⃗2={A2,B2,C2}\vec n_2=\{A_2,B_2,C_2\}.

РасположениеУсловие
перпендикулярныn⃗1⋅n⃗2=A1A2+B1B2+C1C2=0\vec n_1\cdot\vec n_2=A_1A_2+B_1B_2+C_1C_2=0
параллельны (различны)A1A2=B1B2=C1C2≠D1D2\dfrac{A_1}{A_2}=\dfrac{B_1}{B_2}=\dfrac{C_1}{C_2}\ne\dfrac{D_1}{D_2}
совпадаютA1A2=B1B2=C1C2=D1D2\dfrac{A_1}{A_2}=\dfrac{B_1}{B_2}=\dfrac{C_1}{C_2}=\dfrac{D_1}{D_2}
пересекаютсянормали неколлинеарны
угол между плоскостямиcos⁡φ=∣n⃗1⋅n⃗2∣∣n⃗1∣ ∣n⃗2∣\cos\varphi=\dfrac{|\vec n_1\cdot\vec n_2|}{|\vec n_1|\,|\vec n_2|} (угол ≤π2\le\frac\pi2)

Условие параллельности записано как A1A2=B1B2=C1C2\frac{A_1}{A_2}=\frac{B_1}{B_2}=\frac{C_1}{C_2} — оно верно и для совпадающих плоскостей. Если в ответе нужна именно параллельность различных плоскостей, допиши ≠D1D2\ne\frac{D_1}{D_2}. Нули в знаменателях понимаются как пропорция: n⃗1=λn⃗2\vec n_1=\lambda\vec n_2.

Расстояние от точки до плоскости (А25)

ρ(M0,π)=∣Ax0+By0+Cz0+D∣A2+B2+C2.\rho(M_0,\pi)=\frac{|Ax_0+By_0+Cz_0+D|}{\sqrt{A^2+B^2+C^2}}.

M₁HM₀M₁M₀nρ = |Прₙ M₁M₀|= |Ax₀+By₀+Cz₀+D| / |n|
Вывод (Б8)

Возьмём на плоскости π\pi любую точку M1(x1,y1,z1)M_1(x_1,y_1,z_1): Ax1+By1+Cz1+D=0Ax_1+By_1+Cz_1+D=0, то есть D=−(Ax1+By1+Cz1)D=-(Ax_1+By_1+Cz_1).
Искомое расстояние — модуль проекции M1M0→\overrightarrow{M_1M_0} на нормаль:
ρ=∣Пр⁡n⃗M1M0→∣=∣M1M0→⋅n⃗∣∣n⃗∣.\rho=\left|\operatorname{Пр}_{\vec n}\overrightarrow{M_1M_0}\right|=\frac{|\overrightarrow{M_1M_0}\cdot\vec n|}{|\vec n|}.
Считаем числитель:
M1M0→⋅n⃗=A(x0−x1)+B(y0−y1)+C(z0−z1)=Ax0+By0+Cz0−(Ax1+By1+Cz1)=Ax0+By0+Cz0+D.\overrightarrow{M_1M_0}\cdot\vec n=A(x_0-x_1)+B(y_0-y_1)+C(z_0-z_1)=Ax_0+By_0+Cz_0-(Ax_1+By_1+Cz_1)=Ax_0+By_0+Cz_0+D.
Знаменатель ∣n⃗∣=A2+B2+C2|\vec n|=\sqrt{A^2+B^2+C^2}. ■\blacksquare

Через нормальное уравнение (так выводит лектор, §12): подставив точку в левую часть нормального уравнения, получаем отклонение δ=x0cos⁡α+y0cos⁡β+z0cos⁡γ−p\delta=x_0\cos\alpha+y_0\cos\beta+z_0\cos\gamma-p, и ρ=∣δ∣\rho=|\delta|. Это та же формула: δ=μ(Ax0+By0+Cz0+D)\delta=\mu(Ax_0+By_0+Cz_0+D).

Знак f(M)=Ax+By+Cz+Df(M)=Ax+By+Cz+D показывает, с какой стороны плоскости лежит точка: точки с одинаковым знаком — по одну сторону [не из конспекта; нужно в задачах 434, 443–449].

Расстояние между параллельными плоскостями (Г11) Ax+By+Cz+D1=0Ax+By+Cz+D_1=0 и Ax+By+Cz+D2=0Ax+By+Cz+D_2=0 (коэффициенты при x,y,zx,y,z одинаковые):
ρ=∣D1−D2∣A2+B2+C2.\rho=\frac{|D_1-D_2|}{\sqrt{A^2+B^2+C^2}}.
Если коэффициенты пропорциональны, A1=kA2A_1=kA_2, B1=kB2B_1=kB_2, C1=kC2C_1=kC_2, формула из лекций (§11) делит первое уравнение на kk:
ρ=∣D1k−D2∣A22+B22+C22.\rho=\frac{\left|\frac{D_1}{k}-D_2\right|}{\sqrt{A_2^2+B_2^2+C_2^2}}.
Пример (задача 438): 2x−4y−2z−1=02x-4y-2z-1=0 и 3x−6y−3z+1=03x-6y-3z+1=0, k=23k=\frac23:  ρ=∣−32−1∣54=5636\ \rho=\frac{|-\frac32-1|}{\sqrt{54}}=\frac{5\sqrt6}{36}.

Пучок плоскостей и биссекторные плоскости [не из конспекта; задачи 424, 441–447, 456]

Пучок — все плоскости, проходящие через прямую {Π1=0, Π2=0}\{\Pi_1=0,\ \Pi_2=0\}:
α(A1x+B1y+C1z+D1)+β(A2x+B2y+C2z+D2)=0,α2+β2≠0.\alpha(A_1x+B_1y+C_1z+D_1)+\beta(A_2x+B_2y+C_2z+D_2)=0,\qquad \alpha^2+\beta^2\ne0.
Удобно, когда нужна плоскость «через линию пересечения … и ещё одно условие»: одно условие определяет отношение α:β\alpha:\beta.

Биссекторные плоскости двугранных углов — точки, равноудалённые от двух плоскостей:
A1x+B1y+C1z+D1A12+B12+C12=±A2x+B2y+C2z+D2A22+B22+C22.\frac{A_1x+B_1y+C_1z+D_1}{\sqrt{A_1^2+B_1^2+C_1^2}}=\pm\frac{A_2x+B_2y+C_2z+D_2}{\sqrt{A_2^2+B_2^2+C_2^2}}.

П₁ П₂φострыйтупой|f₁|/|n₁| = |f₂|/|n₂|: две биссекторные плоскости

Острый или тупой угол. Точка MM лежит в остром двугранном угле   ⟺  f1(M) f2(M) (n⃗1⋅n⃗2)<0\iff f_1(M)\,f_2(M)\,(\vec n_1\cdot\vec n_2)<0. Биссектор острого угла: знак «++», если n⃗1⋅n⃗2<0\vec n_1\cdot\vec n_2<0, и знак «−-», если n⃗1⋅n⃗2>0\vec n_1\cdot\vec n_2>0.

Почему так [не из конспекта]

Область {f1>0, f2>0}\{f_1>0,\ f_2>0\} — двугранный угол, из которого нормали n⃗1,n⃗2\vec n_1,\vec n_2 «смотрят внутрь». Его величина равна π−∠(n⃗1,n⃗2)\pi-\angle(\vec n_1,\vec n_2). Она острая   ⟺  ∠(n⃗1,n⃗2)>π2  ⟺  n⃗1⋅n⃗2<0\iff\angle(\vec n_1,\vec n_2)>\frac\pi2\iff\vec n_1\cdot\vec n_2<0. Смена знака f2f_2 — это замена n⃗2\vec n_2 на −n⃗2-\vec n_2, поэтому для области {f1>0, f2<0}\{f_1>0,\ f_2<0\} условие обратное. Вместе: острый угол   ⟺  f1f2(n⃗1⋅n⃗2)<0\iff f_1f_2(\vec n_1\cdot\vec n_2)<0. Внутри угла знаки f1,f2f_1,f_2 постоянны, поэтому его биссектор — та из двух плоскостей, на которой f1∣n⃗1∣\frac{f_1}{|\vec n_1|} и f2∣n⃗2∣\frac{f_2}{|\vec n_2|} имеют знаки этого угла.

Пример. Плоскость через M0(1,−1,2)M_0(1,-1,2) параллельно 2x−y+3z−5=02x-y+3z-5=0; расстояние между ними.

Решение

Нормаль та же: 2(x−1)−(y+1)+3(z−2)=0  ⟺  2x−y+3z−9=02(x-1)-(y+1)+3(z-2)=0\iff 2x-y+3z-9=0.
ρ=∣−9−(−5)∣4+1+9=414\rho=\dfrac{|-9-(-5)|}{\sqrt{4+1+9}}=\dfrac{4}{\sqrt{14}}.

Типичные ошибки

  • Считать расстояние между параллельными плоскостями по ∣D1−D2∣|D_1-D_2|, не приведя коэффициенты при x,y,zx,y,z к одинаковым (задача 438).
  • Забыть модуль в формуле расстояния или в косинусе угла между плоскостями.
  • В нормальном уравнении взять знак нормирующего множителя как у DD: тогда pp выйдет отрицательным. Знак μ\mu противоположен знаку DD.
  • Написать A1A2=…\frac{A_1}{A_2}=\dots при A2=0A_2=0 и «делить на ноль»: пропорция означает n⃗1=λn⃗2\vec n_1=\lambda\vec n_2.
  • В биссекторах не нормировать: делить нужно на длины нормалей.