These proofs run the parallel-line theorems backwards. Instead of being told the lines are parallel and concluding the angles are congruent, you are given the angles and must conclude the lines are parallel. Each theorem has a converse: congruent alternate interior angles prove the lines parallel, so do congruent corresponding angles, and so do supplementary same-side interior angles. Hard also goes the long way round: prove two triangles congruent, get the angles by CPCTC, then use the converse.
Select your difficulty
Pick more than one for a sheet that mixes them.
The preview can look cramped on a phone. The PDF and printed sheet come out normal.
Complete each proof. From a figure you may assume points on a line, points between others, and where lines meet; do not assume congruent parts, right angles or parallel lines.
Fill in the missing reasons
Given: AB∥CD∠ABC and ∠CDE are supplementaryProve: BC∥DEStatements1.AB∥CD2.∠ABC≅∠BCD3.m∠ABC=m∠BCD4.∠ABC and ∠CDE are supplementary5.m∠ABC+m∠CDE=180∘6.m∠BCD+m∠CDE=180∘7.∠BCD and ∠CDE are supplementary8.BC∥DEReasonsGivenAlternate interior angles of parallel lines are congruentGivenDefinition of supplementary anglesDefinition of supplementary angles
Given: ∠STU and ∠UVS are right anglesST≅UVProve: SV∥TUStatements1.∠STU and ∠UVS are right angles2.ST≅UV3.SU≅US4.△STU≅△UVS5.∠TUS≅∠VSU6.SV∥TUReasonsGivenHLIf alternate interior angles are congruent, the lines are parallel
Given: Y is the midpoint of XTWX≅ZYWY≅ZTProve: WX∥ZYStatements1.Y is the midpoint of XT2.XY≅YT3.WX≅ZY4.WY≅ZT5.△WXY≅△ZYT6.∠WXY≅∠ZYT7.WX∥ZYReasonsGivenGivenSSSCPCTC
Given: KL∥NPm∠LKM=m∠PNQProve: KM∥NQStatements1.KL∥NP2.∠LKN≅∠KNP3.m∠LKN=m∠KNP4.m∠LKM=m∠PNQ5.m∠LKN+m∠NKM=m∠LKM6.m∠PNK+m∠KNQ=m∠PNQ7.m∠NKM=m∠KNQ8.∠NKM≅∠KNQ9.KM∥NQReasonsGivenAlternate interior angles of parallel lines are congruentDefinition of congruent anglesAngle addition postulateAngle addition postulateSubtraction property
Fill in every reason
Given: UW bisects ∠TUVXU≅XWProve: WX∥UVUse the word bank.Statements1.UW bisects ∠TUV2.∠XUW≅∠WUV3.XU≅XW4.∠XUW≅∠XWU5.∠XWU≅∠WUV6.WX∥UVReasonsWord bank: ASA · If alternate interior angles are congruent, the lines are parallel · Subtraction property · Transitive property · CPCTC · Definition of complementary angles · Given · Definition of an angle bisector · Base angles of an isosceles triangle are congruent
Given: PT≅STQT≅RTProve: PQ∥RSUse the word bank.Statements1.PT≅ST2.QT≅RT3.∠PTQ≅∠STR4.△PQT≅△SRT5.∠QPT≅∠RST6.PQ∥RSReasonsWord bank: Given · Vertical angles are congruent · Sides opposite congruent angles are congruent · Third angles theorem · Definition of perpendicular · Exterior angle theorem · If alternate interior angles are congruent, the lines are parallel · SAS · CPCTC
Given: ∠1 and ∠7 are supplementaryProve: ℓ∥mUse the word bank.Statements1.∠1 and ∠7 are supplementary2.∠1≅∠43.∠7≅∠64.m∠1+m∠7=180∘5.m∠1=m∠4 and m∠7=m∠66.m∠4+m∠6=180∘7.∠4 and ∠6 are supplementary8.ℓ∥mReasonsWord bank: Definition of a right angle · If same-side interior angles are supplementary, the lines are parallel · Substitution · Definition of congruent angles · CPCTC · Vertical angles are congruent · Given · Angle addition postulate · If alternate interior angles are congruent, the lines are parallel · All right angles are congruent · Definition of supplementary angles
Given: FJ meets HI at Lm∠GFJ+m∠IHJ=m∠FJHProve: FG∥HIUse the word bank.Statements1.FJ meets HI at L2.m∠GFJ+m∠IHJ=m∠FJH3.m∠JLH+m∠IHJ=m∠FJH4.m∠GFJ+m∠IHJ=m∠JLH+m∠IHJ5.m∠GFJ=m∠JLH6.∠GFJ≅∠JLH7.FG∥HIReasonsWord bank: Given · Substitution · Definition of congruent angles · If alternate interior angles are congruent, the lines are parallel · Definition of supplementary angles · AAS · Supplements of congruent angles are congruent · Exterior angle theorem · Subtraction property · Definition of complementary angles
Complete each proof. From a figure you may assume points on a line, points between others, and where lines meet; do not assume congruent parts, right angles or parallel lines.
Fill in the missing reasons
Given: AB∥CD∠ABC and ∠CDE are supplementaryProve: BC∥DEStatements1.AB∥CD2.∠ABC≅∠BCD3.m∠ABC=m∠BCD4.∠ABC and ∠CDE are supplementary5.m∠ABC+m∠CDE=180∘6.m∠BCD+m∠CDE=180∘7.∠BCD and ∠CDE are supplementary8.BC∥DEReasonsGivenAlternate interior angles of parallel lines are congruentGivenDefinition of supplementary anglesDefinition of supplementary angles3.Definition of congruent angles6.Substitution8.If same-side interior angles are supplementary, the lines are parallel
Given: ∠STU and ∠UVS are right anglesST≅UVProve: SV∥TUStatements1.∠STU and ∠UVS are right angles2.ST≅UV3.SU≅US4.△STU≅△UVS5.∠TUS≅∠VSU6.SV∥TUReasonsGivenHLIf alternate interior angles are congruent, the lines are parallel2.Given3.Reflexive property5.CPCTC
Given: Y is the midpoint of XTWX≅ZYWY≅ZTProve: WX∥ZYStatements1.Y is the midpoint of XT2.XY≅YT3.WX≅ZY4.WY≅ZT5.△WXY≅△ZYT6.∠WXY≅∠ZYT7.WX∥ZYReasonsGivenGivenSSSCPCTC2.Definition of midpoint3.Given7.If corresponding angles are congruent, the lines are parallel
Given: KL∥NPm∠LKM=m∠PNQProve: KM∥NQStatements1.KL∥NP2.∠LKN≅∠KNP3.m∠LKN=m∠KNP4.m∠LKM=m∠PNQ5.m∠LKN+m∠NKM=m∠LKM6.m∠PNK+m∠KNQ=m∠PNQ7.m∠NKM=m∠KNQ8.∠NKM≅∠KNQ9.KM∥NQReasonsGivenAlternate interior angles of parallel lines are congruentDefinition of congruent anglesAngle addition postulateAngle addition postulateSubtraction property4.Given8.Definition of congruent angles9.If alternate interior angles are congruent, the lines are parallel
Fill in every reason
Given: UW bisects ∠TUVXU≅XWProve: WX∥UVUse the word bank.Statements1.UW bisects ∠TUV2.∠XUW≅∠WUV3.XU≅XW4.∠XUW≅∠XWU5.∠XWU≅∠WUV6.WX∥UVReasonsWord bank: ASA · If alternate interior angles are congruent, the lines are parallel · Subtraction property · Transitive property · CPCTC · Definition of complementary angles · Given · Definition of an angle bisector · Base angles of an isosceles triangle are congruent1.Given2.Definition of an angle bisector3.Given4.Base angles of an isosceles triangle are congruent5.Transitive property6.If alternate interior angles are congruent, the lines are parallel
Given: PT≅STQT≅RTProve: PQ∥RSUse the word bank.Statements1.PT≅ST2.QT≅RT3.∠PTQ≅∠STR4.△PQT≅△SRT5.∠QPT≅∠RST6.PQ∥RSReasonsWord bank: Given · Vertical angles are congruent · Sides opposite congruent angles are congruent · Third angles theorem · Definition of perpendicular · Exterior angle theorem · If alternate interior angles are congruent, the lines are parallel · SAS · CPCTC1.Given2.Given3.Vertical angles are congruent4.SAS5.CPCTC6.If alternate interior angles are congruent, the lines are parallel
Given: ∠1 and ∠7 are supplementaryProve: ℓ∥mUse the word bank.Statements1.∠1 and ∠7 are supplementary2.∠1≅∠43.∠7≅∠64.m∠1+m∠7=180∘5.m∠1=m∠4 and m∠7=m∠66.m∠4+m∠6=180∘7.∠4 and ∠6 are supplementary8.ℓ∥mReasonsWord bank: Definition of a right angle · If same-side interior angles are supplementary, the lines are parallel · Substitution · Definition of congruent angles · CPCTC · Vertical angles are congruent · Given · Angle addition postulate · If alternate interior angles are congruent, the lines are parallel · All right angles are congruent · Definition of supplementary angles1.Given2.Vertical angles are congruent3.Vertical angles are congruent4.Definition of supplementary angles5.Definition of congruent angles6.Substitution7.Definition of supplementary angles8.If same-side interior angles are supplementary, the lines are parallel
Given: FJ meets HI at Lm∠GFJ+m∠IHJ=m∠FJHProve: FG∥HIUse the word bank.Statements1.FJ meets HI at L2.m∠GFJ+m∠IHJ=m∠FJH3.m∠JLH+m∠IHJ=m∠FJH4.m∠GFJ+m∠IHJ=m∠JLH+m∠IHJ5.m∠GFJ=m∠JLH6.∠GFJ≅∠JLH7.FG∥HIReasonsWord bank: Given · Substitution · Definition of congruent angles · If alternate interior angles are congruent, the lines are parallel · Definition of supplementary angles · AAS · Supplements of congruent angles are congruent · Exterior angle theorem · Subtraction property · Definition of complementary angles1.Given2.Given3.Exterior angle theorem4.Substitution5.Subtraction property6.Definition of congruent angles7.If alternate interior angles are congruent, the lines are parallel
The answer is If alternate interior angles are congruent, the lines are parallel.
Where students go wrong
Quoting the forward theorem when you need the converse. "Alternate interior angles are congruent" assumes the lines are parallel, which is the thing you are trying to prove.
Also called converse of alternate interior angles, proving parallel lines, parallel line proofs or transversal proofs.
What you can put on this worksheet
Fill in the missing reasons
Given: KL∥MN ∠KQP≅∠MNR Prove: PQ∥SN Statements1.KL∥MN2.∠KRS≅∠MNR3.∠KQP≅∠MNR4.∠KQP≅∠KRS5.PQ∥SNReasonsGivenTransitive propertyIf corresponding angles are congruent, the lines are parallel
→ Answer
2.Corresponding angles of parallel lines are congruent 3.Given
Fill in every reason
Given: KL∥MN ∠KQP≅∠MNR Prove: PQ∥SN Use the word bank. Statements1.KL∥MN2.∠KRS≅∠MNR3.∠KQP≅∠MNR4.∠KQP≅∠KRS5.PQ∥SNReasons Word bank: Segment addition postulate · Corresponding angles of parallel lines are congruent · Given · If corresponding angles are congruent, the lines are parallel · If same-side interior angles are supplementary, the lines are parallel · CPCTC · Transitive property · All right angles are congruent
→ Answer
1.Given 2.Corresponding angles of parallel lines are congruent 3.Given 4.Transitive property 5.If corresponding angles are congruent, the lines are parallel
Fill in the missing statements
Given: KL≅KM ∠KNP≅∠KML Prove: NP∥LM Statements1.KL≅KM2.∠KLM≅∠KML3.4.5.NP∥LMReasonsGivenBase angles of an isosceles triangle are congruentGivenTransitive propertyIf corresponding angles are congruent, the lines are parallel
→ Answer
3.∠KNP≅∠KML 4.∠KNP≅∠KLM
Write the whole proof
Given: KL∥MN ∠KQP≅∠MNR Prove: PQ∥SN
→ Answer
One possible proof: Statements1.KL∥MN2.∠KRS≅∠MNR3.∠KQP≅∠MNR4.∠KQP≅∠KRS5.PQ∥SNReasonsGivenCorresponding angles of parallel lines are congruentGivenTransitive propertyIf corresponding angles are congruent, the lines are parallel
Solve for x from the drawing
Find x.— two parallel lines cut by a transversal, with angles marked→ x=4
The x that makes the lines parallel
Two alternate interior angles measure (5x+4)∘and (6x−1)∘.Find x so that ℓ∥m.→ x=5
Questions about these worksheets
Yes. Every proving lines parallel sheet is free to print and free to download as a PDF. There is no account to make, no email to hand over and no limit on how many you take.
Yes. The answer key prints on a second page, and you can choose whether it shows each question beside its answer or just the answers in a list.
Yes. Print straight from the page, or download the PDF and print that. The sheet is laid out for paper rather than squeezed off a screen, so there is room to work under each question, and the answer key comes out on its own page.
Geometry is usually taken around 9th or 10th grade, though schools vary and plenty of students meet it earlier or later. Pick the difficulty rather than the grade: the easy level suits a first lesson on it, the hard level suits review before a test.
Yes, as many as you like. The questions are built fresh each time rather than picked from a fixed set of files, so pressing Generate gives a new sheet. That is what you want for a second class, a retake, or two students sitting next to each other.
That is the closest comparison, and Kuta Software is good software. It is also paid software you install on a computer. These worksheets run in a browser tab for free, with no account and nothing to install. Like Kuta, the proving lines parallel questions are generated when you ask for them rather than pulled from a fixed set of files, so two classes never get the same sheet, and the answer key comes with it.
Yes. There are three levels, and you can tick more than one for a sheet that mixes them, in which case the questions come out easiest first. The harder levels are not just larger numbers: they ask for something the easy ones do not.
You pick from 6: fill in the missing reasons, fill in every reason, fill in the missing statements, write the whole proof, solve for x from the drawing and the x that makes the lines parallel. Tick as many as you want and set how many of each, or let it spread them evenly.
Quoting the forward theorem when you need the converse. "Alternate interior angles are congruent" assumes the lines are parallel, which is the thing you are trying to prove.