Т.к. 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).
Пусть M- cередина АС, N - середина АВ. Продолжим ВМ на расстояние ВМ, получим Q, продолжим CN на расстояние CN, получим Р. Рассмотрим четырехугольник APBC, в нем диагонали РС и АВ точкой пересечения N делятся пополам, значит, это параллелограмм (признак такой), значит АР параллельна ВС (определение параллелограмма). Рассмотрим четырехугольник ABCQ, в нем диагонали AС и ВQ точкой пересечения M делятся пополам, значит, это параллелограмм (признак такой), значит АQ параллельна ВС (определение параллелограмма). Итак, в точке А проведены две прямые АР и АQ, параллельные ВС. По 5 постулату Евклида (аксиома параллельности) через точку вне прямой можно провести единственную прямую, параллельную данной, значит, точки А, Р, Q лежат на одной прямой
Рисунок - во вложении.
Т.к. 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).
Рассмотрим четырехугольник APBC, в нем диагонали РС и АВ точкой пересечения N делятся пополам, значит, это параллелограмм (признак такой), значит АР параллельна ВС (определение параллелограмма).
Рассмотрим четырехугольник ABCQ, в нем диагонали AС и ВQ точкой пересечения M делятся пополам, значит, это параллелограмм (признак такой), значит АQ параллельна ВС (определение параллелограмма).
Итак, в точке А проведены две прямые АР и АQ, параллельные ВС. По 5 постулату Евклида (аксиома параллельности) через точку вне прямой можно провести единственную прямую, параллельную данной, значит, точки А, Р, Q лежат на одной прямой