If two points c and D outside the line BC are known, CA = CB, Da = dB, and the straight line CD intersects AB at O, then point O is the midpoint of AB, and CD is the vertical bisector of ab

If two points c and D outside the line BC are known, CA = CB, Da = dB, and the straight line CD intersects AB at O, then point O is the midpoint of AB, and CD is the vertical bisector of ab

There are two reasons
1) The points with equal distance to the two ends of the line segment are on the vertical bisector of the line segment;
2) Two points make a straight line