Proof: Distance 3

Let's prove the following theorem:

if x = (distance AB) + (distance CD), then x = (distance DC) + (distance AB)

Proof:

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

Given
1 x = (distance AB) + (distance CD)
Proof Table
# Claim Reason
1 x = (distance CD) + (distance AB) if x = (distance AB) + (distance CD), then x = (distance CD) + (distance AB)
2 distance CD = distance DC distance CD = distance DC
3 x = (distance DC) + (distance AB) if x = (distance CD) + (distance AB) and distance CD = distance DC, then x = (distance DC) + (distance AB)

Comments

Please log in to add comments