Transitive Property of Equality Variation 2

Distance Property 1

Distance Property 2

Distance Property 3

Angle Symmetry Example 2

Collinear Angles Property 9

Transitive Property Application 2

Angles of an Isosceles Triangle

Angle Symmetry Example

Angle Symmetry 2

Isosceles Triangle 2

Transitive Property of Equality Variation 1

Perpendicular to Angle

Collinear Then 180

Subtract Both Sides

Add Term to Both Sides 6

Subtract Both Sides 2

Add Term to Both Sides 7

Vertical Angles

Angle Addition Theorem

Collinear Angles B

Exterior Angle

Exterior Angle B

Collinear Angles Property 10

Collinear Angles Property 3

Collinear Angles Property 3 B

Collinear Angles Property 3 C

alternate interior angles then parallel

ParallelThenAIA

Parallelthenaiashort

Commutative Property Example 2

Commutative Property Variation 1

Substitution 2

Substitution 8

Angle Symmetry B

Substitution Example 10

Substitute First Term

Triangles Sum to 180

Equality Example

If Two Angles Equal Then Three Angles Equal

Angle Angle Side Triangle

Altitudes Isosceles

Proof: Substitution Example 10

Let's prove the following theorem:

if the following are true:

a + b = c
b = d

then a + d = c

Proof:

View as a tree | View dependent proofs | Try proving it

Given

1	a + b = c
2	b = d

Proof Table

#	Claim	Reason
1	b + a = c	if a + b = c, then b + a = c (Commutative Property Example 2)
2	d + a = c	if b + a = c and b = d, then d + a = c (Substitution 8)
3	a + d = c	if d + a = c, then a + d = c (Commutative Property Example 2)

Previous Lesson Next Lesson

Comments

Please log in to add comments