>553
x=b/a=b/√3は有理数となる可能性があるので間違い

bは√3の有理数倍となりません。