Пусть R, r – радиусы описанной и вписанной сфер тетраэдра ABCD, О – центр его описанной сферы, L – центр описанной окружности треугольника АВС, Н – проекция I на плоскость АВС. Из условия следует, что О и D' лежат на перпендикуляре к плоскости АВС, проходящем через L, поэтому прямые DO' и IH параллельны (рис. слева). Кроме того, D'A = D'I (как радиусы описанной сферы тетраэдра IABC), OA = R, IH = r.
Дважды применим теорему косинусов – к треугольникам
AD'Oи
OD'I:
R² =
D'A² +
D'O² – 2
D'A'·D'Ocos∠
AD'O, OI2=
D'I² +
D'O² – 2
D'I·D'Ocos∠
ID'O.
Отсюда
R² –
OI² = 2
D'O·|D'Acos∠
AD'O – D'Icos∠
ID'O| = 2
D'O·IH.
Следовательно,
D'O=
1/
2r(
R² –
OI²).
Аналогично доказывается, что и точки
A', B', C'удалены от
Она такое же расстояние.
Таким образом, описанные сферы тетраэдров
ABCDи
A'B'C'D'концентричныи
D'O– радиус описанной сферы тетраэдра
A'B'C'D'.
Докажем, что
D'O > R ⇔
1/
2R(
R² –
OI²) >
r. Для этого проведём плоскость
DOI. Она пересекает описанную и вписанную сферу по окружностям с центрами
O, Iи радиусами
R, r, а тетраэдр – по некоторому треугольнику. Вершина
Dэтого треугольника лежит на большей окружности, а из двух других вершин по крайней мере одна лежит внутри этой окружности. Кроме того, меньшая окружность целиком лежит внутри этого треугольника и внутри большей окружности.
Поэтому, если провести через
Dхорды
DX1и
DY1большей окружности, касающейся меньшей, то меньшая окружность окажется строго внутри треугольника
DX1Y1. Будем "раздувать" меньшую окружность, сохраняя центр и увеличивая радиус (рис. справа). Из соображений непрерывности следует, что наступит момент, когда "раздутая" окружность (некоторого радиуса
r') будет
вписанав треугольник
DX'Y', образованный парой касательных с вершиной в
D.
Этот же треугольник будет
вписанв большую окружность, поэтому для него выполняется
формула Эйлера:
OI² =
R² – 2
Rr'.
Следовательно,
r < r'=
1/
2R(
R² –
OI²).