Т.к. 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 - точка пересечения прямых BC и AD. Если Е не совпадает с D (на чертеже изображен как раз один из таких случаев), то прямоугольные треугольники BED и CED равны по гипотенузе и катету: BD=CD по условию, а ED - общий катет. Отсюда ∠BDE=∠CDE, а т.к. точки A,D,E лежат на одной прямой, то и ∠BDA=∠CDA. (Заметим, что если Е совпала с D, то равенство углов ∠BDA и ∠CDA следует сразу из условия, т.к. BC⊥AD). Далее, треугольники BDA и CDA равны по сторонам и углу между ними (AD - общая, BD=CD по условию, ∠BDA=∠CDA доказали выше), а значит, AB=AC, что и требовалось.
Рисунок - во вложении.
Т.к. 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).
BD=CD по условию, а ED - общий катет. Отсюда ∠BDE=∠CDE,
а т.к. точки A,D,E лежат на одной прямой, то и ∠BDA=∠CDA.
(Заметим, что если Е совпала с D, то равенство углов ∠BDA и ∠CDA следует сразу из условия, т.к. BC⊥AD).
Далее, треугольники BDA и CDA равны по сторонам и углу между ними
(AD - общая, BD=CD по условию, ∠BDA=∠CDA доказали выше), а значит, AB=AC, что и требовалось.