У колі з радіусами АО і ОВ пряма а проходить через середини радіусів так, що ОЕ = ОА/4. Оскільки відстань - це перпендикуляр, маємо прямокутний трикутник КОЕ та РОЕ. З прямокутного трикутника КОЕ: ОК = ОА/2, ОЕ = ОА/4. Тобто, катет ОЕ у два рази менший за гіпотенузу ОК. Катет, що дорівнює половині гіпотенузи, лежить проти кута 30 градусів. Тобто, кут ОКЕ = 30 градусів. Кут КОЕ = 90 - 30 = 60 градусів. Трикутники КОЕ та РОЕ рівні за прямим кутом та гіпотенузою, тобто кути КОЕ та РОЕ рівні і дорівнюють по 60 градусів. Кут АОВ = <KOE + <POE = 60 + 60 = 120 градусів.
Т.к. 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).
Рисунок - во вложении.
Т.к. 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).