[求助]求教证明无理数的方法

jx215

一般的无理数容易用反证法证明，若是复杂的无理数呢？比如下面一些比较有代表性:
5^(1/3)-3^(1/3)
ln2
3^(3^(1/2))
tan2

有没有一种证无理数的通法，能一劳永逸地解决问题？

恶心的狐狸

所谓通法,其实就是一个有限状态机。
只要证明{一个有限状态机可以处理的问题}的势小于{无理数问题}的势，就可以证明没有通法。

jx215

那么楼上能否给出这几个数的无理数证明？

申一言

时至今日还有"无理数"吗?
     √P,是基本单位! 1^2=■
    3+5=8
   实质是:
   (√3)^2+(√5)^2=(√(3+5))^2
  [□=■■■]+[□=■■■■■]=[□=■■■■■■■■]
     这就是"哥猜"的实质!

申一言

  πr^2=(3+√2/10)■,  r=1,r^2=1^2=■.