两边平方 ( √7 - √5 ) ^ 2 > ( √10 - √8 ) ^ 2 (可以两边平方的原因：小于符号两边都是正数)
展开 7 - 2√35 + 5 > 10 - 2√80 + 8
12 - 2√35 > 18 - 2√80
移项 12 - 18 > -2√80 + 2√35
-6 > -2√80 + 2√35
两边除以2 去负号 3 < √80 - √35
再次两边平方 9 < 80 - 2√2800 + 35 (两边可以平方的原因同上)
9 < 80 - 40√7 + 35
9 - 80 - 35 < -40√7
-106 < -40√7
去负号 106 > 40√7
第三次两边平 106 ^ 2 > ( 40√7 ) ^ 2 (两边可以平方的原因同上)
11236 > 11200
结果为真,所以前式成立