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