a-b=(a^1/2 -b^1/2)( a^1/2+b^1/2)
a-b and a^1/2+b^1/2 are rationals this leads to

a^1/2-B^1/2 is rational


by addition we conclude that a^1/2 is rational and b^1/2 is rational