弦长公式及其运用