{y(y+1)}^(1/2)は常に無理数です。は、間違いでした。