证明：

（1）因为agt0，bgt0

（2）又因为a=b

（3）所以axb=bxb=b^2

（4）所以axb—a^2=b^2—a^2

（5）所以a（b—a）=（b a）x（b—a）

（6）所以a=（b a）

（7）又因为a=b

（8）所以a=2a

（9）所以1=2

不知道沈思易和孙维有没有头绪，对于这种纯理论的东西，反正涂化是看不出来有什么问题。不论是假设还是证明，每一步看起来都合情合理，看到最后一步，涂化都想承认1和2相等这个伪命题了。

但学霸毕竟是学霸，沈思易和孙维两人很快就这道题目的证明过程开始进行分析：“他这个证明过程，第1步到第3步是没有问题的。”

孙维拿着笔在纸上记录着：“第4步也没有问题，但是从aba^2=b^2a^2这一步到第5步的分解过程……”

沈思易皱着眉道：“分解没有问题，问题在第5步到第6步的约分简化。”

“从第五步a（b—a）=（b a）x（b—a）到第六步a=（b a），他对这个算式进行了约分，给等号两边同时除掉了‘ba’。但事实上，在假设条件中已经做出了规定，a和b是相等的，这就证明ba=0，而0是不能做除数的。”

“也就是说在第五步的时候，他不能对等式两边进行ba的约分。”

经过沈思易的分析，涂化也明白过来，原来这个看似无懈可击的证明过程，其实是在企图用复杂的字母关系掩盖原本明显清晰的数字关系，如果这道证明题不去假设ab，直接用准确的数字代替字母，必然不会出现这样的谬论。

那眼镜男听到沈思易的分析，也终于明白过来，兴奋道：“你们太厉害了！我想了整整一天也没想出来啊！”

沈思易谦虚地点点头：“现在可以告诉我们汤姆跟你说了什么吗？”

“汤姆告诉我，密码的限制条件是：除非l和o相邻，否则n不可能在最后一位。”

涂化连忙把他们之前根据那四条提示信息得到的分析结果拿出来进行对比，他们得到了两种可能性，分别是m、k、l、o、n或者m、o、k、l、n。

而按照最后一条限制条件所述，n想要在最后一位，l和o这两个字母必须相邻。他们分析得到的两种情况中n都处于最后一位，显然只有m、k、l、o、n这种排序方式符合条件。

所以m、k、l、o、n就是密码的正确顺序！

三人兴奋地冲向吧台，从酒保那里把汤姆留下的密码箱拿过来，在密码锁的滚轮上按下这五个字母。

“咔哒”一声，锁开了。