log_{2}(3)が整数係数の二次方程式の解にならないことの証明を教えてください