>561
> bは√3の有理数倍となりません。
有理数倍とならない根拠は？

根拠は、１を見てください。