Ромб - это параллелограмм, у которого все стороны равны (докажите сами). То есть ромб является параллелограммом.
<AOE = <ACB (как соответственные углы при ||-ных прямых OE и BC и их секущей AC).
Тогда треугольники ACB и AOE подобны по двум углам (<A=<A, <AOE=<ACB),
тогда их стороны пропорциональны, то есть:
AC/AO = BC/EO = AB/AE. (*)
Треугольники AOB и COD равны (докажите сами), тогда
AO = CO, тогда
AC/AO = (AO+CO)/AO = 2AO/AO = 2.
Тогда из (*):
2 = BC/EO, отсюда EO = (1/2)*BC,
Но у ромба все стороны равны, то есть BC = DC, поэтому
EO = (1/2)*BC = (1/2)*DC.
Ч. т. д.
Объяснение:
1) Рассмотрим треугольники EFD и CFD:
EF=CF, <EFD= <CFD - по условию, DF - общая.
Следовательно треугольники равны по двум сторонам и углу между ними ( І признак равенства треугольников).
Из равенства треугольников следует равенство сторон и углов: DE=DC, <EDK=<CDK.
2) Рассмотрим треугольники EDK и CDK:
DE=DC, <EDK=<CDK - доказано в п.1, DK - общая.
Треугольник EDK = треугольнику CDK по двум сторонам и углу между ними ( І признак равенства треугольников).
Из равенства треугольников следует равенство углов: <DEK=<DCK, что и требовалось доказать.