都是一个有理数的平方。

而费马找到了一个正整数解{1，3，8，120}，并且提出问题:能否有第5个整数增加到这个数集中，使得这个新数集也满足丢番图条件。

“费马的丢番图猜想我只需要一张纸就能完成证明。”

在座的数学家哗然，因为费马的丢番图猜想虽说不如费马大定理那么出名，但也同样困扰着数学界一直到今天都没解出来。

结果你现在说你只要一张纸，这未免太夸张了。

“大致流程就是这样，先建立丢番图方程，然后转换为pell方程，再利用线性形式对数理论，就能够排除掉其他解。”

台下阿三们已经憋不住了，纷纷举手质疑道：“林教授，这里的线性形式对数理论是什么？

我怎么从来没有听过这个理论？”

“我也没听过。”

台下议论声四起，陈景润已经意识到林燃要讲什么了。

“没错，我接下来就要继续讲线性形式对数理论。

我们给定代数数α1、α2......”

“这个理论把格尔丰德和施耐德关于超越数的理论进行了扩张，我们把理论范围推广到了多个对数的线性组合中。

另外对丢番图逼近里的经典技术进行了改进，让大家可以利用这个方法去估计线性形式的下界。”

在场响起了热烈的掌声，大家都是数学家，都知道这玩意有多有用。

可以这么说，只要林燃构建的方法没有漏洞，那么这个所谓线性形式对数理论将成为现代数论中的一个强大工具，能够帮助解决一大堆丢番图分析和超越数领域的问题。

“这个方法可以把抽象的数论问题，转化为可操作的计算，它连接了伦道夫纲领部分分支。”

因为费马大定理的证明用到了谷山-志村猜想，一跃成为东京大学数