“大致流程就是这样，先建立丢番图方程，然后转换为pell方程，再利用线性形式对数理论，就能够排除掉其他解。”
台下阿三们已经憋不住了，纷纷举手质疑道：“林教授，这里的线性形式对数理论是什么？
我怎么从来没有听过这个理论？”
“我也没听过。”
台下议论声四起，陈景润已经意识到林燃要讲什么了。
“没错，我接下来就要继续讲线性形式对数理论。
我们给定代数数α1、α2”
“这个理论把格尔丰德和施耐德关于超越数的理论进行了扩张，我们把理论范围推广到了多个对数的线性组合中。
另外对丢番图逼近里的经典技术进行了改进，让大家可以利用这个方法去估计线性形式的下界。”
在场响起了热烈的掌声，大家都是数学家，都知道这玩意有多有用。
可以这么说，只要林燃构建的方法没有漏洞，那么这个所谓线性形式对数理论将成为现代数论中的一个强大工具，能够帮助解决一大堆丢番图分析和超越数领域的问题。
“这个方法可以把抽象的数论问题，转化为可操作的计算，它连接了伦道夫纲领部分分支。”
因为费马大定理的证明用到了谷山-志村猜想，一跃成为东京大学数学系副教授的志村五郎也跟着东大的大部队来到了香江。
坐在阶梯教室里，志村五郎感觉林君简直就是神，背后窗户的灯洒在对方身上，就像沐浴神光一样。
他心想：“林君已经不甘心做猜想，他已经在做工具，在把自己提出的数学地图连接完整吗？
不愧是有着高斯之称的男人。”
不光志村五郎佩服的五体投地，在场做数论的数学家们没有一个不佩服的。
林燃接着说：“然后是我今天最重要的内容，前面提到的线性形式对数理论除了用来证明了费马的丢番图猜想外，更重要的意义是支撑我的这个猜想。
我把它命名为ABC猜想。”
就是望月新一声称自己证明了的那个ABC猜想。
在林燃详细介绍完ABC猜想后，台下掌声一片，这次学术讲座的内容有点过于丰富了。