Кейс для стереометрии: тетраэдр ABCD с вершиной D на перпендикуляре к плоскости ABC через точку O — центр вписанной окружности треугольника ABC; исследуйте условия, при которых внутренняя сфера тетраэдра касается всех четырёх граней, и докажите критерий
Краткий ответ (критерий). Если вершина DDD лежит на перпендикуляре к плоскости ABCABCABC через центр вписанной окружности треугольника ABCABCABC (обозначим этот центр OOO) — то для любого положения DDD такой тетраэдр имеет вписанную сферу. Центр сферы лежит на прямой DODODO и единственно определяется; радиус rrr и координата центра III вдоль DODODO выражаются через высоту h=DOh=DOh=DO и радиус вписанной окружности треугольника ABCABCABC, ρ\rhoρ: r=t=ρhρ+h2+ρ2.
r=t=\frac{\rho h}{\rho+\sqrt{h^2+\rho^2}}. r=t=ρ+h2+ρ2ρh. Доказательство (сжато). 1) Система координат. Положим плоскость ABCABCABC как z=0z=0z=0, O=(0,0,0)O=(0,0,0)O=(0,0,0), D=(0,0,h)D=(0,0,h)D=(0,0,h). Пусть ρ\rhoρ — радиус вписанной окружности треугольника ABCABCABC. Для каждой стороны, напротив вершины, введём вектор-единицу в плоскости nnn нормальный к соответствующей стороне так, что у точки на стороне выполняется n⋅(x,y)=ρn\cdot(x,y)=\rhon⋅(x,y)=ρ. 2) Уравнение боковой грани. Например, плоскость грани ABDABDABD проходит через линию пересечения с z=0z=0z=0 (это сторона ABABAB: nc⋅(x,y)=ρn_c\cdot(x,y)=\rhonc⋅(x,y)=ρ) и через точку DDD. Поэтому её уравнение можно записать как nc⋅(x,y)+ρhz=ρ.
n_c\cdot(x,y)+\frac{\rho}{h}z=\rho. nc⋅(x,y)+hρz=ρ.
Аналогично для двух других боковых граней коэффициент при zzz тот же, потому что все три грани проходят через одну точку DDD и через соответствующие сторонные прямые, уравнения которых имеют правую часть ρ\rhoρ. 3) Поиск центра сферы. Центр вписанной сферы, касающейся плоскости ABCABCABC, должен лежать на прямой DODODO, значит примем I=(0,0,t)I=(0,0,t)I=(0,0,t). Расстояние от III до плоскости ABCABCABC равно ∣t∣|t|∣t∣ (берём t>0t>0t>0). Расстояние от III до, скажем, плоскости ABDABDABD по формуле расстояния от точки до плоскости: d=∣ nc⋅0+ρht−ρ ∣1+(ρ/h)2=ρ(1−t/h)1+(ρ/h)2.
d=\frac{\bigl|\;n_c\cdot 0+\frac{\rho}{h}t-\rho\;\bigr|}{\sqrt{1+(\rho/h)^2}}=\frac{\rho(1-t/h)}{\sqrt{1+(\rho/h)^2}}. d=1+(ρ/h)2nc⋅0+hρt−ρ=1+(ρ/h)2ρ(1−t/h).
Приравнивая это расстояние к ttt (необходимое условие касания всех четырёх граней одной сферой), получаем уравнение t=ρ(1−t/h)1+(ρ/h)2.
t=\frac{\rho(1-t/h)}{\sqrt{1+(\rho/h)^2}}. t=1+(ρ/h)2ρ(1−t/h).
Решая его, положим k=ρ/hk=\rho/hk=ρ/h и получим tρ=1+k2−k=11+k2+k,
\frac{t}{\rho}=\sqrt{1+k^2}-k=\frac{1}{\sqrt{1+k^2}+k}, ρt=1+k2−k=1+k2+k1,
откуда после подстановки k=ρ/hk=\rho/hk=ρ/ht=ρhρ+h2+ρ2.
t=\frac{\rho h}{\rho+\sqrt{h^2+\rho^2}}. t=ρ+h2+ρ2ρh.
Это единственное положительное решение, значит центр и радиус существуют и единственны. 4) Внутренность точек касания. Покажем, что точки касания со всеми тремя боковыми гранями лежат внутри соответствующих треугольников (а не вне их). Перпендикуляр из III на грань ABDABDABD пересекает плоскость z=0z=0z=0 в точке, лежащей на луче из OOO к точке касания вписанной окружности треугольника ABCABCABC с ABABAB, причём эта проекция находится между OOO и точки касания окружности (ее координата по нормали меньше ρ\rhoρ). Следовательно, проекция точки касания на z=0z=0z=0 лежит внутри треугольника ABOA B OABO; восстановив долю высоты (координату zzz) как отношение к hhh получаем, что полная точка касания лежит внутри треугольника ABDABDABD. Аналогично для двух других боковых граней. Таким образом касания являются внутренними. Вывод. Если DDD лежит на перпендикуляре к плоскости ABCABCABC через центр вписанной окружности OOO треугольника ABCABCABC, то для любого положения DDD тетраэдр ABCDABCDABCD имеет вписанную сферу; её центр лежит на DODODO и радиус даётся формулой r=t=ρhρ+h2+ρ2.
r=t=\frac{\rho h}{\rho+\sqrt{h^2+\rho^2}}. r=t=ρ+h2+ρ2ρh.
r=t=ρhρ+h2+ρ2. r=t=\frac{\rho h}{\rho+\sqrt{h^2+\rho^2}}.
r=t=ρ+h2+ρ2 ρh .
Доказательство (сжато).
1) Система координат. Положим плоскость ABCABCABC как z=0z=0z=0, O=(0,0,0)O=(0,0,0)O=(0,0,0), D=(0,0,h)D=(0,0,h)D=(0,0,h). Пусть ρ\rhoρ — радиус вписанной окружности треугольника ABCABCABC. Для каждой стороны, напротив вершины, введём вектор-единицу в плоскости nnn нормальный к соответствующей стороне так, что у точки на стороне выполняется n⋅(x,y)=ρn\cdot(x,y)=\rhon⋅(x,y)=ρ.
2) Уравнение боковой грани. Например, плоскость грани ABDABDABD проходит через линию пересечения с z=0z=0z=0 (это сторона ABABAB: nc⋅(x,y)=ρn_c\cdot(x,y)=\rhonc ⋅(x,y)=ρ) и через точку DDD. Поэтому её уравнение можно записать как
nc⋅(x,y)+ρhz=ρ. n_c\cdot(x,y)+\frac{\rho}{h}z=\rho.
nc ⋅(x,y)+hρ z=ρ. Аналогично для двух других боковых граней коэффициент при zzz тот же, потому что все три грани проходят через одну точку DDD и через соответствующие сторонные прямые, уравнения которых имеют правую часть ρ\rhoρ.
3) Поиск центра сферы. Центр вписанной сферы, касающейся плоскости ABCABCABC, должен лежать на прямой DODODO, значит примем I=(0,0,t)I=(0,0,t)I=(0,0,t). Расстояние от III до плоскости ABCABCABC равно ∣t∣|t|∣t∣ (берём t>0t>0t>0). Расстояние от III до, скажем, плоскости ABDABDABD по формуле расстояния от точки до плоскости:
d=∣ nc⋅0+ρht−ρ ∣1+(ρ/h)2=ρ(1−t/h)1+(ρ/h)2. d=\frac{\bigl|\;n_c\cdot 0+\frac{\rho}{h}t-\rho\;\bigr|}{\sqrt{1+(\rho/h)^2}}=\frac{\rho(1-t/h)}{\sqrt{1+(\rho/h)^2}}.
d=1+(ρ/h)2 nc ⋅0+hρ t−ρ =1+(ρ/h)2 ρ(1−t/h) . Приравнивая это расстояние к ttt (необходимое условие касания всех четырёх граней одной сферой), получаем уравнение
t=ρ(1−t/h)1+(ρ/h)2. t=\frac{\rho(1-t/h)}{\sqrt{1+(\rho/h)^2}}.
t=1+(ρ/h)2 ρ(1−t/h) . Решая его, положим k=ρ/hk=\rho/hk=ρ/h и получим
tρ=1+k2−k=11+k2+k, \frac{t}{\rho}=\sqrt{1+k^2}-k=\frac{1}{\sqrt{1+k^2}+k},
ρt =1+k2 −k=1+k2 +k1 , откуда после подстановки k=ρ/hk=\rho/hk=ρ/h t=ρhρ+h2+ρ2. t=\frac{\rho h}{\rho+\sqrt{h^2+\rho^2}}.
t=ρ+h2+ρ2 ρh . Это единственное положительное решение, значит центр и радиус существуют и единственны.
4) Внутренность точек касания. Покажем, что точки касания со всеми тремя боковыми гранями лежат внутри соответствующих треугольников (а не вне их). Перпендикуляр из III на грань ABDABDABD пересекает плоскость z=0z=0z=0 в точке, лежащей на луче из OOO к точке касания вписанной окружности треугольника ABCABCABC с ABABAB, причём эта проекция находится между OOO и точки касания окружности (ее координата по нормали меньше ρ\rhoρ). Следовательно, проекция точки касания на z=0z=0z=0 лежит внутри треугольника ABOA B OABO; восстановив долю высоты (координату zzz) как отношение к hhh получаем, что полная точка касания лежит внутри треугольника ABDABDABD. Аналогично для двух других боковых граней. Таким образом касания являются внутренними.
Вывод. Если DDD лежит на перпендикуляре к плоскости ABCABCABC через центр вписанной окружности OOO треугольника ABCABCABC, то для любого положения DDD тетраэдр ABCDABCDABCD имеет вписанную сферу; её центр лежит на DODODO и радиус даётся формулой
r=t=ρhρ+h2+ρ2. r=t=\frac{\rho h}{\rho+\sqrt{h^2+\rho^2}}.
r=t=ρ+h2+ρ2 ρh .