类似反证法的.设
设√5-√2>√3-1成立.移向√5+1>√3+√2
平方后1+2√5>2√6
平方4√5>3
平方80>9对了