I'm struggling with some of the logic writing this proof. This is the question:
Prove that if X is in AB (AB is a line segment) with X =/= B, then dist(AX) < dist(AB).
Logically this makes perfect sense. The problem is that I struggle with putting it into words. This is my attempt.
Proof: Towards a contradiction, suppose that the distance AX >= AB. Then by definition, AX + XB >= AB. This implies that X is not in the line segment AB. =><=
Am I close or should I use a different approach?