You can either click the animate button or drag the points to see the segment addition postulate in action.