Parallelism Relationship

Conjecture 5

The line segments AB is parallel to the line segment EF and its length equals half of it.

i.e. AB // EF and AB = 0.5 EF







Hint

The line segment joining the midpoints of two sides of a triangle is parallel to the third side and its length equals half of it.

 Please enable Java for an interactive construction (with Cinderella).
Drag free elements (free points (A and B), semi free points (C and D), or even the edge of either circle) to check correctness of the conjecture.