反证法!假设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为有理数.与假设相反