依巴谷用球面几何学测量星空