Т.к. 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).
Введем дополнительные обозначения: Пусть окружность касается стороны CD в точке К, ОЕ1 и ОЕ2 - высоты трапеции АОQD a) по условию АВ-диаметр окружности, значит АО=ОВ=R ABCD - равнобедренная трапеция, следовательно ∠ВАD=∠CDA и AB=CD=2R Если Q - середина CD, то ОQ - средняя линия трапеции. Следовательно AO=OB=CQ=QD=R Также АО=ОН=R, то есть ΔАОН-равнобедренный, значит ∠ВАD=∠OHA При этом ∠ВАD=∠CDA, следовательно ∠OHA=∠CDA, значит эти углы соответственные при параллельных прямых ОН и DQ и секущей АD. Итак, ОН=QD и ОН || QD, следовательно DQOH-параллелограмм.
б) ∠ВАD=∠OHA=60° ∠АОН=180°-(∠ВАD+∠OHA)=180°-(60°+60°)=60° - ΔАОН - равносторонний, следовательно АН=R ∠ABC=∠BCD=180°-60°=120° Если окружность касается CD, то ∠OKC=90° и ОК=R Сумма всех углов в четырехугольнике равна 360° ∠ВОК=360°-(∠ОВС+∠OKC+∠DCK)=360°-(120°+90°+120°)=30° Если ОQ -средняя линия трапеции, то OQ || AD, следовательно ∠BAD=∠BOQ=60° ∠KOQ=∠BOQ-∠ВОК=60°-30°=30° ΔOQK -прямоугольный с прямым углом OKQ OQ=HD- так как DQOH-параллелограмм средняя линия трапеции =(а+в)/2
Рисунок - во вложении.
Т.к. 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).