Из точки В проведём перпендикуляр ВД к АС . Для этого продолжим АС, поскольку угол ВАС больше 90, это пересечение будет за пределами треугольника. На плоскости L возьмём точку К. Проведём к ней перпендикуляр ВК из В.Это и будет искомое расстояние. ДС ребро двугранного угла образованного плоскостью L и плоскостью АВС.Угол КДВ=30 это линейный угол данного угла. Найдем ВД. Применим теорему Пифагора. ВД это общий катет треугольников ДВА и ДВС. Обозначим ДА=Х. Тогда( АВ квадрат)-(АД квадрат)=(ВС квадрат-ДС квадрат). Или (169-Х квадрат)=((225-(4+Х)квадрат). 169-Хквадрат=225-16 -8Х-Хквадрат. Отсюда Х=АД=5. Тогда ВД =корень из(АВ квадрат-АДквадрат)=корень из(169-25)=12. ВК=ВД*sin30=12*1/2=6.
Теорема - это высказывание, истинность которого необходимо доказать.
В теореме можно выделить 3 части:
1) преамбула. В ней описываются множества, относительно которых задана теорема. Это области определения высказывания А и высказывания В.
2) условия теоремы. Это предложение А или то что дано в теореме.
3) заключение теоремы. Это предложение В или то что нужно доказать в теореме.
Различают 4 вида теорем:
1. Данная теорема. Например: вертикальные углы равны. Если углы вертикальные, то они равны.
2. Теорема обратная данной. Например: если углы равны, то они вертикальные (данная теорема - ложна).
3. Теорема противоположная данной - Если углы не вертикальные, то они не равны (данная теорема ложна).
4. Теорема противоположная обратной - Если углы не равны, то они не вертикальные. (Истинная теорема)