These are the first proofs a geometry course asks for, and they run on properties rather than theorems. The segment and angle addition postulates let you split a whole into parts. A midpoint gives two congruent halves, a bisector does the same for an angle, and anything is congruent to itself by the reflexive property. Adding or subtracting congruent pieces from congruent wholes keeps them congruent. Some proofs use vertical angles, or the angle pairs a transversal makes with parallel lines, instead.
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: ∠1≅∠2Prove: ∠1 and ∠2 are right anglesStatements1.∠1≅∠22.∠1 and ∠2 form a linear pair3.∠1 and ∠2 are supplementary4.m∠1+m∠2=180∘5.m∠1=m∠26.2m∠1=180∘7.m∠1=90∘8.m∠2=90∘9.∠1 and ∠2 are right anglesReasonsGivenDefinition of a linear pairDefinition of supplementary anglesSubstitutionDivision propertySubstitution
Given: NL bisects ∠KNM∠K and ∠KNL are complementary∠M and ∠MNL are complementaryProve: ∠K≅∠MStatements1.NL bisects ∠KNM2.∠KNL≅∠MNL3.∠K and ∠KNL are complementary4.∠M and ∠MNL are complementary5.∠K≅∠MReasonsGivenGiven
Given: ∠1 and ∠2 are complementaryProve: ∠2 and ∠3 are complementaryStatements1.∠1 and ∠2 are complementary2.m∠1+m∠2=90∘3.∠1≅∠34.m∠1=m∠35.m∠3+m∠2=90∘6.∠2 and ∠3 are complementaryReasonsGivenDefinition of complementary anglesDefinition of complementary angles
Fill in every reason
Given: ℓ∥mProve: ∠3 and ∠5 are supplementaryUse the word bank.Statements1.ℓ∥m2.∠3≅∠63.m∠3=m∠64.∠6 and ∠5 are supplementary5.m∠6+m∠5=180∘6.m∠3+m∠5=180∘7.∠3 and ∠5 are supplementaryReasonsWord bank: Definition of midpoint · Given · Addition property · Definition of an angle bisector · Linear pairs are supplementary · Alternate interior angles of parallel lines are congruent · Definition of congruent angles · Definition of a linear pair · Substitution · Definition of supplementary angles
Given: N is the midpoint of MPMN=3x−5NP=x+1Prove: MP=8Use the word bank.Statements1.N is the midpoint of MP2.MN=3x−53.NP=x+14.MN=NP5.3x−5=x+16.2x−5=17.2x=68.x=39.MN=410.NP=411.MN+NP=MP12.4+4=MP13.MP=8ReasonsWord bank: Alternate interior angles of parallel lines are congruent · Definition of complementary angles · Simplify · Definition of congruent segments · Division property · Supplements of congruent angles are congruent · Given · Distributive property · Definition of an angle bisector · Segment addition postulate · Definition of midpoint · Subtraction property · Definition of supplementary angles · Adjacent angles that form a right angle are complementary · Substitution · Addition property
Given: ∠D and ∠E are supplementary∠F and ∠G are supplementary∠E≅∠FProve: ∠D≅∠GUse the word bank.Statements1.∠D and ∠E are supplementary2.∠F and ∠G are supplementary3.∠E≅∠F4.m∠D+m∠E=180∘5.m∠F+m∠G=180∘6.m∠D+m∠E=m∠F+m∠G7.m∠E=m∠F8.m∠D=m∠G9.∠D≅∠GReasonsWord bank: Supplements of the same angle are congruent · Definition of supplementary angles · Segment addition postulate · Distributive property · Alternate exterior angles of parallel lines are congruent · Division property · Given · Definition of a segment bisector · Subtraction property · Substitution · Angle addition postulate · Definition of congruent angles
Given: JK≅NPLM≅NPProve: JL≅KMUse the word bank.Statements1.JK≅NP2.LM≅NP3.JK≅LM4.JK=LM5.JK+KL=LM+KL6.JK+KL=JL and KL+LM=KM7.JL=KM8.JL≅KMReasonsWord bank: Substitution · Transitive property · Given · Corresponding angles of parallel lines are congruent · Supplements of the same angle are congruent · Simplify · Definition of a linear pair · Definition of congruent segments · Segment addition postulate · Angle addition postulate · Addition property
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: ∠1≅∠2Prove: ∠1 and ∠2 are right anglesStatements1.∠1≅∠22.∠1 and ∠2 form a linear pair3.∠1 and ∠2 are supplementary4.m∠1+m∠2=180∘5.m∠1=m∠26.2m∠1=180∘7.m∠1=90∘8.m∠2=90∘9.∠1 and ∠2 are right anglesReasonsGivenDefinition of a linear pairDefinition of supplementary anglesSubstitutionDivision propertySubstitution3.Linear pairs are supplementary5.Definition of congruent angles9.Definition of a right angle
Given: NL bisects ∠KNM∠K and ∠KNL are complementary∠M and ∠MNL are complementaryProve: ∠K≅∠MStatements1.NL bisects ∠KNM2.∠KNL≅∠MNL3.∠K and ∠KNL are complementary4.∠M and ∠MNL are complementary5.∠K≅∠MReasonsGivenGiven2.Definition of an angle bisector3.Given5.Complements of congruent angles are congruent
Given: ∠1 and ∠2 are complementaryProve: ∠2 and ∠3 are complementaryStatements1.∠1 and ∠2 are complementary2.m∠1+m∠2=90∘3.∠1≅∠34.m∠1=m∠35.m∠3+m∠2=90∘6.∠2 and ∠3 are complementaryReasonsGivenDefinition of complementary anglesDefinition of complementary angles3.Vertical angles are congruent4.Definition of congruent angles5.Substitution
Fill in every reason
Given: ℓ∥mProve: ∠3 and ∠5 are supplementaryUse the word bank.Statements1.ℓ∥m2.∠3≅∠63.m∠3=m∠64.∠6 and ∠5 are supplementary5.m∠6+m∠5=180∘6.m∠3+m∠5=180∘7.∠3 and ∠5 are supplementaryReasonsWord bank: Definition of midpoint · Given · Addition property · Definition of an angle bisector · Linear pairs are supplementary · Alternate interior angles of parallel lines are congruent · Definition of congruent angles · Definition of a linear pair · Substitution · Definition of supplementary angles1.Given2.Alternate interior angles of parallel lines are congruent3.Definition of congruent angles4.Linear pairs are supplementary5.Definition of supplementary angles6.Substitution7.Definition of supplementary angles
Given: N is the midpoint of MPMN=3x−5NP=x+1Prove: MP=8Use the word bank.Statements1.N is the midpoint of MP2.MN=3x−53.NP=x+14.MN=NP5.3x−5=x+16.2x−5=17.2x=68.x=39.MN=410.NP=411.MN+NP=MP12.4+4=MP13.MP=8ReasonsWord bank: Alternate interior angles of parallel lines are congruent · Definition of complementary angles · Simplify · Definition of congruent segments · Division property · Supplements of congruent angles are congruent · Given · Distributive property · Definition of an angle bisector · Segment addition postulate · Definition of midpoint · Subtraction property · Definition of supplementary angles · Adjacent angles that form a right angle are complementary · Substitution · Addition property1.Given2.Given3.Given4.Definition of midpoint5.Substitution6.Subtraction property7.Addition property8.Division property9.Substitution10.Substitution11.Segment addition postulate12.Substitution13.Simplify
Given: ∠D and ∠E are supplementary∠F and ∠G are supplementary∠E≅∠FProve: ∠D≅∠GUse the word bank.Statements1.∠D and ∠E are supplementary2.∠F and ∠G are supplementary3.∠E≅∠F4.m∠D+m∠E=180∘5.m∠F+m∠G=180∘6.m∠D+m∠E=m∠F+m∠G7.m∠E=m∠F8.m∠D=m∠G9.∠D≅∠GReasonsWord bank: Supplements of the same angle are congruent · Definition of supplementary angles · Segment addition postulate · Distributive property · Alternate exterior angles of parallel lines are congruent · Division property · Given · Definition of a segment bisector · Subtraction property · Substitution · Angle addition postulate · Definition of congruent angles1.Given2.Given3.Given4.Definition of supplementary angles5.Definition of supplementary angles6.Substitution7.Definition of congruent angles8.Subtraction property9.Definition of congruent angles
Given: JK≅NPLM≅NPProve: JL≅KMUse the word bank.Statements1.JK≅NP2.LM≅NP3.JK≅LM4.JK=LM5.JK+KL=LM+KL6.JK+KL=JL and KL+LM=KM7.JL=KM8.JL≅KMReasonsWord bank: Substitution · Transitive property · Given · Corresponding angles of parallel lines are congruent · Supplements of the same angle are congruent · Simplify · Definition of a linear pair · Definition of congruent segments · Segment addition postulate · Angle addition postulate · Addition property1.Given2.Given3.Transitive property4.Definition of congruent segments5.Addition property6.Segment addition postulate7.Substitution8.Definition of congruent segments
BC is congruent to itself by the reflexive property.
Segment addition turns AB + BC into AC, and BC + CD into BD.
Adding the same segment to congruent segments keeps them congruent.
The answer is Addition property.
Where students go wrong
Skipping the addition postulate line. Going straight from the Given to the conclusion leaves out the step that actually justifies it.
Also called segment addition proofs, angle addition postulate proofs, beginning proofs or intro to proofs worksheet.
What you can put on this worksheet
Fill in the missing reasons
Given: L is the midpoint of KM KL≅MN Prove: LM≅MN Statements1.L is the midpoint of KM2.KL≅LM3.KL≅MN4.LM≅MNReasonsGivenDefinition of midpoint
→ Answer
3.Given 4.Transitive property
Fill in every reason
Given: L is the midpoint of KM KL≅MN Prove: LM≅MN Use the word bank. Statements1.L is the midpoint of KM2.KL≅LM3.KL≅MN4.LM≅MNReasons Word bank: Definition of midpoint · Multiplication property · Definition of supplementary angles · Distributive property · Transitive property · Linear pairs are supplementary · Given
→ Answer
1.Given 2.Definition of midpoint 3.Given 4.Transitive property
Fill in the missing statements
Given: L is the midpoint of KM KL≅MN Prove: LM≅MN Statements1.L is the midpoint of KM2.3.4.LM≅MNReasonsGivenDefinition of midpointGivenTransitive property
→ Answer
2.KL≅LM 3.KL≅MN
Write the whole proof
Given: L is the midpoint of KM KL≅MN Prove: LM≅MN
→ Answer
One possible proof: Statements1.L is the midpoint of KM2.KL≅LM3.KL≅MN4.LM≅MNReasonsGivenDefinition of midpointGivenTransitive property
Questions about these worksheets
Yes. Every segment and angle proofs 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 segment and angle proofs 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 4: fill in the missing reasons, fill in every reason, fill in the missing statements and write the whole proof. Tick as many as you want and set how many of each, or let it spread them evenly.
Skipping the addition postulate line. Going straight from the Given to the conclusion leaves out the step that actually justifies it.