Расстояние от точки до прямой - длина перпендикуляра, проведенного из точки к прямой.
Проведем ВН⊥АС. Так как угол АСВ тупой, точка Н будет лежать на продолжении стороны АС (см. плоский чертеж).
ВН - проекция DH на плоскость АВС, ⇒ DH⊥AC по теореме о трех перпендикулярах.
DH - искомая величина.
∠ВСН = 180° - ∠ВСА = 180° - 150° = 30° так как это смежные углы.
В прямоугольном треугольнике ВСН напротив угла в 30° лежит катет, равный половине гипотенузы:
ВН = ВС/2 = 6/2 = 3
ΔDBH: ∠DBH = 90°, по теореме Пифагора
DH = √(DB² + BH²) = √(16 + 9) = 5
Рисунок - во вложении.
Т.к. E и F - внутренние точки отрезка АВ, и по условию АЕ=BF, то
для EB=AB-AE и для AF=AB-BF следует, что EB=AF.
Рассмотрим прямоугольные ΔADF и ΔВСЕ. У них: 1) АD=BC (противолежащие стороны прямоугольника); 2) AF=EB (по доказанному выше). Значит, ΔADF = ΔВСЕ по двум катетам.
Из равенства этих треугольников следует, что ∠DFA=∠СЕВ. Отсюда, ΔEGF - равнобедренный с основанием EF, тогда GF=GE. Доказан пункт Б).
Т.к. АВСD - прямоугольник, то АВ║CD. Тогда ∠EFG=∠GDC(как накрестлежащие при секущей FD) и ∠FEG=∠GCD (как накрестлежащие при секущей ЕС). Отсюда, ΔDGС - равнобедренный с основанием DC, тогда DG=GC. Доказан пункт A).
