>x=3、y=4、z=5はx^2+y^2=z^2の自然数解だけど、x=0.3、y=0.4、z=0.5は自然数解じゃない

x=0.3、y=0.4、z=0.5が存在するならば、x=3、y=4、z=5も存在します。