推导天体