Prove that lg(3) is irrational.
Rem: lg(m)=t implies 10^t=m
Let lg(3) be rational. Then, we must have:
lg(3) = a/b
=> b* lg(3) = a
=> 3^b = 10 ^a
So, the lhs of the above equation is always odd, and the rhs of the above equation is always even. This leads to a contradiction.
Thereforem our earlier supposition that lg(3) was rational was erroneous. Therefore, lg(3) must be irrational.