第247章 论证(3 / 4)
作品:《假装自己是学霸》苏牧的拿起了笔,以一种诡异的速度在草稿纸上运算着。
速度极其之快!
本来如果一支笔迅速的在纸上画线,会造成很大的响声,但是在苏牧奇特的力道控制之下,却并没有人发现他现在的异常!
“有点意思。”
一边解答着自己的题目,其他考生的信息也陆续传到了苏牧的脑海里。
土耳其小哥的第一道题目已经证明错误了,整个考场里大部分学生都正在功课第三题。
斜前方的一个男生的解题思路很不错,采用几何转换的方式,也算是挺取巧的方法。
老实说,苏牧其实并没有打算抄别人的方法,奈何这些多余的信息,还是不停的进入他的脑海中。
眨了眨眼,大脑里自动将这些信息隔离。
苏牧自己有信心做出自己的解法,看别人的思路反而会耽误时间。
“1分12秒。”
在极限运算的加成下,苏牧穷举出了正确的论证,这个论证是苏牧最开始选定的突破方向之一,极限运算在这个基础上实现了苏牧的步骤。
如果要证明(a^2+b^2)ab+1是某个正整数的平方,可以知道a,b,在表达式(a^2+b^2)ab+1中是有对称性的。
设立一个a≥b,当a=b的是,有正整q使得(2a^2)a^2+1=q。
得到(2-q)a^2=q,此时q=1,且a=b=1满足题意。
所以说,只需要讨论a>b的情况。
此时只需要另s与t满足,a=bs-t,以及s≥2,0≤t<b即可。
将a=bs-t带入式子(a^2+b^2)ab+1,然后展开。
经过一系列的变形之后,便能够得出最后的结论。
变形的方法和复杂,带入s和t的值也有些繁琐,但是在苏牧的极限运算之下,这些问题全部都不是问题。
……
苏牧并不意外自己可以在这么短的时间内解答出来,毕竟之前就有了那么多的思路铺路,还有其他选手们的各种信息。