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 , then " is "if , then ." 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.
Given: . Prove: .
| statement | reason |
|---|---|
| 1. | Given |
| 2. | Vertical Angles Congruence Theorem |
| 3. | Transitive Property of Congruence |
| 4. | Corresponding 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 and , then .
- 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 and , then the corresponding angles are both , 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 and are cut by two other lines, and . Four angles are numbered.
- and both have a side on . The transversal is , and the pair is corresponding, so would prove .
- and both have a side on . The transversal is , the pair is corresponding, and would prove .
Worked example: Finding the value that makes lines parallel
In the first diagram, and . For what value of is ?
and are alternate interior angles. By the Alternate Interior Angles Converse, the lines are parallel when these angles are congruent:
When , both angles measure , so .
Worked example: Supplementary angles as evidence
In the first diagram, and . Is ?
and are consecutive interior angles. The lines would be parallel only if these angles were supplementary. But , so and 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 .)
Worked example: Which lines are parallel?
In the four-line diagram, you are told . Which lines, if any, must be parallel?
has sides on and . has sides on and . The shared line is , so is the transversal and the conclusion is about and .
Both angles lie between and (right of , left of ), and one is above while the other is below it. They are alternate interior angles. By the Alternate Interior Angles Converse, . Nothing can be concluded about and .
Worked example: A two-column proof
Use the first diagram. Given: and are supplementary. Prove: .
| statement | reason |
|---|---|
| 1. and are supplementary | Given |
| 2. and are supplementary | Linear Pair Postulate |
| 3. | Congruent Supplements Theorem |
| 4. | Corresponding Angles Converse |
Step 3 works because and are supplementary to the same angle, . 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 "," 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 , and use the first diagram. Problems that mention , , and use the four-line diagram.
If , which reason justifies the conclusion ?
If and , what value of makes ?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
If and , what value of makes ?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Suppose and . Can you conclude that ?
In the four-line diagram, suppose . Which conclusion is justified?
Lines , , and all lie in one plane. You know , and . Which statement must be true?
Complete the proof. Given: . Prove: .
| statement | reason |
|---|---|
| 1. | Given |
| 2. | ? |
| 3. | Transitive Property of Congruence |
| 4. | Corresponding Angles Converse |
Which reason belongs in step 2?
In the four-line diagram, and . What value of guarantees that ?
Enter a number. Fractions like 3/4 and sqrt(2) are OK.