Ромб - это параллелограмм, у которого все стороны равны (докажите сами). То есть ромб является параллелограммом.
<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.
Ч. т. д.
Доказательство. Рассмотрим треугольники ABC и A1B1C1, у которых AB = A1B1, ∠A = ∠A1, ∠B = ∠B1 (рис. 83, а), и докажем, что эти треугольники равны.
Мысленно наложим треугольник ABC так, чтобы вершина A совместилась с вершиной A1, сторона AB – с равной ей стороной A1B1, а вершина C и C1 оказались по одну сторону от прямой A1B1 (рис. 83, б).
Так как ∠A = ∠A1 и ∠B = ∠B1, то сторона AC наложится на луч A1C1, а сторона BC – на луч B1C1. Поэтому вершина C – общая точка сторон AC и BC – совместится с общей точкой лучей A1C1 и B1C1, т. е. с точкой C1 (рис. 83, в). Из этого следует, что стороны AC и BC совместятся соответственно со сторонами A1C1 и B1C1. Итак, треугольники полностью совместятся, и, следовательно, они равны. Теорема доказана.
