利用伟达定理求距离公式是什么