2.5 proving statements about line segments
DESCRIPTION
2.5 Proving Statements about Line Segments. 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 ≌ CD, then CD ≌ AB Transitive If AB ≌ CD and CD ≌ EF, then AB ≌ EF. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/1.jpg)
2.5 Proving Statements about Line Segments
![Page 2: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/2.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/3.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/4.jpg)
Given: EF = GHProve EG ≌ FH E F G H
#1. EF = GH #1. Given
![Page 5: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/5.jpg)
Given: EF = GHProve EG ≌ FH E F G H
#1. EF = GH #1. Given#2. FG = FG #2. Reflexive
Prop.
![Page 6: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/6.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/7.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/8.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/9.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/10.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/11.jpg)
Given: RT ≌ WY; ST = WX R S T
Prove: RS ≌ XY W X Y
#1. RT ≌ WY #1. Given
![Page 12: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/12.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/13.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/14.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/15.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/16.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/17.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/18.jpg)
Given: x is the midpoint of MN and MX = RXProve: XN = RX
#1. x is the midpoint of MN #1. Given
![Page 19: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/19.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/20.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/21.jpg)
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: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/22.jpg)
Something with Numbers
If AB = BC and BC = CD, then find BCA D
3X – 1 2X + 3B C
![Page 23: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/23.jpg)
Homework
Page 105# 6 - 11
![Page 24: 2.5 Proving Statements about Line Segments](https://reader036.vdocuments.net/reader036/viewer/2022062520/56816197550346895dd1491e/html5/thumbnails/24.jpg)
Homework
Page 106# 16 – 18, 21 - 22