已知弧长、弧高计算弦长的公式