Parallel lines and congruent triangles worksheet with four problems requiring students to prove triangle congruence using given information and geometric reasoning.

Let's solve each problem step-by-step using geometric reasoning, focusing on parallel lines, congruent segments, and triangle congruence theorems (like ASA, SAS, AAS, etc.).

---

🔷 Problem 1:

Given:
- $ \overline{CO} \cong \overline{BO} $
- $ \overrightarrow{AB} \parallel \overrightarrow{CD} $

We are to prove: $ \triangle ABO \cong \triangle DCO $

#### Step-by-step Proof:

| Statements | Reasons |
|-----------|--------|
| 1. $ \overline{CO} \cong \overline{BO} $ | Given |
| 2. $ \overrightarrow{AB} \parallel \overrightarrow{CD} $ | Given |
| 3. $ \angle ABO \cong \angle DCO $ | Alternate interior angles (since AB ∥ CD and transversal is BD) |
| 4. $ \angle AOB \cong \angle DOC $ | Vertical angles are congruent |
| 5. $ \triangle ABO \cong \triangle DCO $ | ASA Congruence (Angle-Side-Angle) |

✔ Explanation: We used two pairs of congruent angles and one included side (CO ≅ BO), so ASA applies.

---

🔷 Problem 2:

Given:
- $ \overline{AD} \cong \overline{CB} $
- $ \overrightarrow{AD} \parallel \overrightarrow{CB} $

Prove: $ \triangle DAB \cong \triangle BCD $

Wait — let’s analyze the figure carefully. The diagram shows a quadrilateral ABCD with AD ≅ CB and AD ∥ CB. Also, diagonal DB is drawn.

We want to prove $ \triangle DAB \cong \triangle BCD $

But note: Points are labeled as A–B–C–D in order, and AD and CB are opposite sides.

Actually, from the diagram and given, this looks like a parallelogram or at least a pair of parallel and congruent sides.

Let’s proceed.

| Statements | Reasons |
|-----------|--------|
| 1. $ \overline{AD} \cong \overline{CB} $ | Given |
| 2. $ \overrightarrow{AD} \parallel \overrightarrow{CB} $ | Given |
| 3. $ \angle ADB \cong \angle CBD $ | Alternate interior angles (AD ∥ CB, transversal DB) |
| 4. $ \overline{DB} \cong \overline{BD} $ | Reflexive Property (same segment) |
| 5. $ \triangle DAB \cong \triangle BCD $ | SAS Congruence (Side-Angle-Side) |

✔ Explanation:
- AD ≅ CB (given)
- ∠ADB ≅ ∠CBD (alternate interior angles due to parallel lines)
- DB ≅ BD (common side)
So by SAS, triangles are congruent.

> Note: The triangle names must match vertex order. So $ \triangle DAB \cong \triangle BCD $ means:
> - D → B
> - A → C
> - B → D

But check: In triangle DAB and BCD:
- DA ≅ BC (given)
- ∠D ≅ ∠B (from alternate interior angles)
- DB ≅ BD (shared)

Yes, correct.

---

🔷 Problem 3:

Given:
- $ \overline{AE} \cong \overline{CF} $
- $ \angle BAC \cong \angle DEF $
- $ \overrightarrow{BC} \parallel \overrightarrow{DF} $

Prove: $ \triangle BAC \cong \triangle DEF $

Note: The diagram shows triangle ABC and triangle DEF with some shared structure.

From the figure:
- AE ≅ CF (so E and F are points on AC and DF?)
- But AE and CF are parts of AC and DF?

Wait — likely: AE and CF are segments such that:
- AE = CF ⇒ so if AC and DF are split into AE and EC, and CF and FD? Not clear.

But also: $ \overrightarrow{BC} \parallel \overrightarrow{DF} $, and $ \angle BAC \cong \angle DEF $

Let’s use what we have.

| Statements | Reasons |
|-----------|--------|
| 1. $ \overline{AE} \cong \overline{CF} $ | Given |
| 2. $ \overrightarrow{BC} \parallel \overrightarrow{DF} $ | Given |
| 3. $ \angle BAC \cong \angle DEF $ | Given |
| 4. $ \angle ABC \cong \angle EDF $ | Corresponding angles: since BC ∥ DF, and AB and ED are transversals? Wait — need to be careful.

Wait — perhaps better to look at the figure:
It appears that:
- Triangle ABC and triangle DEF share angle at A and E.
- AE and CF are marked congruent.
- BC ∥ DF

Also, from the figure:
- AB and DE might be connected?
- But more likely: since BC ∥ DF, and we’re trying to prove triangle congruence, maybe we can find corresponding angles.

But here’s a key idea:
If $ \overrightarrow{BC} \parallel \overrightarrow{DF} $, then:
- $ \angle ACB \cong \angle EFD $ (corresponding angles, if AC and EF are transversals?)

Wait — not quite.

Alternatively, since AE ≅ CF, and assuming E lies on AC and F lies on DF, but that seems messy.

Wait — actually, notice that:
- AE ≅ CF (given)
- If we assume that AC and DF are full sides, and E and F are points such that AE = CF, but unless we know more, it's hard.

But look: the diagram shows:
- Point E on AC, point F on DF?
- And AE ≅ CF
- Also, BC ∥ DF
- ∠BAC ≅ ∠DEF

Wait — perhaps there's a typo or mislabeling?

Alternatively, consider that AE ≅ CF may imply that AC ≅ DF, if E and F are midpoints or something? Not necessarily.

But here’s a better interpretation: Maybe E and F are endpoints, and AE and CF are legs?

Wait — looking at the diagram again:
- Triangle ABC has point E on AC
- Triangle DEF has point F on DF?
- But label: D-E-F? So DEF is triangle.

Wait — perhaps the triangles are ABC and DEF, and:
- AE and CF are parts of AC and DF?
- But AE ≅ CF
- ∠BAC ≅ ∠DEF
- BC ∥ DF

Now, since BC ∥ DF, and AB and DE are transversals, then:
- $ \angle ABC \cong \angle EDF $ (corresponding angles)

Similarly, $ \angle ACB \cong \angle EFD $

But we already have $ \angle BAC \cong \angle DEF $

So all three angles are equal — but that only gives similarity, not congruence.

But we also have AE ≅ CF.

But AE is part of AC, CF is part of DF.

Unless AE and CF are entire sides?

Wait — maybe AE and CF are entire sides? But AE is from A to E, and E is on AC, so probably not.

Alternative idea: Perhaps the notation is misleading.

Wait — re-examine:
"Given: AE ≅ CF, ∠BAC ≅ ∠DEF, and BC ∥ DF"

And we want to prove $ \triangle BAC \cong \triangle DEF $

So triangle BAC = triangle ABC, and triangle DEF.

So we want to show △ABC ≅ △DEF

We are given:
- ∠BAC ≅ ∠DEF
- BC ∥ DF

From BC ∥ DF, and AB and DE as transversals, we get:
- ∠ABC ≅ ∠EDF (corresponding angles)

Also, since BC ∥ DF, and AC and EF are transversals:
- ∠ACB ≅ ∠EFD

So all three angles are congruent ⇒ AAA — but not sufficient for congruence.

But we also have AE ≅ CF

But AE and CF are not sides of the triangles unless E and F are vertices.

Wait — perhaps E and F are points on AC and DF such that AE = CF, and since BC ∥ DF, and other conditions, we can deduce side lengths?

Alternatively, maybe the diagram shows that AC ≅ DF, because AE ≅ CF and EC ≅ FD? But no info.

Wait — another possibility: Since BC ∥ DF, and we have angles at A and E, maybe the triangles are similar and one side is given.

But we need one pair of sides.

Wait — AE and CF are given congruent. But AE is part of AC, and CF is part of DF.

But unless we know that E and F are endpoints, it's unclear.

Wait — perhaps E and F are points such that AE and CF are corresponding sides, and since AE ≅ CF, and angles are equal, maybe SAS?

But which sides?

Wait — perhaps the intended meaning is:

- AE and CF are segments such that AE ≅ CF
- But in the context, maybe AC ≅ DF? No, not stated.

Wait — perhaps the diagram shows that E is on AC, F is on DF, and AE ≅ CF, and also EC ≅ FD? Not given.

This is ambiguous.

But let's try a different approach.

Suppose:
- AE ≅ CF (given)
- ∠BAC ≅ ∠DEF (given)
- BC ∥ DF ⇒ ∠ABC ≅ ∠EDF (corresponding angles)

Then in △ABC and △DEF:
- ∠A ≅ ∠E
- ∠B ≅ ∠D
- So ∠C ≅ ∠F (third angle)

So triangles are similar.

But to prove congruence, we need a side.

But AE ≅ CF — but AE is not a side of either triangle.

Wait — unless AE is AC and CF is DF?

That would make sense if E = C and F = D? But labels don't suggest that.

Alternatively, perhaps the labels are off.

Wait — look at the diagram:
- Triangle ABC: A at top, B left, C right
- Triangle DEF: D bottom-left, E bottom-right, F top?
No — wait: D, E, F — with E between A and C? Probably not.

Wait — in the diagram:
- From A, go down to B and C
- Then from D to E to F
- With AE and CF marked congruent

Possibly:
- AE is a segment from A to E, where E is on AC
- CF is from C to F, where F is on DF?

Too ambiguous.

Wait — perhaps AE and CF are the same length, and since BC ∥ DF, and angles are equal, maybe we can use ASA?

But we need a side between the angles.

Wait — let’s suppose:

From BC ∥ DF, and transversal AB and DE:
- ∠ABC ≅ ∠EDF (corresponding angles)

We are given:
- ∠BAC ≅ ∠DEF
- AE ≅ CF — still problematic

But maybe AE and CF are parts of sides, and we can infer AC ≅ DF?

Not possible without more.

Wait — perhaps AE and CF are the same as AC and DF? That is, maybe E = C and F = D? But then AE = AC, CF = CD — doesn’t help.

Alternatively, maybe the intended meaning is that AC ≅ DF, and AE ≅ CF is a red herring? Unlikely.

Wait — perhaps the diagram shows that AC and DF are cut into segments, and AE ≅ CF, and EC ≅ FD, so AC ≅ DF?

But not stated.

Another idea: Maybe AE and CF are altitudes or medians, but not indicated.

Wait — perhaps the correct way is:

Since BC ∥ DF, then:
- ∠ACB ≅ ∠EFD (alternate interior angles, if AC and EF are transversals)

But we don't know about EF.

Wait — maybe the best path is to realize that with:
- ∠BAC ≅ ∠DEF (given)
- BC ∥ DF ⇒ ∠ABC ≅ ∠EDF (corresponding angles)
- And AE ≅ CF — but if AE and CF are sides from A and C, maybe they are corresponding sides?

Wait — perhaps AE and CF are actually AB and DE? No.

I think there might be a labeling issue.

Wait — look at the diagram:
- Point E is on AC
- Point F is on DF?
- But triangle DEF has points D, E, F — so E is shared?

Wait — maybe E is on AC, and also on DE?

Wait — perhaps the figure shows that AB and DE are parallel, but not stated.

Wait — let's abandon this confusion and go with standard logic.

Assume that:

Given:
- AE ≅ CF
- ∠BAC ≅ ∠DEF
- BC ∥ DF

Want: △BAC ≅ △DEF

From BC ∥ DF, and transversal AB and DE:
- ∠ABC ≅ ∠EDF (corresponding angles)

Now, in △BAC and △DEF:
- ∠BAC ≅ ∠DEF (given)
- ∠ABC ≅ ∠EDF (from parallel lines)
- So ∠ACB ≅ ∠EFD (third angle)

So AA similarity — but not enough.

But now, AE ≅ CF

But AE is from A to E, where E is on AC — so AE is part of AC.

Similarly, CF is from C to F, where F is on DF?

Still not helpful.

Wait — unless E and F are the same point? Unlikely.

Perhaps the diagram is meant to show that AC and DF are congruent, and AE ≅ CF implies EC ≅ FD, but still.

Wait — maybe the intended solution is:

| Statements | Reasons |
|-----------|--------|
| 1. $ \overline{AE} \cong \overline{CF} $ | Given |
| 2. $ \overrightarrow{BC} \parallel \overrightarrow{DF} $ | Given |
| 3. $ \angle BAC \cong \angle DEF $ | Given |
| 4. $ \angle ACB \cong \angle EFD $ | Alternate interior angles (BC ∥ DF, transversal AC and EF?) — but EF not defined |
| 5. $ \triangle BAC \cong \triangle DEF $ | AAS |

But we don't have enough.

Wait — perhaps the missing step is:

From BC ∥ DF, and transversal AC:
- ∠ACB ≅ ∠EFD (if EF is the same line)

But unless EF is parallel or something.

This is too ambiguous.

Wait — perhaps the diagram shows that AC and DF are the same line, but unlikely.

After rechecking common problems, I suspect the intended solution is:

Because BC ∥ DF, and AE ≅ CF, and ∠BAC ≅ ∠DEF, and perhaps AB ∥ DE or something, but not given.

Alternatively, maybe AE and CF are the bases, and the triangles are between parallel lines.

But without more, it's hard.

Wait — perhaps AE and CF are the same as AB and DE? No.

Wait — maybe the labels are mixed up.

Another possibility: Maybe E and F are points such that AE and CF are corresponding sides, and since BC ∥ DF, then ∠ABC = ∠EDF, and ∠BAC = ∠DEF, and AE = CF, but AE is not a side.

I think there might be a typo or mislabeling.

But let’s assume that AC ≅ DF, and AE ≅ CF implies EC ≅ FD, but not helpful.

Wait — perhaps the intended proof is:

| Statements | Reasons |
|-----------|--------|
| 1. $ \overline{AE} \cong \overline{CF} $ | Given |
| 2. $ \overrightarrow{BC} \parallel \overrightarrow{DF} $ | Given |
| 3. $ \angle BAC \cong \angle DEF $ | Given |
| 4. $ \angle ABC \cong \angle EDF $ | Corresponding angles (BC ∥ DF, AB and DE transversals) — but AB and DE not shown parallel |
| 5. $ \triangle BAC \cong \triangle DEF $ | ASA |

But we don't have AB ∥ DE.

Unless from the diagram, AB and DE are drawn as parallel? But not stated.

Given the ambiguity, I’ll skip and move to Problem 4, which is clearer.

---

🔷 Problem 4:

Given:
- $ \overrightarrow{XY} \parallel \overrightarrow{ZV} $
- $ \overrightarrow{XV} \parallel \overrightarrow{YZ} $

Prove: $ \triangle XYV \cong \triangle ZVY $

Note: This is a parallelogram! Because both pairs of opposite sides are parallel.

So quadrilateral XYZV is a parallelogram.

We are to prove $ \triangle XYV \cong \triangle ZVY $

Let’s see:

- XY ∥ ZV (given)
- XV ∥ YZ (given)

So XYZV is a parallelogram.

Diagonal YV connects X to Z, but here we're looking at triangles XYV and ZVY.

Wait — triangle XYV: points X, Y, V
Triangle ZVY: points Z, V, Y

So they share side YV.

In a parallelogram:
- Opposite sides are congruent: XY ≅ ZV, XV ≅ YZ
- Diagonals bisect each other, but not needed here.

Let’s prove congruence.

| Statements | Reasons |
|-----------|--------|
| 1. $ \overrightarrow{XY} \parallel \overrightarrow{ZV} $ | Given |
| 2. $ \overrightarrow{XV} \parallel \overrightarrow{YZ} $ | Given |
| 3. $ \angle XYV \cong \angle ZVY $ | Alternate interior angles (XY ∥ ZV, transversal YV) |
| 4. $ \angle XVY \cong \angle ZYV $ | Alternate interior angles (XV ∥ YZ, transversal YV) |
| 5. $ \triangle XYV \cong \triangle ZVY $ | ASA (Angle-Side-Angle) |

Wait — do we have a side?

We have two angles, but need an included side.

We have:
- ∠XYV ≅ ∠ZVY (from 3)
- ∠XVY ≅ ∠ZYV (from 4)
- Side YV ≅ YV (reflexive)

So yes — ASA!

Because:
- ∠XYV ≅ ∠ZVY
- YV ≅ YV
- ∠XVY ≅ ∠ZYV

So ASA applies.

✔ Conclusion: $ \triangle XYV \cong \triangle ZVY $ by ASA.

---

Final Answers:

---

✔ Problem 1:

| Statements | Reasons |
|-----------|--------|
| 1. $ \overline{CO} \cong \overline{BO} $ | Given |
| 2. $ \overrightarrow{AB} \parallel \overrightarrow{CD} $ | Given |
| 3. $ \angle ABO \cong \angle DCO $ | Alternate interior angles |
| 4. $ \angle AOB \cong \angle DOC $ | Vertical angles are congruent |
| 5. $ \triangle ABO \cong \triangle DCO $ | ASA |

---

✔ Problem 2:

| Statements | Reasons |
|-----------|--------|
| 1. $ \overline{AD} \cong \overline{CB} $ | Given |
| 2. $ \overrightarrow{AD} \parallel \overrightarrow{CB} $ | Given |
| 3. $ \angle ADB \cong \angle CBD $ | Alternate interior angles |
| 4. $ \overline{DB} \cong \overline{BD} $ | Reflexive property |
| 5. $ \triangle DAB \cong \triangle BCD $ | SAS |

---

✘ Problem 3: Ambiguous due to unclear diagram and labeling.

But based on common problems, likely intended:

| Statements | Reasons |
|-----------|--------|
| 1. $ \overline{AE} \cong \overline{CF} $ | Given |
| 2. $ \overrightarrow{BC} \parallel \overrightarrow{DF} $ | Given |
| 3. $ \angle BAC \cong \angle DEF $ | Given |
| 4. $ \angle ABC \cong \angle EDF $ | Corresponding angles (BC ∥ DF, AB and DE transversals) — *assumes AB ∥ DE* |
| 5. $ \triangle BAC \cong \triangle DEF $ | ASA |

But without confirmation of AB ∥ DE, this is speculative.

Better alternative: Perhaps AE and CF are meant to be AC and DF, and the diagram shows them congruent.

But given the information, we'll leave it as:

> Missing information or diagram ambiguity. Likely intended: ASA or AAS, but needs clarification.

---

✔ Problem 4:

| Statements | Reasons |
|-----------|--------|
| 1. $ \overrightarrow{XY} \parallel \overrightarrow{ZV} $ | Given |
| 2. $ \overrightarrow{XV} \parallel \overrightarrow{YZ} $ | Given |
| 3. $ \angle XYV \cong \angle ZVY $ | Alternate interior angles (XY ∥ ZV, transversal YV) |
| 4. $ \angle XVY \cong \angle ZYV $ | Alternate interior angles (XV ∥ YZ, transversal YV) |
| 5. $ \triangle XYV \cong \triangle ZVY $ | ASA |

---

Summary:

- Problems 1, 2, and 4 are solvable with standard geometry.
- Problem 3 requires clarification due to ambiguous labeling.

Let me know if you'd like a visual explanation or correction for Problem 3.