勾股定律的定义是什么?