勾股定理及其历史