Math Core

Lesson 3.2 · Parallel and Perpendicular Lines

Proving lines parallel

In the last lesson you started with parallel lines and concluded things about angles. Carpenters, surveyors and engineers usually need the opposite: they can measure angles, and they want to know whether two lines are parallel. That calls for the converses of the theorems you just learned.

Turning the theorems around

Recall that the converse of "if pp, then qq" is "if qq, then pp." A true statement can have a false converse, so each converse needs its own justification. Just as before, one statement is accepted as a postulate and the rest are proved from it.

Ways to prove two lines parallel

If two lines are cut by a transversal and any one of the following is true, then the lines are parallel.

  • Corresponding Angles Converse (postulate): a pair of corresponding angles is congruent.
  • Alternate Interior Angles Converse: a pair of alternate interior angles is congruent.
  • Alternate Exterior Angles Converse: a pair of alternate exterior angles is congruent.
  • Consecutive Interior Angles Converse: a pair of consecutive interior angles is supplementary.

Here is how the Alternate Interior Angles Converse follows from the postulate, using the diagram below.

Lines m and n cut by transversal t. Nothing is assumed about whether m and n are parallel.

Given: ∠3≅∠6\angle 3 \cong \angle 6. Prove: m∥nm \parallel n.

statementreason
1. ∠3≅∠6\angle 3 \cong \angle 6Given
2. ∠2≅∠3\angle 2 \cong \angle 3Vertical Angles Congruence Theorem
3. ∠2≅∠6\angle 2 \cong \angle 6Transitive Property of Congruence
4. m∥nm \parallel nCorresponding Angles Converse

Notice the structure: use known facts to turn the given pair into a corresponding pair, then apply the postulate.

Two more tools

Angle pairs aren't the only way to show lines are parallel. Two theorems let you reason from other parallel or perpendicular lines.

Parallel and perpendicular theorems

  • Transitive Property of Parallel Lines: if two lines are each parallel to a third line, then they are parallel to each other. If p∥qp \parallel q and q∥rq \parallel r, then p∥rp \parallel r.
  • Lines Perpendicular to a Transversal Theorem: in a plane, if two lines are both perpendicular to the same line, then they are parallel to each other.

The second theorem is a special case of the Corresponding Angles Converse: if a⊥ta \perp t and b⊥tb \perp t, then the corresponding angles are both 90∘90^\circ, so they are congruent. The words "in a plane" matter. In three dimensions, two lines perpendicular to the same line can be skew; think of two edges of a box that meet the same vertical edge, one at its top and one at its bottom, and point in different directions.

Choosing the right transversal

When a figure has more than two lines, every angle pair belongs to exactly one transversal, and the conclusion is about the other two lines. To identify them, look at the sides of the two angles. The line that forms a side of both angles is the transversal. The remaining sides lie on the two lines you can prove parallel.

In the diagram below, lines pp and qq are cut by two other lines, rr and ss. Four angles are numbered.

Four lines: p and q (horizontal), r and s (slanted).
  • ∠1\angle 1 and ∠2\angle 2 both have a side on rr. The transversal is rr, and the pair is corresponding, so ∠1≅∠2\angle 1 \cong \angle 2 would prove p∥qp \parallel q.
  • ∠1\angle 1 and ∠3\angle 3 both have a side on pp. The transversal is pp, the pair is corresponding, and ∠1≅∠3\angle 1 \cong \angle 3 would prove r∥sr \parallel s.

Worked example: Finding the value that makes lines parallel

In the first diagram, m∠3=(2x+8)∘m\angle 3 = (2x + 8)^\circ and m∠6=(4x−40)∘m\angle 6 = (4x - 40)^\circ. For what value of xx is m∥nm \parallel n?

∠3\angle 3 and ∠6\angle 6 are alternate interior angles. By the Alternate Interior Angles Converse, the lines are parallel when these angles are congruent:

2x+8=4x−4048=2xx=24\begin{aligned} 2x + 8 &= 4x - 40 \\ 48 &= 2x \\ x &= 24 \end{aligned}

When x=24x = 24, both angles measure 56∘56^\circ, so m∥nm \parallel n.

Worked example: Supplementary angles as evidence

In the first diagram, m∠4=118∘m\angle 4 = 118^\circ and m∠6=64∘m\angle 6 = 64^\circ. Is m∥nm \parallel n?

∠4\angle 4 and ∠6\angle 6 are consecutive interior angles. The lines would be parallel only if these angles were supplementary. But 118+64=182≠180118 + 64 = 182 \ne 180, so mm and nn are not parallel. (In fact, the Consecutive Interior Angles Theorem from the last lesson says that if they were parallel, the sum would have to be 180∘180^\circ.)

Worked example: Which lines are parallel?

In the four-line diagram, you are told ∠2≅∠4\angle 2 \cong \angle 4. Which lines, if any, must be parallel?

∠2\angle 2 has sides on qq and rr. ∠4\angle 4 has sides on qq and ss. The shared line is qq, so qq is the transversal and the conclusion is about rr and ss.

Both angles lie between rr and ss (right of rr, left of ss), and one is above qq while the other is below it. They are alternate interior angles. By the Alternate Interior Angles Converse, r∥sr \parallel s. Nothing can be concluded about pp and qq.

Worked example: A two-column proof

Use the first diagram. Given: ∠1\angle 1 and ∠7\angle 7 are supplementary. Prove: m∥nm \parallel n.

statementreason
1. ∠1\angle 1 and ∠7\angle 7 are supplementaryGiven
2. ∠5\angle 5 and ∠7\angle 7 are supplementaryLinear Pair Postulate
3. ∠1≅∠5\angle 1 \cong \angle 5Congruent Supplements Theorem
4. m∥nm \parallel nCorresponding Angles Converse

Step 3 works because ∠1\angle 1 and ∠5\angle 5 are supplementary to the same angle, ∠7\angle 7. This proof shows that congruent alternate exterior angles aren't the only exterior test: supplementary same-side exterior angles also prove lines parallel.

Common mistake

When you are trying to prove lines parallel, you may not use the theorems that start with "if two parallel lines are cut by a transversal." Those theorems assume what you are trying to prove, which is circular reasoning. Cite the converses instead. Also double-check the transversal: congruent angles prove that the two lines that are not the transversal are parallel.

Tip

A quick way to write reasons correctly: if the statement you are justifying ends in "∥\parallel," the reason should be a converse (or one of the two parallel/perpendicular theorems). If the statement is about angles and you already know the lines are parallel, the reason is an original theorem.

Practice

Problems that mention mm, nn and tt use the first diagram. Problems that mention pp, qq, rr and ss use the four-line diagram.

Practice 1

If ∠2≅∠7\angle 2 \cong \angle 7, which reason justifies the conclusion m∥nm \parallel n?

Practice 2

If m∠3=(3x+14)∘m\angle 3 = (3x + 14)^\circ and m∠7=(5x−12)∘m\angle 7 = (5x - 12)^\circ, what value of xx makes m∥nm \parallel n?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 3

If m∠4=(6x+2)∘m\angle 4 = (6x + 2)^\circ and m∠6=(2x+10)∘m\angle 6 = (2x + 10)^\circ, what value of xx makes m∥nm \parallel n?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 4

Suppose m∠3=62∘m\angle 3 = 62^\circ and m∠5=118∘m\angle 5 = 118^\circ. Can you conclude that m∥nm \parallel n?

Practice 5

In the four-line diagram, suppose ∠3≅∠4\angle 3 \cong \angle 4. Which conclusion is justified?

Practice 6

Lines aa, bb, cc and dd all lie in one plane. You know a⊥ca \perp c, b⊥cb \perp c and d∥ad \parallel a. Which statement must be true?

Practice 7

Complete the proof. Given: ∠1≅∠8\angle 1 \cong \angle 8. Prove: m∥nm \parallel n.

statementreason
1. ∠1≅∠8\angle 1 \cong \angle 8Given
2. ∠8≅∠5\angle 8 \cong \angle 5?
3. ∠1≅∠5\angle 1 \cong \angle 5Transitive Property of Congruence
4. m∥nm \parallel nCorresponding Angles Converse

Which reason belongs in step 2?

Practice 8

In the four-line diagram, m∠1=(5y+5)∘m\angle 1 = (5y + 5)^\circ and m∠3=(8y−40)∘m\angle 3 = (8y - 40)^\circ. What value of yy guarantees that r∥sr \parallel s?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.