АВС - осевое сечение конуса. Тр-к АВС - равнобедренный. ВО - высота конуса - высота сечения, биссектриса и медина, проведенная из вершины В. Угол АВО равен углу ОВС = а. К - центр описанной около треугольника АВС окружности.КМ - высота и медиана равнобедренного тр-ка ВКС. ВМ= МС =ВК умнож на синус угла а, ВК = радиусу опис окружности. ВС = 2ВМ.Тогда высота конуса ОВ = ВС умножить на косинус угла а. ОВ = двум радиусам умноженным на синус угла а и на косинус угла а = радиус умножить на синус двойного угла а.
Так как A внутри BCD, AB=AD, то BAD - тоже равнобедренный треугольник, и у него общее с BCD основание BD. Поставим точку K так, что BK=KD, тогда KC - медиана BCD, KA - медиана BAD. Докажем второй пункт. Как известно, высота равнобедренного треугольника совпадает с его медианой и биссектрисой и является его осью симметрии. Также, любые два равнобедренных треугольника, построенные на одном основании, обладают общей осью симметрии и, как следствие, общей высотой/медианой/биссектрисой. Тогда получаем, что KA⊂KC и все три точки лежат на KC. Это автоматически доказывает первый пункт, т.к. непонятные ∠ACB и ∠ACD превращаются в углы при биссектрисе ∠KCB=∠KCD, которые равны между собой.
Докажем второй пункт. Как известно, высота равнобедренного треугольника совпадает с его медианой и биссектрисой и является его осью симметрии. Также, любые два равнобедренных треугольника, построенные на одном основании, обладают общей осью симметрии и, как следствие, общей высотой/медианой/биссектрисой. Тогда получаем, что KA⊂KC и все три точки лежат на KC.
Это автоматически доказывает первый пункт, т.к. непонятные ∠ACB и ∠ACD превращаются в углы при биссектрисе ∠KCB=∠KCD, которые равны между собой.