勾股定理的证明是否有必要详细讲解?