问勾股定理公式是什么?举个例子,怎么证明勾股定理方法