Selected Geometry Honors Proofs from Section 5.

9
Quick Links:

#7

#11 (Version A)

#11 (Version B)

7)

Statements

Reasons

1) A B and AD = BE

1) Given

2) DE = DE

2) Reflexive

3) AD + DE = BE + DE

3) Addition Property of Equality

4) AD + DE = AE

4) Definition of Between

BE + DE = BD
5) AE = BD

5) Substitution (steps 3 and 4)

6) AE BD

6) Definition of Congruence

7) ADG BEF

7) Given

8) ADG and BDG form a linear pair

8) Definition of Linear Pair

BEF and AEF form a linear pair

9) pairs in step 8 are supplementary

9) Supplement Postulate

10) BDG AEF

10) Supplement Theorem

11) BDG AEF

11) ASA

12) AFE BGD

12) CPCTC

13) AFE and CFE form a linear pair

13) Same as 8

BGD and CGD form a linear pair

14) pairs in step 13 are supplementary

14) Same as 9

15) CFE CGD

15) Same as 10

Q.E.D.

#14

11) Version A

Statements

Reasons

1) DF = EF

1) Given

2) m n

2) Converse of Isosceles Triangle Theorem

3) mm mn

3) Definition of Congruence

4) x y

4) Given

5) mx my

5) Same as 3

6) mm mx mn my

6) Addition Property of Equality

7) mm mx mCDB

7) Angle Addition Postulate

mn my mCEA
8) mCDB mCEA

8) Substitution (steps 6 and 7)

9) CDB CEA

9) Same as 3

10) CDB and BDA form a linear pair

10) Definition of Linear Pair

CEA and AEB form a linear pair

11) pairs in step 10 are supplementary

11) Supplement Postulate

12) BDA AEB

12) Supplement Theorem

13) DF EF

13) Definition of Congruence (from step 1)

14) DFA EFB

14) Vertical Angle Theorem

15) DFA EFB

15) ASA

16) AF BF

16) CPCTC

17) AFB is isosceles

17) Definition of Isosceles Triangle

Q.E.D.

11) Version B

Statements

Reasons

1) DF = EF

1) Given

2) m n

2) Converse of Isosceles Triangle Theorem

3) mm mn

3) Definition of Congruence

4) x y

4) Given

5) mx my

5) Same as 3

6) mm mx mn my

6) Addition Property of Equality

7) mm mx mCDB

7) Angle Addition Postulate

mn my mCEA
8) mCDB mCEA

8) Substitution (steps 6 and 7)

9) CDB CEA

9) Same as 3

10) CD CE

10) Same as 2 (from step 4)

11) C C

11) Reflexive

12) CDB CEA

12) ASA

13) DB EA

13) CPCTC

14) DB = EA

14) Definition of Congruence

15) DF + FB = DB

15) Definition of Between

EF + FA = EA
16) DF + FB = EF + FA

16) Substitution (steps 14 and 15)

17) FB = FA

17) Subtraction Property of Equality

18) AFB is isosceles

18) Definition of Isosceles Triangle

Q.E.D.

14)

Statements

Reasons

1) PM MK and LM MQ

1) Given

2) KMP and LMQ are right angles

2) Definition of Perpendicular

3) KMP LMQ

3) All Right Angles Are Congruent

4) mKMP mLMQ

4) Definition of Congruence

5) mPML mPML

5) Reflexive

6) mKMP mPML mLMQ mPML

6) Addition Property of Equality

7) mKMP mPML mKML

7) Angle Addition Postulate

mLMQ mPML mQMP

8) mKML mQMP

8) Substitution (steps 6 and 7)

9) KML QMP

9) Same as step 4

10) MK = MQ and K Q

10) Given

11) MK MQ

11) Same as step 4

12) KML QMP

12) ASA

13) L P

13) CPCTC

Q.E.D.