Transitive Property of Equality Variation 2
Angle Symmetry Example 2
Distance Property 2
Distance Property 1
Collinear Then 180
Subtract Both Sides
Add Term to Both Sides 6
Subtract Both Sides 2
Add Term to Both Sides 7
Transitive Property of Equality Variation 1
Vertical Angles
Angle Addition Theorem
Collinear Angles Property 9
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
Parallel Then Aia Short Mirror
Angle Symmetry 4
Angle Symmetry Example
If Parallelogram Diagonal Then Congruent Triangles
If Parallelogram Then Sides Congruent
Commutative Property Example 2
Commutative Property Variation 1
Substitution 2
Substitution 8
Substitution Example 10
Subtraction Example 2
Add Number to Both Sides
Rectangle Right Angles
Distance Property 3
Congruent Triangles to Distance 3
Rectangle Diagonals Congruent

Proof: Subtraction Example 2

Let's prove the following theorem:

if y = 180 + (90 ⋅ (-1)), then y = 90

Proof:

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

Given
1 y = 180 + (90 ⋅ (-1))
Proof Table
# Claim Reason
1 180 + (90 ⋅ (-1)) = 90 180 + (90 ⋅ (-1)) = 90
2 y = 90 if y = 180 + (90 ⋅ (-1)) and 180 + (90 ⋅ (-1)) = 90, then y = 90
Previous Lesson Next Lesson

Comments

Please log in to add comments