勾股定理是什么?怎么证明?请给出一种较简明的具体证明!