反证法!假设a+x是有理数,他就可以写成分数p/q的形式.
而令a=c/b.则,
p/q-c/b=x=(pb-cq)/qb 为有理数.与假设相反.
同理假设ax为有理数,设为m/n
则,(m/n)/(c/b)=x=mb/cn为有理数.与假设相反