0.30.40.5是勾股数吗