3 4 5是不是最小的勾股数