勾股定理是谁最早提出并证明的