Question

What are the steps for Given: start overline, A, E, end overline, \parallel, start overline, F, D, end overline, comma
AE
∥
FD
, start overline, E, C, end overline, \cong, start overline, B, F, end overline
EC
≅
BF
and angle, A, B, F, \cong, angle, E, C, D, .∠ABF≅∠ECD.

Prove: start overline, A, B, end overline, \cong, start overline, C, D, end overline
AB
≅
CD
.

Answer 1

I need one small clarification about the diagram before I can give a correct step‑by‑step proof.

Which of these (if any) are true in the picture?

- Is B on line AE (i.e. A, B, E are collinear)?
- Is C on line AE (i.e. A, C, E are collinear)?
- Is E the point where the two parallel lines are connected to the other triangle (i.e. are AF and DE transversals between the parallel lines)?
- Any other collinearities (e.g. is F on AE, D on AE, B on FD, C on FD)?

With only the three givens AE ∥ FD, EC ≅ BF, and ∠ABF ≅ ∠ECD the configuration is ambiguous; different collinearities change what angle equalities follow from the parallelism and therefore change the congruence argument.

If you confirm, for example, that A, B, E are collinear and F, D are collinear (so BA lies on AE and DC lies on FD), then the standard proof is:

1. Consider triangles ABF and ECD.
2. BF ≅ EC (given).
3. ∠ABF ≅ ∠ECD (given).
4. AE ∥ FD gives ∠AFB ≅ ∠EDC (alternate interior angles with transversals FB and DC, under the collinearity assumption above).
5. Thus triangles ABF and ECD have two angles and the included side equal → triangles ≅ by ASA.
6. Therefore AB ≅ CD.

If that matches your picture, I can write the full formal proof; if not, please tell me which points are collinear (or upload/sketch the diagram) and I will give the correct step‑by‑step proof.