- правильная четырехугольная пирамида, около которой описан конус
⊥ 

см
- осевое сечение конуса, где
и
- образующие конуса
- правильная четырехугольная пирамида, 
∩ 
⊥ 
⊥
тогда
⊥
и
как линейный угол двугранного угла
- центр окружности, описанной около квадрата
, т. е.
⊥ 
тогда 
, где
- диагональ квадрата,
- сторона квадрата
( как диагонали квадрата)
- прямоугольный, равнобедренный, следовательно 
- прямоугольный
,




см
см
(см ²)
см²
Доказательство
1) Возьмем произвольную точку M на биссектрисе угла BAC, проведем перпендикуляр MK и ML к прямым AB и AC
Рассмотрим прямоугольные треугольники AMK и AML. Они равны по гипотенузе и острому углу. (AM - общая гипотенуза, ∠1∠2 по условию\). Следовательно, MKML
2) Пусть точка M лежит внутри угла BAC и равноудалена от его сторон AB и AC. Докажем, что луч AM - биссектриса угла BAC
Проведем перпендикуляры MK и ML к прямым AB и AC. Прямоугольные треугольники AMK и AML - равны по гипотенузе и катету (AM - общая гипотенуза, MKML по условию ). Следовательно, ∠1∠2. Но это и значит, что луч AM - биссектриса угла BAC. Теорема доказана