Центр координат поместим в точку А , ось X в сторону точки F , ось Y в сторону точки С , ось Z в сторону точки А1. тогда координаты интересующих нас точек будут : А(0;0;0) А1(0;0;1) С(0;√3;0) В1(-0.5;√3/2;1) уравнение плоскости А1В1С ax+by+cz+d=0 подставим в него координаты точек А1 С и В1
с+d=0 √3b+d=0 -0.5a+√3/2b+c+d=0
положим d=1, тогда с=-1 b=-1/√3 a=-1/√3 нормализованное уравнение плоскости . к= √(1/3+1/3+1)=√(5/3) -1/√5x-1/√5y-√(3/5)z+√(3/5)=0 подставим координаты точки А(0;0;0) в нормализованное уравнение l =| √(3/5) |= √(3/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).
тогда координаты интересующих нас точек будут :
А(0;0;0)
А1(0;0;1)
С(0;√3;0)
В1(-0.5;√3/2;1)
уравнение плоскости А1В1С
ax+by+cz+d=0
подставим в него координаты точек А1 С и В1
с+d=0
√3b+d=0
-0.5a+√3/2b+c+d=0
положим d=1, тогда с=-1 b=-1/√3 a=-1/√3
нормализованное уравнение плоскости .
к= √(1/3+1/3+1)=√(5/3)
-1/√5x-1/√5y-√(3/5)z+√(3/5)=0
подставим координаты точки А(0;0;0) в нормализованное уравнение
l =| √(3/5) |= √(3/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).