if ∠CAB is a right angle, then (distance CB) ⋅ (distance CB) = ((distance CA) ⋅ (distance CA)) + ((distance AB) ⋅ (distance AB))

Start from the conclusion and work back up the proof. Click the arrow to show the parents.