>>31
(2)
(1)よりlog_[3](4)=log_[3^(1/2)](2)が無理数であることをを利用して
a=3^(1/2),b=log_[3](4)