生造一个就行了。
令a>b,a,b是有理数
对于实数c=b+(a-b)/√2,易知a>c>b
根据非0的有理数乘无理数必为无理数
易知c为无理数
得证!
反证法分分钟的事,难的是这么两个无理数之间必然存在有理数,不信试试