卡塔兰猜想

Catalan's conjecture

theorem about consecutive powers

卡塔兰猜想也称为米哈伊列斯库定理，是比利时数学家欧仁·查理·卡塔兰在1844年提出的数论猜想，已在2002年4月由帕德博恩大学的罗马尼亚数学家普雷达·米哈伊列斯库证明了这猜想，因此也称为米哈伊列斯库定理，证明大幅使用了分圆域和伽罗华模。