Equality Example

Transitive Property of Equality Variation 1

Divide Both Sides

Multiply Substitute Two Terms

Multiply Substitute Two Terms 2

Zero Plus a

Transitive Property of Equality Variation 2

Multiplicative Property of Equality Variation 2

Transitive Property of Equality Variation 3

Division is Commutative

Associative Property

Multiplicative Property of Equality Variation 1

Simplify

Transitive

Distributive Property 2

Commutative Property Variation 1

Substitution 2

Substitution 6

Distributive Property 3

Associative Property of Multiplication 2

Transitive Property Application 2

Substitution 10

Substitution 12

Divide Simplify 2

Simplify 2

Simplify 3

Transitive 2

Subtract Same Sides

Divide Both

Divide Substitute 2

Divide Substitute 4

Slope 1

Subtract Zero Example

Subtraction Example

Subtract to Zero

Example 2

Subtract Associative

Subtract 1

Divide Zero 2

Midsegment Triangle

Proof: Multiply Substitute Two Terms

Let's prove the following theorem:

if the following are true:

a = x
c = y

then (a + c) / m = (x + y) / m

Proof:

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

Given

1	a = x
2	c = y

Proof Table

#	Claim	Reason
1	a + c = x + y	if a = x and c = y, then a + c = x + y (Equality Example)
2	(a + c) / m = (x + y) / m	if a + c = x + y, then (a + c) / m = (x + y) / m (Divide Both Sides)

Previous Lesson Next Lesson

Comments

Please log in to add comments