Multiplicative Property of Equality Variation 1
Substitution 12
Substitution in Product
Distance Symmetry Example 5

Proof: Distance Symmetry Example 5

Let's prove the following theorem:

if x ⋅ (distance AB) = z, then x ⋅ (distance BA) = z

Proof:

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

Given
1 x ⋅ (distance AB) = z
Proof Table
# Claim Reason
1 distance AB = distance BA distance AB = distance BA
2 x ⋅ (distance BA) = z if x ⋅ (distance AB) = z and distance AB = distance BA, then x ⋅ (distance BA) = z
Previous Lesson

Comments

Please log in to add comments