勾股数必须是正整数吗?