勾股定理最先是用于做什么的