1=2”，他在纸上写下的证明过程看起来也没什么可以反驳的地方。
假设：a=b，且agt0，bgt0
证明：
（1）因为agt0，bgt0
（2）又因为a=b
（3）所以a×b=b×b=b^2
（4）所以a×b—a^2=b^2—a^2
（5）所以a（b—a）=（b a）×（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步的约分简化。”