Proof: Concurrent

Let's prove the following theorem:

if A is the midpoint of line XY and B is the midpoint of line ZX and PB ⊥ BX and PA ⊥ AY, then distance PZ = distance PY

P A X Y Z B

Proof:

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

Given
1 A is the midpoint of line XY
2 B is the midpoint of line ZX
3 PB ⊥ BX
4 PA ⊥ AY
Proof Table
# Claim Reason
1 distance PX = distance PY if PA ⊥ AY and A is the midpoint of line XY, then distance PX = distance PY
2 distance PZ = distance PX if PB ⊥ BX and B is the midpoint of line ZX, then distance PZ = distance PX
3 distance PZ = distance PY if distance PZ = distance PX and distance PX = distance PY, then distance PZ = distance PY

Comments

Please log in to add comments