Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB...

24
2.5 Proving Statements about Line Segments

Transcript of Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB...

Page 1: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

2.5 Proving Statements about Line Segments

Page 2: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Theorems are statements that can be proved

Theorem 2.1 Properties of Segment Congruence

Reflexive AB ≌ ABAll shapes are ≌ to them self

Symmetric If AB ≌ CD, then CD ≌ ABTransitive If AB ≌ CD and CD ≌ EF,

then AB ≌ EF

Page 3: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

How to write a Proof

Proofs are formal statements with a conclusion based on given information.

One type of proof is a two column proof.

One column with statements numbered;the other column reasons that are numbered.

Page 4: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: EF = GHProve EG ≌ FH E F G H

#1. EF = GH #1. Given

Page 5: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: EF = GHProve EG ≌ FH E F G H

#1. EF = GH #1. Given#2. FG = FG #2. Reflexive

Prop.

Page 6: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: EF = GHProve EG ≌ FH E F G H

#1. EF = GH #1. Given#2. FG = FG #2. Reflexive

Prop.#3. EF + FG = GH + FG #3. Add. Prop.

Page 7: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: EF = GHProve EG ≌ FH E F G H

#1. EF = GH #1. Given#2. FG = FG #2. Reflexive

Prop.#3. EF + FG = GH + FG #3. Add. Prop.#4. EG = EF + FG #4.

FH = FG + GH

Page 8: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: EF = GHProve EG ≌ FH E F G H

#1. EF = GH #1. Given#2. FG = FG #2. Reflexive

Prop.#3. EF + FG = GH + FG #3. Add. Prop.#4. EG = EF + FG #4. Segment

Add.FH = FG + GH

Page 9: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: EF = GHProve EG ≌ FH E F G H

#1. EF = GH #1. Given#2. FG = FG #2. Reflexive

Prop.#3. EF + FG = GH + FG #3. Add. Prop.#4. EG = EF + FG #4. Segment

Add.FH = FG + GH

#5. EG = FH #5. Subst. Prop.

Page 10: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: EF = GHProve EG ≌ FH E F G H

#1. EF = GH #1. Given#2. FG = FG #2. Reflexive

Prop.#3. EF + FG = GH + FG #3. Add. Prop.#4. EG = EF + FG #4. Segment

Add.FH = FG + GH

#5. EG = FH #5. Subst. Prop.#6. EG ≌ FH #6. Def. of ≌

Page 11: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: RT ≌ WY; ST = WX R S T

Prove: RS ≌ XY W X Y

#1. RT ≌ WY #1. Given

Page 12: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: RT ≌ WY; ST = WX R S T

Prove: RS ≌ XY W X Y

#1. RT ≌ WY #1. Given#2. RT = WY #2. Def. of ≌

Page 13: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: RT ≌ WY; ST = WX R S T

Prove: RS ≌ XY W X Y

#1. RT ≌ WY #1. Given#2. RT = WY #2. Def. of ≌#3. RT = RS + ST #3. Segment Add.

WY = WX + XY

Page 14: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: RT ≌ WY; ST = WX R S T

Prove: RS ≌ XY W X Y

#1. RT ≌ WY #1. Given#2. RT = WY #2. Def. of ≌#3. RT = RS + ST #3. Segment Add.

WY = WX + XY#4. RS + ST = WX + XY #4. Subst. Prop.

Page 15: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: RT ≌ WY; ST = WX R S T

Prove: RS ≌ XY W X Y

#1. RT ≌ WY #1. Given#2. RT = WY #2. Def. of ≌#3. RT = RS + ST #3. Segment Add.

WY = WX + XY#4. RS + ST = WX + XY #4. Subst. Prop.#5. ST = WX #5. Given

Page 16: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: RT ≌ WY; ST = WX R S T

Prove: RS ≌ XY W X Y

#1. RT ≌ WY #1. Given#2. RT = WY #2. Def. of ≌#3. RT = RS + ST #3. Segment Add.

WY = WX + XY#4. RS + ST = WX + XY #4. Subst. Prop.#5. ST = WX #5. Given#6. RS = XY #6. Subtract. Prop.

Page 17: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: RT ≌ WY; ST = WX R S T

Prove: RS ≌ XY W X Y

#1. RT ≌ WY #1. Given#2. RT = WY #2. Def. of ≌#3. RT = RS + ST #3. Segment Add.

WY = WX + XY#4. RS + ST = WX + XY #4. Subst. Prop.#5. ST = WX #5. Given#6. RS = XY #6. Subtract. Prop.#7. RS XY≌ #7. Def. of ≌

Page 18: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: x is the midpoint of MN and MX = RXProve: XN = RX

#1. x is the midpoint of MN #1. Given

Page 19: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: x is the midpoint of MN and MX = RXProve: XN = RX

#1. x is the midpoint of MN #1. Given#2. XN = MX #2. Def. of

midpoint

Page 20: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: x is the midpoint of MN and MX = RXProve: XN = RX

#1. x is the midpoint of MN #1. Given#2. XN = MX #2. Def. of

midpoint#3. MX = RX #3. Given

Page 21: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Given: x is the midpoint of MN and MX = RXProve: XN = RX

#1. x is the midpoint of MN #1. Given#2. XN = MX #2. Def. of

midpoint#3. MX = RX #3. Given#4. XN = RX #4. Transitive

Prop.

Page 22: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Something with Numbers

If AB = BC and BC = CD, then find BCA D

3X – 1 2X + 3B C

Page 23: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Homework

Page 105# 6 - 11

Page 24: Theorems are statements that can be proved Theorem 2.1 Properties of Segment Congruence ReflexiveAB ≌ AB All shapes are ≌ to them self Symmetric If AB.

Homework

Page 106# 16 – 18, 21 - 22