初等数论指数问题（Peter Hackman著）：证明a=r^k、b=r^j的存在性

这是初等数论里很经典的一个结论，咱们用素因子分解的方法一步步来证，思路会特别清晰：

步骤1：对a和b做素因子分解 #

设正整数a和b的素因子分解式为：
a = p₁^α₁ · p₂^α₂ · ... · pₙ^αₙ
b = p₁^β₁ · p₂^β₂ · ... · pₙ^βₙ
这里把a和b的素因子统一列出来，某个数没有的素因子对应的指数就取0，方便后续对比。

步骤2：利用等式推导指数关系 #

对两边同时做幂运算后，素因子的指数会相乘：
a^j = p₁^(α₁j) · p₂^(α₂j) · ... · pₙ^(αₙj)
b^k = p₁^(β₁k) · p₂^(β₂k) · ... · pₙ^(βₙk)
因为两个数相等，它们的素因子分解式完全相同，所以对每一个素因子p_i，都有：
α_i · j = β_i · k

步骤3：结合互素条件推导整除性 #

已知j和k是互素的正整数（即gcd(j,k)=1），根据数论里的整除性质：

• 若j | β_i · k且gcd(j,k)=1，则j | β_i（j和k没有公共素因子，j的所有素因子都得整除β_i）
• 同理，k | α_i

步骤4：构造正整数r #

既然k | α_i，我们可以设α_i = k · γ_i（γ_i是正整数），把这个代入α_i · j = β_i · k中：
k · γ_i · j = β_i · k
两边约去k，得到β_i = j · γ_i

现在把a和b用γ_i重新表示：
a = p₁^(kγ₁) · p₂^(kγ₂) · ... · pₙ^(kγₙ) = (p₁^γ₁ · p₂^γ₂ · ... · pₙ^γₙ)^k
b = p₁^(jγ₁) · p₂^(jγ₂) · ... · pₙ^(jγₙ) = (p₁^γ₁ · p₂^γ₂ · ... · pₙ^γₙ)^j

令r = p₁^γ₁ · p₂^γ₂ · ... · pₙ^γₙ，显然r是正整数，这样就得到了：
a = r^k，b = r^j

内容的提问来源于stack exchange，提问作者Iqbal Basyar