道のりを求める式