Proof: Midpoint Distance

Let's prove the following theorem:

if M is the midpoint of line AB, then distance AB = (distance AM) ⋅ 2

Proof:

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

Given

1	M is the midpoint of line AB

Proof Table

#	Claim	Reason
1	(distance AM) + (distance MB) = distance AB	if M is the midpoint of line AB, then (distance AM) + (distance MB) = distance AB (Midpoint Sum)
2	distance AB = (distance AM) + (distance MB)	if (distance AM) + (distance MB) = distance AB, then distance AB = (distance AM) + (distance MB) (Symmetric Property of Equality)
3	distance AM = distance MB	if M is the midpoint of line AB, then distance AM = distance MB (Midpoint Property)
4	distance AB = (distance AM) + (distance AM)	if distance AB = (distance AM) + (distance MB) and distance AM = distance MB, then distance AB = (distance AM) + (distance AM) (Substitution 3)
5	distance AB = (distance AM) ⋅ 2	if distance AB = (distance AM) + (distance AM), then distance AB = (distance AM) ⋅ 2 (Sum to Double)

Comments

Please log in to add comments