Proof: Midpoint Distance 2c

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(distance MB) ⋅ 2 = distance AB	if M is the midpoint of line AB, then (distance MB) ⋅ 2 = distance AB (Midpoint Distance 2)
2	distance MB = distance BM	distance MB = distance BM (Distance Equality Property)
3	(distance BM) ⋅ 2 = distance AB	if distance MB = distance BM and (distance MB) ⋅ 2 = distance AB, then (distance BM) ⋅ 2 = distance AB (Substitution 14)
4	distance AB = distance BA	distance AB = distance BA (Distance Equality Property)
5	(distance BM) ⋅ 2 = distance BA	if (distance BM) ⋅ 2 = distance AB and distance AB = distance BA, then (distance BM) ⋅ 2 = distance BA (Transitive Property of Equality)

Comments

Please log in to add comments