把方程化成有限搜索

01 · 核心想法

用日常语言理解

某些含幂的丢番图方程，可以改写成代数数对数的线性组合。假设存在很大的解，可能迫使这个组合异常接近零。贝克理论对适当的非零线性形式给出有效下界；如果假设的解太大，上下估计就会矛盾。这样，数论问题可以转化为明确的界，在合适情形下进一步化为有限计算。关键不是用计算器近似对数，而是排除小得不可能的非零量。

为什么重要

有效超越数估计为求解若干类丢番图方程提供工具，加深了超越数论与明确算术计算之间的联系。