Triangle proofs: fill in the missing step or reason
Grade 10 Math Worksheet

Circle the best answer.
Read this first
Use this
Given: triangle CDF. Prove: m∠CDF + m∠DCF + m∠CFD = 180. Ladder: 1. GH ∥ DF, through C -- Parallel postulate; 2. ∠GCD ≅ ∠CDF and ∠FCH ≅ ∠CFD -- Alternate interior angles theorem; 3. m∠GCD = m∠CDF and m∠FCH = m∠CFD -- Definition of congruent angles; 4. m∠GCD + m∠DCF + m∠FCH = 180 -- Angle addition postulate and definition of a straight angle; 5. m∠CDF + m∠DCF + m∠CFD = 180 -- ?.
Jun proves the triangle angle sum theorem on a sail CDF. Which reason fills the blank?
- Angle addition postulate
- Triangle angle sum theorem
- Transitive property
- Substitution property
Use this
Given: triangle QUW. Prove: m∠QUW + m∠UQW + m∠QWU = 180. Ladder: 1. SY ∥ UW, through Q -- Parallel postulate; 2. ∠SQU ≅ ∠QUW and ∠WQY ≅ ∠QWU -- Alternate interior angles theorem; 3. m∠SQU = m∠QUW and m∠WQY = m∠QWU -- Definition of congruent angles; 4. m∠SQU + m∠UQW + m∠WQY = 180 -- Angle addition postulate and definition of a straight angle; 5. m∠QUW + m∠UQW + m∠QWU = 180 -- ?.
Kira proves the triangle angle sum theorem on a pizza slice QUW. Which reason fills the blank?
Sketch, not to scale: triangle QUW with Q at the top, U bottom left and W bottom right; line SY is drawn through Q (S on the left, Y on the right). Marked: parallel arrows on SY and UW. Given: △QUW. Prove: m∠QUW + m∠UQW + m∠QWU = 180. Ladder: 1. SY ∥ UW, through Q — Parallel postulate; 2. ∠SQU ≅ ∠QUW and ∠WQY ≅ ∠QWU — Alternate interior angles theorem; 3. m∠SQU = m∠QUW and m∠WQY = m∠QWU — Definition of congruent angles; 4. m∠SQU + m∠UQW + m∠WQY = 180 — Angle addition postulate and definition of a straight angle; 5. m∠QUW + m∠UQW + m∠QWU = 180 — ?. Sketch, not to scale: triangle QUW with Q at the top, U bottom left and W bottom right; line SY is drawn through Q (S on the left, Y on the right). Marked: parallel arrows on SY and UW. Given: △QUW. Prove: m∠QUW + m∠UQW + m∠QWU = 180. Ladder: 1. SY ∥ UW, through Q — Parallel postulate; 2. ∠SQU ≅ ∠QUW and ∠WQY ≅ ∠QWU — Alternate interior angles theorem; 3. m∠SQU = m∠QUW and m∠WQY = m∠QWU — Definition of congruent angles; 4. m∠SQU + m∠UQW + m∠WQY = 180 — Angle addition postulate and definition of a straight angle; 5. m∠QUW + m∠UQW + m∠QWU = 180 — ?. Sketch, not to scale S Q Y U W - Triangle angle sum theorem
- Definition of supplementary angles
- Symmetric property
- Substitution property
Use this
Given: triangle SUV, with UV extended to W. Prove: m∠SUV + m∠USV = m∠SVW. Ladder: 1. triangle SUV, with UV extended to W -- Given; 2. m∠SUV + m∠USV + m∠SVU = 180 -- Triangle angle sum theorem; 3. ∠SVU and ∠SVW are supplementary -- Linear pair postulate; 4. m∠SVU + m∠SVW = 180 -- Definition of supplementary angles; 5. m∠SUV + m∠USV + m∠SVU = m∠SVU + m∠SVW -- Substitution property; 6. m∠SUV + m∠USV = m∠SVW -- ?.
Pia proves the exterior angle theorem on a road sign SUV, extending the bottom edge UV to W. Which reason fills the blank?
Sketch, not to scale: triangle SUV with S at the top, U bottom left and V bottom right; side UV is extended past V to W. Marked: the outside angle ∠SVW shaded. Given: △SUV, with UV extended to W. Prove: m∠SUV + m∠USV = m∠SVW. Ladder: 1. △SUV, with UV extended to W — Given; 2. m∠SUV + m∠USV + m∠SVU = 180 — Triangle angle sum theorem; 3. ∠SVU and ∠SVW are supplementary — Linear pair postulate; 4. m∠SVU + m∠SVW = 180 — Definition of supplementary angles; 5. m∠SUV + m∠USV + m∠SVU = m∠SVU + m∠SVW — Substitution property; 6. m∠SUV + m∠USV = m∠SVW — ?. Sketch, not to scale: triangle SUV with S at the top, U bottom left and V bottom right; side UV is extended past V to W. Marked: the outside angle ∠SVW shaded. Given: △SUV, with UV extended to W. Prove: m∠SUV + m∠USV = m∠SVW. Ladder: 1. △SUV, with UV extended to W — Given; 2. m∠SUV + m∠USV + m∠SVU = 180 — Triangle angle sum theorem; 3. ∠SVU and ∠SVW are supplementary — Linear pair postulate; 4. m∠SVU + m∠SVW = 180 — Definition of supplementary angles; 5. m∠SUV + m∠USV + m∠SVU = m∠SVU + m∠SVW — Substitution property; 6. m∠SUV + m∠USV = m∠SVW — ?. ∠SVW S U V W Not to scale. - Addition property of equality
- Subtraction property of equality
- Given
- Exterior angle theorem
Use this
Given: DF ≅ DG, and Q is the midpoint of FG. Prove: ∠DFQ ≅ ∠DGQ. Ladder: 1. DF ≅ DG -- Given; 2. Q is the midpoint of FG -- Given; 3. FQ ≅ GQ -- Definition of midpoint; 4. DQ ≅ DQ -- Reflexive property; 5. triangle DFQ ≅ triangle DGQ -- SSS; 6. ∠DFQ ≅ ∠DGQ -- ?.
Zee proves the base angles theorem on a tent front DFG, with a pole from D to the middle Q of the floor. Which reason fills the blank?
Sketch, not to scale: triangle DFG with D at the top and base FG; Q is on FG, and segment DQ is drawn. Marked: DF and DG with one tick each; FQ and QG with two ticks each. Given: DF ≅ DG, and Q is the midpoint of FG. Prove: ∠DFQ ≅ ∠DGQ. Ladder: 1. DF ≅ DG — Given; 2. Q is the midpoint of FG — Given; 3. FQ ≅ GQ — Definition of midpoint; 4. DQ ≅ DQ — Reflexive property; 5. △DFQ ≅ △DGQ — SSS; 6. ∠DFQ ≅ ∠DGQ — ?. Sketch, not to scale: triangle DFG with D at the top and base FG; Q is on FG, and segment DQ is drawn. Marked: DF and DG with one tick each; FQ and QG with two ticks each. Given: DF ≅ DG, and Q is the midpoint of FG. Prove: ∠DFQ ≅ ∠DGQ. Ladder: 1. DF ≅ DG — Given; 2. Q is the midpoint of FG — Given; 3. FQ ≅ GQ — Definition of midpoint; 4. DQ ≅ DQ — Reflexive property; 5. △DFQ ≅ △DGQ — SSS; 6. ∠DFQ ≅ ∠DGQ — ?. Sketch D F Q G Not to scale. - Base angles theorem
- SSS
- CPCTC
- Given
Use this
Given: SU ≅ SW, and Y is the midpoint of UW. Prove: ∠SUY ≅ ∠SWY. Ladder: 1. SU ≅ SW -- Given; 2. Y is the midpoint of UW -- Given; 3. UY ≅ WY -- Definition of midpoint; 4. SY ≅ SY -- Reflexive property; 5. triangle SUY ≅ triangle SWY -- SSS; 6. ∠SUY ≅ ∠SWY -- ?.
Ari proves the base angles theorem on a roof SUW, with a beam from S to the middle Y of UW. Which reason fills the blank?
Sketch, not to scale: triangle SUW with S at the top and base UW; Y is on UW, and segment SY is drawn. Marked: SU and SW with one tick each; UY and YW with two ticks each. Given: SU ≅ SW, and Y is the midpoint of UW. Prove: ∠SUY ≅ ∠SWY. Ladder: 1. SU ≅ SW — Given; 2. Y is the midpoint of UW — Given; 3. UY ≅ WY — Definition of midpoint; 4. SY ≅ SY — Reflexive property; 5. △SUY ≅ △SWY — SSS; 6. ∠SUY ≅ ∠SWY — ?. Sketch, not to scale: triangle SUW with S at the top and base UW; Y is on UW, and segment SY is drawn. Marked: SU and SW with one tick each; UY and YW with two ticks each. Given: SU ≅ SW, and Y is the midpoint of UW. Prove: ∠SUY ≅ ∠SWY. Ladder: 1. SU ≅ SW — Given; 2. Y is the midpoint of UW — Given; 3. UY ≅ WY — Definition of midpoint; 4. SY ≅ SY — Reflexive property; 5. △SUY ≅ △SWY — SSS; 6. ∠SUY ≅ ∠SWY — ?. S U Y W Not to scale. - Base angles theorem
- Given
- SSS
- CPCTC
Sketch, not to scale
Triangle GSY with G at the top, S bottom left and Y bottom right; line UW is drawn through G (U on the left, W on the right). Marked: parallel arrows on UW and SY. Given: △GSY. Prove: m∠GSY + m∠SGY + m∠GYS = 180. Ladder: 1. UW ∥ SY, through G — Parallel postulate; 2. ? — Alternate interior angles theorem; 3. m∠UGS = m∠GSY and m∠YGW = m∠GYS — Definition of congruent angles; 4. m∠UGS + m∠SGY + m∠YGW = 180 — Angle addition postulate and definition of a straight angle; 5. m∠GSY + m∠SGY + m∠GYS = 180 — Substitution property.
Milo proves the triangle angle sum theorem on a tent front GSY. Which statement fills the blank?
- m∠GSY + m∠SGY + m∠GYS = 180
- ∠UGS ≅ ∠GYS and ∠YGW ≅ ∠GSY
- ∠UGS ≅ ∠GSY and ∠YGW ≅ ∠GYS
- ∠UGS ≅ ∠SGY and ∠YGW ≅ ∠SGY
Use this
Given: triangle HQY, with QY extended to D. Prove: m∠HQY + m∠QHY = m∠HYD. Ladder: 1. triangle HQY, with QY extended to D -- Given; 2. m∠HQY + m∠QHY + m∠HYQ = 180 -- Triangle angle sum theorem; 3. ? -- Linear pair postulate; 4. m∠HYQ + m∠HYD = 180 -- Definition of supplementary angles; 5. m∠HQY + m∠QHY + m∠HYQ = m∠HYQ + m∠HYD -- Substitution property; 6. m∠HQY + m∠QHY = m∠HYD -- Subtraction property of equality.
Ren proves the exterior angle theorem on a ramp side HQY, with the floor running on to D. Which statement fills the blank?
Sketch, not to scale: triangle HQY with H at the top, Q bottom left and Y bottom right; side QY is extended past Y to D. Marked: the outside angle ∠HYD shaded. Given: △HQY, with QY extended to D. Prove: m∠HQY + m∠QHY = m∠HYD. Ladder: 1. △HQY, with QY extended to D — Given; 2. m∠HQY + m∠QHY + m∠HYQ = 180 — Triangle angle sum theorem; 3. ? — Linear pair postulate; 4. m∠HYQ + m∠HYD = 180 — Definition of supplementary angles; 5. m∠HQY + m∠QHY + m∠HYQ = m∠HYQ + m∠HYD — Substitution property; 6. m∠HQY + m∠QHY = m∠HYD — Subtraction property of equality. Sketch, not to scale: triangle HQY with H at the top, Q bottom left and Y bottom right; side QY is extended past Y to D. Marked: the outside angle ∠HYD shaded. Given: △HQY, with QY extended to D. Prove: m∠HQY + m∠QHY = m∠HYD. Ladder: 1. △HQY, with QY extended to D — Given; 2. m∠HQY + m∠QHY + m∠HYQ = 180 — Triangle angle sum theorem; 3. ? — Linear pair postulate; 4. m∠HYQ + m∠HYD = 180 — Definition of supplementary angles; 5. m∠HQY + m∠QHY + m∠HYQ = m∠HYQ + m∠HYD — Substitution property; 6. m∠HQY + m∠QHY = m∠HYD — Subtraction property of equality. ∠HYD H Q Y D Not to scale. - ∠HYQ and ∠HYD are supplementary
- ∠HYQ ≅ ∠HYD
- m∠HQY + m∠QHY = m∠HYD
- ∠HYQ and ∠HYD are complementary
Use this
Sketch, not to scale: triangle GCW with G at the top, C bottom left and W bottom right; side CW is extended past W to F. Marked: the outside angle ∠GWF shaded. Given: triangle GCW, with CW extended to F. Prove: m∠GCW + m∠CGW = m∠GWF. Ladder: 1. triangle GCW, with CW extended to F -- Given; 2. m∠GCW + m∠CGW + m∠GWC = 180 -- Triangle angle sum theorem; 3. ? -- Linear pair postulate; 4. m∠GWC + m∠GWF = 180 -- Definition of supplementary angles; 5. m∠GCW + m∠CGW + m∠GWC = m∠GWC + m∠GWF -- Substitution property; 6. m∠GCW + m∠CGW = m∠GWF -- Subtraction property of equality.
Tala proves the exterior angle theorem on a sandwich half GCW, with edge CW drawn on to F. Which statement fills the blank?
Sketch, not to scale: triangle GCW with G at the top, C bottom left and W bottom right; side CW is extended past W to F. Marked: the outside angle ∠GWF shaded. Given: △GCW, with CW extended to F. Prove: m∠GCW + m∠CGW = m∠GWF. Ladder: 1. △GCW, with CW extended to F — Given; 2. m∠GCW + m∠CGW + m∠GWC = 180 — Triangle angle sum theorem; 3. ? — Linear pair postulate; 4. m∠GWC + m∠GWF = 180 — Definition of supplementary angles; 5. m∠GCW + m∠CGW + m∠GWC = m∠GWC + m∠GWF — Substitution property; 6. m∠GCW + m∠CGW = m∠GWF — Subtraction property of equality. Sketch, not to scale: triangle GCW with G at the top, C bottom left and W bottom right; side CW is extended past W to F. Marked: the outside angle ∠GWF shaded. Given: △GCW, with CW extended to F. Prove: m∠GCW + m∠CGW = m∠GWF. Ladder: 1. △GCW, with CW extended to F — Given; 2. m∠GCW + m∠CGW + m∠GWC = 180 — Triangle angle sum theorem; 3. ? — Linear pair postulate; 4. m∠GWC + m∠GWF = 180 — Definition of supplementary angles; 5. m∠GCW + m∠CGW + m∠GWC = m∠GWC + m∠GWF — Substitution property; 6. m∠GCW + m∠CGW = m∠GWF — Subtraction property of equality. ∠GWF ∠GWF G C W F Not to scale. - ∠GWC ≅ ∠GWF
- m∠GCW + m∠CGW = m∠GWF
- ∠GWC and ∠GWF are complementary
- ∠GWC and ∠GWF are supplementary
Bo proves the base angles theorem on a road sign CHV, marking the middle Q of HV. Which statement fills the blank?
Sketch, not to scale: triangle CHV with C at the top and base HV; Q is on HV, and segment CQ is drawn. Marked: CH and CV with one tick each; HQ and QV with two ticks each. Given: CH ≅ CV, and Q is the midpoint of HV. Prove: ∠CHQ ≅ ∠CVQ. Ladder: 1. CH ≅ CV — Given; 2. Q is the midpoint of HV — Given; 3. HQ ≅ VQ — Definition of midpoint; 4. CQ ≅ CQ — Reflexive property; 5. ? — SSS; 6. ∠CHQ ≅ ∠CVQ — CPCTC. Sketch, not to scale: triangle CHV with C at the top and base HV; Q is on HV, and segment CQ is drawn. Marked: CH and CV with one tick each; HQ and QV with two ticks each. Given: CH ≅ CV, and Q is the midpoint of HV. Prove: ∠CHQ ≅ ∠CVQ. Ladder: 1. CH ≅ CV — Given; 2. Q is the midpoint of HV — Given; 3. HQ ≅ VQ — Definition of midpoint; 4. CQ ≅ CQ — Reflexive property; 5. ? — SSS; 6. ∠CHQ ≅ ∠CVQ — CPCTC. H V C Q Not to scale - △CHV ≅ △CVQ
- △CHQ ≅ △CVQ
- △CHQ ≅ △QVC
- ∠CHQ ≅ ∠CVQ
Esme proves the base angles theorem on a pyramid face FDY, marking the middle G of DY. Which statement fills the blank?
Sketch, not to scale: triangle FDY with F at the top and base DY; G is on DY, and segment FG is drawn. Marked: FD and FY with one tick each; DG and GY with two ticks each. Given: FD ≅ FY, and G is the midpoint of DY. Prove: ∠FDG ≅ ∠FYG. Ladder: 1. FD ≅ FY — Given; 2. G is the midpoint of DY — Given; 3. DG ≅ YG — Definition of midpoint; 4. FG ≅ FG — Reflexive property; 5. ? — SSS; 6. ∠FDG ≅ ∠FYG — CPCTC. Sketch, not to scale: triangle FDY with F at the top and base DY; G is on DY, and segment FG is drawn. Marked: FD and FY with one tick each; DG and GY with two ticks each. Given: FD ≅ FY, and G is the midpoint of DY. Prove: ∠FDG ≅ ∠FYG. Ladder: 1. FD ≅ FY — Given; 2. G is the midpoint of DY — Given; 3. DG ≅ YG — Definition of midpoint; 4. FG ≅ FG — Reflexive property; 5. ? — SSS; 6. ∠FDG ≅ ∠FYG — CPCTC. D Y F G Not to scale - △FDG ≅ △FYG
- △FDG ≅ △GYF
- ∠FDG ≅ ∠FYG
- △FDY ≅ △FYG