Тетраэдр называется каркасным, если существует сфера, касающаяся всех рёбер тетраэдра. Докажите, что тетраэдр является каркасным тогда и только тогда, когда выполнено любое из следующих условий: а) суммы длин противоположных рёбер тетраэдра равны; б) суммы двугранных углов при противоположных рёбрах тетраэдра равны; в) окружности, вписанные в грани тетраэдра, попарно касаются друг друга (это означает, что каждые две окружности, вписанные в грани тетраэдра с общим ребром, касаются этого ребра в одной и той же точке); г) все четырёхугольники, получающиеся на развёртке тетраэдра, являются описанными; д) четыре прямые, каждая из которых проходит через центр вписанной в грань тетраэдра окружности и перпендикулярна к этой грани, пересекаются в одной точке.
Дано: тетраэдр
Сфера и а). Пусть сфера касается рёбер. Два касательных отрезка, проведённых из одной вершины к сфере, равны. Обозначим их длины из
Складывая противоположные рёбра, каждый раз получаем
Обратно, из равенства этих сумм решим систему для
в). В каждой грани три указанных расстояния от вершин совпадают с отрезками касательных к её вписанной окружности. Значит, если выполнено а), окружности соседних граней касаются их общего ребра в одной и той же отмеченной точке. Обратно, при совпадении точек касания из каждой вершины выходят равные касательные отрезки во всех соседних гранях; они дают ту же систему
д). Пусть
г). Развернём две смежные грани вокруг общего ребра. Полученный четырёхугольник описан около окружности тогда и только тогда, когда суммы его противоположных сторон равны (теорема об описанном четырёхугольнике). Подставляя длины сторон, составленные из рёбер тетраэдра, и сокращая общее ребро, получаем равенство двух сумм противоположных рёбер из а). Для всех возможных развёрток получаются оба независимых равенства, поэтому г)
б). Рассечём тетраэдр плоскостью, близкой к вершине, и применим теорему синусов к полученному сферическому треугольнику линейных углов двугранных углов. Формулы для трёх пар противоположных рёбер после сложения дают: равенство сумм противоположных двугранных углов равносильно
Доказано: условия а)–д) равносильны системе
