В тетраэдре ABCD известно, что площади трёх лиц, имеющих общую вершину A, равны; исследуйте возможные соотношения между ребрами тетраэдра, условия существования и приведите конструктивные примеры
Коротко и по существу. Обозначим длины рёбер, исходящих из вершины AAA, через AB=u, AC=v, AD=w\;AB=u,\;AC=v,\;AD=wAB=u,AC=v,AD=w, а плоские углы при AAA в треугольниках ABC,ABD,ACDABC,ABD,ACDABC,ABD,ACD через α=∠BAC, β=∠BAD, γ=∠CAD\;\alpha=\angle BAC,\;\beta=\angle BAD,\;\gamma=\angle CADα=∠BAC,β=∠BAD,γ=∠CAD. Равенство площадей этих трёх граней эквивалентно равенству (всех трёх) величин 12 uvsinα=12 uwsinβ=12 vwsinγ.
\frac12\,u v\sin\alpha=\frac12\,u w\sin\beta=\frac12\,v w\sin\gamma. 21uvsinα=21uwsinβ=21vwsinγ.
Отсюда получают удобные соотношения vsinα=wsinβ,usinα=wsinγ,usinβ=vsinγ,
v\sin\alpha=w\sin\beta,\qquad u\sin\alpha=w\sin\gamma,\qquad u\sin\beta=v\sin\gamma, vsinα=wsinβ,usinα=wsinγ,usinβ=vsinγ,
или эквивалентно sinαw=sinβv=sinγu.
\frac{\sin\alpha}{w}=\frac{\sin\beta}{v}=\frac{\sin\gamma}{u}. wsinα=vsinβ=usinγ. Условия существования. Пусть общая (двукратная) площадь каждой из трёх граней равна 2S2S2S. Тогда sinα=2Suv,sinβ=2Suw,sinγ=2Svw,
\sin\alpha=\frac{2S}{uv},\qquad \sin\beta=\frac{2S}{uw},\qquad \sin\gamma=\frac{2S}{vw}, sinα=uv2S,sinβ=uw2S,sinγ=vw2S,
поэтому обязательно 0<2S≤min(uv,uw,vw).
0<2S\le\min(uv,uw,vw). 0<2S≤min(uv,uw,vw).
Далее знаки косинусов определяются как cosα=±1−(2S/(uv))2\cos\alpha=\pm\sqrt{1-(2S/(uv))^2}cosα=±1−(2S/(uv))2 и т.д.; однако для того, чтобы такие три угла были геометрически реализуемы как углы между тремя векторами в R3\mathbb R^3R3, их косинусы должны удовлетворять неравенству, эквивалентному положительной определённости матрицы Грама: Δ:=1+2cosαcosβcosγ−(cos2α+cos2β+cos2γ)≥0.
\Delta:=1+2\cos\alpha\cos\beta\cos\gamma-(\cos^2\alpha+\cos^2\beta+\cos^2\gamma)\ge0. Δ:=1+2cosαcosβcosγ−(cos2α+cos2β+cos2γ)≥0.
При Δ>0\Delta>0Δ>0 тетраэдр невырожденный; при Δ=0\Delta=0Δ=0 точки A,B,C,DA,B,C,DA,B,C,D копланарны (вырождающийся случай). Таким образом полная условие существования: найдётся SSS с 0<2S≤min(uv,uw,vw)0<2S\le\min(uv,uw,vw)0<2S≤min(uv,uw,vw) и выбор знаков косинусов, такой что Δ>0\Delta>0Δ>0. Практически это интерпретуется так: выбрать u,v,wu,v,wu,v,w и взять SSS не слишком близко к границе min(uv,uw,vw)/2\min(uv,uw,vw)/2min(uv,uw,vw)/2, затем задать углы по синусам и проверить Δ>0\Delta>0Δ>0. Частные случаи и соотношения рёбер: - Симметрический случай: если u=v=wu=v=wu=v=w, то из равенств площадей следует sinα=sinβ=sinγ\sin\alpha=\sin\beta=\sin\gammasinα=sinβ=sinγ, а значит при невырожденном случае α=β=γ\alpha=\beta=\gammaα=β=γ и получаем регулярный (или изометричный по вершине AAA) тетраэдр. - Если, например, α=90∘\alpha=90^\circα=90∘ (то есть AB⊥ACAB\perp ACAB⊥AC), то из равенств площадей получаем sinβ=vw,sinγ=uw,
\sin\beta=\frac v w,\qquad \sin\gamma=\frac u w, sinβ=wv,sinγ=wu,
а условие существования упрощается к неравенству max(u,v)≤w≤u2+v2,
\max(u,v)\le w\le\sqrt{u^2+v^2}, max(u,v)≤w≤u2+v2,
(граница сверху даёт вырождение Δ=0\Delta=0Δ=0). Это даёт простой класс конструктивных примеров (см. ниже). Конструктивные примеры. 1) Регулярный тетраэдр: взять все рёбра равными, например все длины 111. Тогда три грани при AAA равны. 2) Пример с AB⊥ACAB\perp ACAB⊥AC. Возьмём u=3,v=4,w=4.5.
u=3,\quad v=4,\quad w=4.5. u=3,v=4,w=4.5.
Тогда при α=90∘\alpha=90^\circα=90∘ получается общая площадь каждой из трёх граней S=12uvsinα=12⋅3⋅4⋅1=6,
S=\tfrac12 uv\sin\alpha=\tfrac12\cdot3\cdot4\cdot1=6, S=21uvsinα=21⋅3⋅4⋅1=6,
и sinβ=2Suw=1213.5=44.5≈0.8889,sinγ=2Svw=1218=34.5≈0.6667.
\sin\beta=\frac{2S}{uw}=\frac{12}{13.5}=\frac{4}{4.5}\approx0.8889,\qquad \sin\gamma=\frac{2S}{vw}=\frac{12}{18}= \frac{3}{4.5}\approx0.6667. sinβ=uw2S=13.512=4.54≈0.8889,sinγ=vw2S=1812=4.53≈0.6667.
Косинусы и Δ\DeltaΔ дают Δ>0\Delta>0Δ>0, значит тетраэдр невырожден. Координатная конструкция: положим A=(0,0,0)A=(0,0,0)A=(0,0,0), B=(3,0,0)B=(3,0,0)B=(3,0,0), C=(0,4,0)C=(0,4,0)C=(0,4,0). Для DDD возьмём единичный вектор d^=(cosβ,cosγ,z)\hat d=(\cos\beta,\cos\gamma,z)d^=(cosβ,cosγ,z) с z=1−cos2β−cos2γ>0z=\sqrt{1-\cos^2\beta-\cos^2\gamma}>0z=1−cos2β−cos2γ>0, и положим D=wd^≈(2.0625, 3.3557, 2.1780).
D=w\hat d\approx(2.0625,\;3.3557,\;2.1780). D=wd^≈(2.0625,3.3557,2.1780).
Это даёт невырожденный тетраэдр с тремя равными площадями граней при AAA. Заключение. Равенство площадей трёх граней при вершине AAA эквивалентно соотношению sinαw=sinβv=sinγu\frac{\sin\alpha}{w}=\frac{\sin\beta}{v}=\frac{\sin\gamma}{u}wsinα=vsinβ=usinγ. Для заданных длин u,v,wu,v,wu,v,w существует тетраэдр с этим свойством тогда и только тогда, когда можно выбрать SSS в диапазоне 0<2S≤min(uv,uw,vw)0<2S\le\min(uv,uw,vw)0<2S≤min(uv,uw,vw) и знаки косинусов так, чтобы матрица Грама трёх векторов от AAA была положительно определённой (условие Δ>0\Delta>0Δ>0). Важные частные классы — полностью симметричный u=v=wu=v=wu=v=w и ситуация с прямым углом α=90∘\alpha=90^\circα=90∘ (дающая простой явный неравностный интервал для www).
Обозначим длины рёбер, исходящих из вершины AAA, через
AB=u, AC=v, AD=w\;AB=u,\;AC=v,\;AD=wAB=u,AC=v,AD=w,
а плоские углы при AAA в треугольниках ABC,ABD,ACDABC,ABD,ACDABC,ABD,ACD через
α=∠BAC, β=∠BAD, γ=∠CAD\;\alpha=\angle BAC,\;\beta=\angle BAD,\;\gamma=\angle CADα=∠BAC,β=∠BAD,γ=∠CAD.
Равенство площадей этих трёх граней эквивалентно равенству (всех трёх) величин
12 uvsinα=12 uwsinβ=12 vwsinγ. \frac12\,u v\sin\alpha=\frac12\,u w\sin\beta=\frac12\,v w\sin\gamma.
21 uvsinα=21 uwsinβ=21 vwsinγ. Отсюда получают удобные соотношения
vsinα=wsinβ,usinα=wsinγ,usinβ=vsinγ, v\sin\alpha=w\sin\beta,\qquad u\sin\alpha=w\sin\gamma,\qquad u\sin\beta=v\sin\gamma,
vsinα=wsinβ,usinα=wsinγ,usinβ=vsinγ, или эквивалентно
sinαw=sinβv=sinγu. \frac{\sin\alpha}{w}=\frac{\sin\beta}{v}=\frac{\sin\gamma}{u}.
wsinα =vsinβ =usinγ .
Условия существования. Пусть общая (двукратная) площадь каждой из трёх граней равна 2S2S2S. Тогда
sinα=2Suv,sinβ=2Suw,sinγ=2Svw, \sin\alpha=\frac{2S}{uv},\qquad \sin\beta=\frac{2S}{uw},\qquad \sin\gamma=\frac{2S}{vw},
sinα=uv2S ,sinβ=uw2S ,sinγ=vw2S , поэтому обязательно
0<2S≤min(uv,uw,vw). 0<2S\le\min(uv,uw,vw).
0<2S≤min(uv,uw,vw). Далее знаки косинусов определяются как
cosα=±1−(2S/(uv))2\cos\alpha=\pm\sqrt{1-(2S/(uv))^2}cosα=±1−(2S/(uv))2 и т.д.; однако для того, чтобы такие три угла были геометрически реализуемы как углы между тремя векторами в R3\mathbb R^3R3, их косинусы должны удовлетворять неравенству, эквивалентному положительной определённости матрицы Грама:
Δ:=1+2cosαcosβcosγ−(cos2α+cos2β+cos2γ)≥0. \Delta:=1+2\cos\alpha\cos\beta\cos\gamma-(\cos^2\alpha+\cos^2\beta+\cos^2\gamma)\ge0.
Δ:=1+2cosαcosβcosγ−(cos2α+cos2β+cos2γ)≥0. При Δ>0\Delta>0Δ>0 тетраэдр невырожденный; при Δ=0\Delta=0Δ=0 точки A,B,C,DA,B,C,DA,B,C,D копланарны (вырождающийся случай).
Таким образом полная условие существования: найдётся SSS с 0<2S≤min(uv,uw,vw)0<2S\le\min(uv,uw,vw)0<2S≤min(uv,uw,vw) и выбор знаков косинусов, такой что Δ>0\Delta>0Δ>0. Практически это интерпретуется так: выбрать u,v,wu,v,wu,v,w и взять SSS не слишком близко к границе min(uv,uw,vw)/2\min(uv,uw,vw)/2min(uv,uw,vw)/2, затем задать углы по синусам и проверить Δ>0\Delta>0Δ>0.
Частные случаи и соотношения рёбер:
- Симметрический случай: если u=v=wu=v=wu=v=w, то из равенств площадей следует sinα=sinβ=sinγ\sin\alpha=\sin\beta=\sin\gammasinα=sinβ=sinγ, а значит при невырожденном случае α=β=γ\alpha=\beta=\gammaα=β=γ и получаем регулярный (или изометричный по вершине AAA) тетраэдр.
- Если, например, α=90∘\alpha=90^\circα=90∘ (то есть AB⊥ACAB\perp ACAB⊥AC), то из равенств площадей получаем
sinβ=vw,sinγ=uw, \sin\beta=\frac v w,\qquad \sin\gamma=\frac u w,
sinβ=wv ,sinγ=wu , а условие существования упрощается к неравенству
max(u,v)≤w≤u2+v2, \max(u,v)\le w\le\sqrt{u^2+v^2},
max(u,v)≤w≤u2+v2 , (граница сверху даёт вырождение Δ=0\Delta=0Δ=0). Это даёт простой класс конструктивных примеров (см. ниже).
Конструктивные примеры.
1) Регулярный тетраэдр: взять все рёбра равными, например все длины 111. Тогда три грани при AAA равны.
2) Пример с AB⊥ACAB\perp ACAB⊥AC. Возьмём
u=3,v=4,w=4.5. u=3,\quad v=4,\quad w=4.5.
u=3,v=4,w=4.5. Тогда при α=90∘\alpha=90^\circα=90∘ получается общая площадь каждой из трёх граней
S=12uvsinα=12⋅3⋅4⋅1=6, S=\tfrac12 uv\sin\alpha=\tfrac12\cdot3\cdot4\cdot1=6,
S=21 uvsinα=21 ⋅3⋅4⋅1=6, и
sinβ=2Suw=1213.5=44.5≈0.8889,sinγ=2Svw=1218=34.5≈0.6667. \sin\beta=\frac{2S}{uw}=\frac{12}{13.5}=\frac{4}{4.5}\approx0.8889,\qquad
\sin\gamma=\frac{2S}{vw}=\frac{12}{18}= \frac{3}{4.5}\approx0.6667.
sinβ=uw2S =13.512 =4.54 ≈0.8889,sinγ=vw2S =1812 =4.53 ≈0.6667. Косинусы и Δ\DeltaΔ дают Δ>0\Delta>0Δ>0, значит тетраэдр невырожден. Координатная конструкция:
положим A=(0,0,0)A=(0,0,0)A=(0,0,0), B=(3,0,0)B=(3,0,0)B=(3,0,0), C=(0,4,0)C=(0,4,0)C=(0,4,0). Для DDD возьмём единичный вектор
d^=(cosβ,cosγ,z)\hat d=(\cos\beta,\cos\gamma,z)d^=(cosβ,cosγ,z) с z=1−cos2β−cos2γ>0z=\sqrt{1-\cos^2\beta-\cos^2\gamma}>0z=1−cos2β−cos2γ >0, и положим
D=wd^≈(2.0625, 3.3557, 2.1780). D=w\hat d\approx(2.0625,\;3.3557,\;2.1780).
D=wd^≈(2.0625,3.3557,2.1780). Это даёт невырожденный тетраэдр с тремя равными площадями граней при AAA.
Заключение. Равенство площадей трёх граней при вершине AAA эквивалентно соотношению
sinαw=sinβv=sinγu\frac{\sin\alpha}{w}=\frac{\sin\beta}{v}=\frac{\sin\gamma}{u}wsinα =vsinβ =usinγ . Для заданных длин u,v,wu,v,wu,v,w существует тетраэдр с этим свойством тогда и только тогда, когда можно выбрать SSS в диапазоне 0<2S≤min(uv,uw,vw)0<2S\le\min(uv,uw,vw)0<2S≤min(uv,uw,vw) и знаки косинусов так, чтобы матрица Грама трёх векторов от AAA была положительно определённой (условие Δ>0\Delta>0Δ>0). Важные частные классы — полностью симметричный u=v=wu=v=wu=v=w и ситуация с прямым углом α=90∘\alpha=90^\circα=90∘ (дающая простой явный неравностный интервал для www).