瞧着曾识君眼睛差点瞪出来的惊讶表情,江水源哈哈大笑:“你当真了?我骗你的!”
江水源说的“骗”,意思是他考试时并没有用扔橡皮来决定答案。而听在曾识君的耳朵里,就变成能考六七十分是骗人的。曾识君悻悻地撇了撇嘴:“骗人很有趣么?有本事就凭自己的真本事考个全府一等奖,耍嘴皮子有什么意思?”
江水源没有再搭理他,反正包子有肉不在褶上,以后分数公布时自然会水落石出,何必现在徒费口舌?他回过头继续问张谨道:“快说说看,你在周末都有什么新发现?我已经有些迫不及待了!”
张谨没有让他失望,扯过一张草稿纸问道:“你、你应该知道什么叫商高数吧?”
“知道。若正整数a、b、c满足方程a^2+b^2=c^2,则称这一组正整数(a、b、c)为‘商高数’,比如(3、4、5),(5、12、13),(8、15、17)。不过大家习惯上还是喜欢叫它们为‘勾股数’。”江水源若有所思地望向张谨:“怎么,你打算向勾股定理下手?”
张谨摇了摇头,开始在纸上写道:“不、不是。昨、昨天我偶然间发现,当、当a、b、c为商高数组时,那么不定方程a^x+b^y=c^z只有正整数解x=y=z=2。不信你可以试试看?”说到感兴趣处,他结巴的毛病居然奇迹般好了,变得吐字清晰、口齿伶俐。
证明一个猜想成立,可能要费尽千辛万苦;但要证明它不成立。有时只需一个反例就足够了。江水源听到张谨的要求,马上就开始用不同的数组尝试起来。
他的记忆力很好,脑袋里有无数个商高数组,而且运算起来疾如雷电:这个貌似不行,换一个;这个貌似也不行。再换一个……不经意间一节早读课便这么过去,他不仅没找到一个反例,反而折腾得自己脑仁生疼,只好暂时举起白旗:“我试了一下,发现至少对于常用商高数组来说,你的猜想是成立的。不过最不是最佳的检验方法。最佳的检验方法应该是通过数学推理加以证明。我试试看能不能证明出来吧?”
一个上午他一页书没看、一分钟课没听,全身心投入到这个猜想的证明当中,连课间操都没去做。到最后一节课下课的时候,他的课桌上摆满乱七八糟的草稿纸,头发也被挠得跟鸡窝一样。整个人颓废得就像文艺青年。张谨小心翼翼地劝道:“江、江水源,这个猜想是不是无法证明?要不咱们下午问问葛老师?”
张谨所谓的“无法证明”,不是说这个猜想无法通过科学手段加以证明,而是说他们俩的知识储备根本没达到证明所需要的高度。江水源颓然放下笔:“果然还是脑子太笨、读的书太少,死活证明不出来,看来只能下午去向葛大爷请教了!”
被猜想撩拨得坐立不安的江水源和张谨下午早早就到了学校,直奔葛钧天的办公室。