二、勾股与测天