弦长公式里怎么求x1-x2?