>>306
a=√2、b=log[√2]3 とでもすればいい。
bの無理性を示すのは飛躍的に簡単。