q（a，b，c）<1，而q>1之情况实属少见，此时这些数的因数中存在着小素数的高次幂。

三个互质正整数a、b、c，且c=a＋b。

所谓互质，即它们的最大公约数是1。因此8＋9=17、5＋16=21是符合条件的一组数字，但是6＋9=15不是。

接着把abc的质因数都提取出来，比如5、16、21的质因数是5、2、3、7，这些质因数相乘的结果为210，这个数比原来的三个数大得多。

又比如5、27、32，它们的质因数是5、3、2，相乘结果为30，就比32小。但第二种情形极为罕见。

如果a和b都是小于100的数，在此能找到3044个符合条件的abc组合，其中只有7组满足第二种情形。而ab

c猜想要证明的，就是符合第二种情形的abc组合，只有有限个。

数学家们把abc的质因数乘积记作rad（abc）。今天用严谨的数学语言来表述，代入定理1、定理2：我们可以确信得到，对于任何e>0，只存在有限个互质正整数的三元组（a，b，c），c=a＋b，使得：c>rad（abc）1＋e。

由此，abc猜想，得到证明。

完成最后的证明二字，盯着手下刚刚崭新写下的手稿，似乎有数字和符号在吴桐的眼眸里凝成了愈发的深邃光，她手下并没有停止动作，而是具现出了一张草稿纸，继续往下书写着，上空倒影切换成吴桐新书写的内容，是从数论到代数几何的跨越。