逻辑证明归谬法,假设其为有理数但是经过恒等变化发现它可以无限次的除下去,所以矛盾所以假设不成立,即此数不为有理数.