基本勾股数的定义