СВОЙСТВА РАВНОГРАННОГО ТЕТРАЭДРА
  Любой тетраэдр имеет 4 вершины, 6 рёбер, 4 грани, 4 трёхгранных угла, 6 двугранных углов, 12 плоских углов. Если все 6 рёбер равны, то равными будут и грани, и трёхгранные углы, и плоские; в этом случае тетраэдр - правильный. Из равенства всех 4 граней, однако, ещё не следует правильность тетраэдра; тетраэдр, у которого все грани равны, называется равногранным. Чтобы представить себе равногранный тетраэдр, отличный от правильного, возьмём произвольный остроугольный треугольник из бумаги и будем сгибать его по средним линиям. Тогда три вершины сойдутся в одну точку, а половинки сторон сомкнутся, образуя боковые рёбра тетраэдра
Существует целый ряд свойств тетраэдра, каждое из которых является необходимым и достаточным условием равногранности:
(0) Грани равны
(1) Скрещивающиеся рёбра попарно равны   
(2) Трёхгранные углы равны
(3) Противолежащие двугранные углы равны
(4) Два плоских угла, опирающиеся на одно ребро, равны
(5) Сумма плоских углов при каждой вершине равна 180
(6) Развёртка тетраэдра - треугольник или параллелограмм
(7) Описанный параллелепипед - прямоугольный
(8) Тетраэдр имеет три оси симметрии
(9) Общие перпендикуляры скрещивающихся рёбер попарно перпендикулярны
(10) Средние линии попарно перпендикулярны
(11) Периметры граней равны
(12) Площади граней равны
(13) Высоты (тетраэдра) равны
(14) Отрезки, соединяющие вершины с центром тяжести противоположных граней, равны
(15) Радиусы описанных около граней окружностей равны
(16) Центр тяжести (тетраэдра) совпадает с центром описанной сферы
(17) Центр тяжести (тетраэдра) совпадает с центром вписанной сферы
(18) Центр вписанной сферы совпадает с центром описанной
(19) Вписанная сфера касается граней в центрах описанных около них окружностей
(20) Сумма внешних единичных векторов, перпендикулярных к граням, равна 0.  
(21) Сумма косинусов всех двугранных углов равна 2
Эти условия являются одновременно и свойствами и признаками равногранного тетраэдра. Чтобы вывести равногранность из какого-нибудь условия, надо выстроить целую цепочку промежуточных условий, в которой каждое прямое следствие предыдущего
Проще всего устанавливается, что (0)<=>(1)<=>(2)<=>(3)<=>(4)
Докажем (0)<=>(1)
(0)=>(1)
По условию все грани тетраэдра АВС D равны. Рассмотрим треугольники А D В и D АС: А D – общая, тогда АВ равна либо D С (если так, то из равенства треугольников А D В и D АС следует АС= D В; а из равенства треугольников А D В и СВ D следует А D =ВС, т.е. скрещивающиеся рёбра попарно равны), либо АС (если так, то из равенства треугольников А D В и D АС следует D В= D С, т.е. треугольник – равнобедренный, а остальные – нет, т.е. противоречие)       
(0)<=(1)
По условию АВ= D С, ВС=А D , АС=В D , тогда треугольники АВ D , С D В, ВАС равны по третьему признаку равенства
Докажем (1)<=>(2)
Из (1) следует, что треугольники АВ D , С D В, ВАС равны (доказано выше). Тогда равны и соответствующие углы треугольников, т.е. трёхгранные углы ВАС D , АВС D , САВ D , D АВС равны, т.к. любой трёхгранный угол однозначно определяется своими тремя плоскими углами
Т.к. трёхгранный угол однозначно определяется своими тремя плоскими углами, то следующие доказательства будут аналогичны предыдущему
Дальше можно рассуждать по следующей схеме: (4)=>(5)=>(6)=>(1) (откуда уже следует равносильность первых шести условий)
Докажем (4)=>(5)
Из условия следует, что углы ADB = ACB , ADC = ABC , BDC = BAC . Тогда треугольники ABC , ADC , ADB , BCD подобны, но треугольники ADB и DAC имеют общую сторону, т.е. они равны, аналогично равны между собой и остальные треугольники, т.е. тетраэдр – равногранный
Докажем (5)=>(6)
Разрежем тетраэдр АВС D по рёбрам АВ, АС, А D и рассмотрим развёртку А 1 ВА 2 D А 3 С, тогда в точках В, С и D приложены по три угла, сумма которых 180°, поэтому углы А 1 ВА 2 , А 2 ОА 3 , А 3 СА 1 — развернутые; значит, А 1 А 2 А 3 — треугольник, содержащий точки В, С, D и являющийся разверткой тетраэдра АВС D , Для остальных разверток рассуждение аналогично
Докажем (6)=>(1)
На развёртке (например треугольник) скрещивающиеся рёбра являются противоположными сторонами параллелограмма, т.е. они равны
Наш следующий шаг - доказательство равносильности (1)<=>(7)
Докажем (1)<=>(7)
В самом деле, поскольку скрещивающиеся ребра тетраэдра — диагонали граней описанного параллелепипеда, из попарного равенства ребер следует, что грани описанного параллелепипеда — прямоугольники и наоборот
Теперь мы предлагаем рассуждать по схеме (7)=>(8)=>(9)=>(10)=>(7).  
Докажем (7)=>(8)
Осями симметрии являются прямые, соединяющие центры симметрии противоположных граней описанного ( прямоугольного) параллелепипеда, или, что здесь то же самое, общими перпендикулярами скрещивающихся рёбер
Докажем (8)=>(9)
Общими перпендикулярами скрещивающихся рёбер являются отрезки соединяющие середины противоположных граней описанного параллелограмма (прямоугольного), а это значит, что эти отрезки попарно перпендикулярны (т.к. каждый из отрезков перпендикулярен граням, которые он соединяет)
Докажем (9)=>(10)
Отрезки, соединяющие середины скрещивающихся рёбер – перпендикулярны, но это и есть средние линии
Следующая цепочка рассуждений (0)=>(11),(12),(13),(14),(15). Мы докажем, что (11)=>(1), (12)=>(3), (13)=>(12), (14)=>(1), (4)=>(15); тем самым будет установлена равносильность первых 15 свойств
Докажем (11)=>(1)
Запишем условие (11) в виде a 2 + b 2 + c 2 (1) = a 2 + b 1 + c 1 (2) = b 2 + a 1 + c 1 (3) = c 2 + a 1 + b 1 (4) , где a 1 b 1 c 1 – длины рёбер тетраэдра, исходящих из одной вершины, a 2 b 2 c 2 – длины соответственно скрещивающихся с ними рёбер. (1)-(2)=(3)-(4) или b 2 + c 2 - b 1 - c 1 = b 2 + c 1 - c 2 - b 1 , т.е. 2с 2 =2с 1 или   по-другому с 2 =с 1 , рассуждая аналогично для a 1 , a 2 , b 1 , b 2 ,   получаем a 1 = a 2 , b 1 = b 2 , c 1 = c 2 , а это и есть запись условия (1)
Докажем (12)=>(3)
Для этого утверждения предварительно заметим, что S 4 = S 1 c 14 + S 2 c 24 + S 3 c 34 (**), где S i   - площади i - й грани, а с ij – косинус двугранного угла между i - й и j - й гранью. Соотношение (**) сразу следует из теоремы о площади проекции, если спроектировать все грани тетраэдра на четвёртую грань. Написав ещё три таких соотношения (для трёх других граней) и воспользовавшись условием (12), приходим к системе с 14 +с 24 +с 34 =с 13 +с 23 +с 34 =с 12 +с 23 +с 24 =с 12 +с 13 +с 14 , которая решается точно так же как система из предыдущего утверждения. Получим с 14 =с 23 , с 24 =с 14 , с 34 =с 12 , откуда следует равенство соответствующих углов, т.е. (3).   
Докажем (13)=>(12)
Утверждение, очевидно, следует из формулы для объёма тетраэдра V = Sh /3:
S 1 h 1 /3=S 2 h 2 /3=S 3 h 3 =S 4 h 4 /3 S 1 =S 2 =S 3 =S 4   по условию => h 1 = h 2 = h 3 = h 4
Докажем (14)=>(1)
Обозначим через О i центр тяжести i - й грани и выразим | DO 4 | через стороны   / DA /=/ a /, / DB /=/ b /, / DC /=/ c /. / DO 4 / =/ DA / + / AO 4 / = / DA / + 2/3*/ AE / = / DA / + 2/3*1/2*(/ AB / + / AC /) = 1/3*(/ DA / + / AB /) + 1/3*(/ DA / + / AC /) + 1/3*/ DA / = 1/3*/ DA /+ 1/3*/ DB / + 1/3*/ DC / = 1/3*(/ a /+/ b /+/ c /). Отсюда находим скалярный квадрат вектора / DO 4 /: ( DO 4 ) 2 =1/9*( a 2 + b 2 + c 2 +2/ a /*/ b /+2/ a /*/ c /+2/ b /*/ c /). Обозначив a 1 =| a |, b 1 =| b |, c 1 =| c |, a 2 =| BC |, b 2 =| AC |, c 2 =| AB | и воспользовавшись тем, что / AB /=/ b /-/ a /, / BC /=/ c /-/ b /, / CA /=/ a /-/ c /, можно DO 4 выразить в виде    ( DO 4 ) 2 = 1/3*(( a 1 ) 2 +( b 1 ) 2 +( c 1 ) 2 ) + 1/9*(( a 2 ) 2 +( b 2 ) 2 +( c 2 ) 2 )
Напишем ещё три таких соотношения для трёх остальных граней:
(DO 3 ) 2 =1/3*((a 2 ) 2 +(b 2 ) 2 +(c 1 ) 2 ) + 1/9*((a 1 ) 2 +(b 1 ) 2 +(c 2 ) 2 );
(DO 2 ) 2 =1/3*((a 2 ) 2 +(b 1 ) 2 +(c 2 ) 2 ) + 1/9*((a 1 ) 2 +(b 2 ) 2 +(c 1 ) 2 );
(DO 1 ) 2 =1/3*((a 1 ) 2 +(b 2 ) 2 +(c 2 ) 2 ) + 1/9*((a 2 ) 2 +(b 1 ) 2 +(c 1 ) 2 )
По условию DO 1 = DO 2 = DO 3 = DO 4 приравняем, например, DO 1 = DO 2 , получаем :
1/3*((a 1 ) 2 +(b 2 ) 2 +(c 2 ) 2 ) + 1/9*((a 2 ) 2 +(b 1 ) 2 +(c 1 ) 2 ) = 1/3*((a 2 ) 2 +(b 1 ) 2 +(c 2 ) 2 ) + 1/9*((a 1 ) 2 +(b 2 ) 2 +(c 1 ) 2 ),
1/3*(a 1 ) 2 + 1/3*(b 2 ) 2 + 1/9*(a 2 ) 2 + 1/9*(b 1 ) 2 = 1/3*(a 2 ) 2 + 1/3*(b 1 ) 2 + 1/9*(a 1 ) 2 + 1/9*(b 2 ) 2 ,
2/9*(a 1 ) 2 + 2/9*(b 2 ) 2 =   2/9*(a 2 ) 2 + 2/9*(b 1 ) 2 ,
(a 1 ) 2 + (b 2 ) 2 = (a 2 ) 2 + (b 1 ) 2   (***),
Приравняв DO 3 = DO 4 , получаем:
1/3*((a 2 ) 2 +(b 2 ) 2 +(c 1 ) 2 ) + 1/9*((a 1 ) 2 +(b 1 ) 2 +(c 2 ) 2 ) = 1/3*((a 1 ) 2 +(b 1 ) 2 +(c 1 ) 2 ) + 1/9*((a 2 ) 2 +(b 2 ) 2 +(c 2 ) 2 ),
1/3*(a 2 ) 2 + 1/3*(b 2 ) 2 + 1/9*(a 1 ) 2 + 1/9*(b 1 ) 2 = 1/3*(a 1 ) 2 + 1/3*(b 1 ) 2 + 1/9*(a 2 ) 2 + 1/9*(b 2 ) 2 ,
2/9*(a 2 ) 2 + 2/9*(b 2 ) 2 =   2/9*(a 2 ) 2 + 2/9*(b 1 ) 2 ,
( a 2 ) 2 + ( b 2 ) 2 = ( a 1 ) 2 + ( b 1 ) 2 вычитая из этого равенства (***), получаем:
( a 2 ) 2 -( a 1 ) 2 = ( a 2 ) 2 -( a 1 ) 2 , т.е. получаем, что ( a 2 ) 2 =( a 1 ) 2 , аналогично находим ( b 2 ) 2 =( b 1 ) 2 , ( c 2 ) 2 =( c 1 ) 2 , т.е. получим (1)
Докажем (4)=>(15)
Углы ADB и АСВ оп