天文望远镜焦距怎么算