我国哪位天文学家利用北极高度和夏日日长计算出了子午线一度之氏和地球的周长的是：（）