kはaが3の倍数であることを示すための記号です。
aが自然数ですから
a=3kとしてkも自然数でないとおかしいのです。
aは自然数なのでkが負なら成り立ちません
kが小数ならaが3の倍数にならないです(k=0.5だとa=1.5で3の倍数にならない)
だったらaが自然数でなければいいと考えるかもしれませんが
まる1で両辺を2乗できる根拠がa,bが自然数であることですので
(a=√3bでa>0,√3b>0なので両辺を二乗することが可能になる)
これを整数とすることもできないわけです。
したがって、kは自然数でなければならないということになります
kが自然数でなければならないのはなぜか
負の数や小数ではなぜいけないか
いい視点だと思います。おおいに疑問を持ってください