0.07、0.24、0.25三个数是不是勾股数?