求助：证明满足f(pᵏ)=g(pᵏ)的两个积性函数相等

嘿，这个问题其实可以结合积性函数的定义和数学归纳法来严谨证明，咱们一步步拆解你的思路，把它走通：

首先先明确核心前提：

• 积性函数的定义：对任意互素的正整数a、b，都有f(ab) = f(a)f(b)，g同理。
• 题目条件：对任意素数p和整数k≥1，f(pᵏ) = g(pᵏ)。

第一步：基础情况（n=1） #

对于n=1，根据积性函数的性质：f(1) = f(1×1) = f(1)×f(1)，解这个式子可得f(1)=1（除非是零函数，零函数显然也满足f=g）。同理g(1)=1，所以f(1)=g(1)成立。

第二步：归纳假设 #

假设对于所有小于n的正整数m，都有f(m)=g(m)。接下来要证明f(n)=g(n)。

第三步：分情况处理n #

这里就用到你想到的素因数分解思路了：

• 情况1：n是素数幂（n=pᵏ）
  直接用题目给出的条件，f(pᵏ)=g(pᵏ)，所以f(n)=g(n)成立。
• 情况2：n不是素数幂
  这时候n一定能拆成两个互素的正整数a和b的乘积，其中1<a,b<n（因为n至少有两个不同的素因子，比如n=p₁^k₁ p₂^{k₂...，取a=p₁}k₁，b=p₂^k₂...，它们互素且都小于n）。
  根据积性函数的定义：

  f(n) = f(ab) = f(a)f(b)
  g(n) = g(ab) = g(a)g(b)
  

  再结合归纳假设，f(a)=g(a)且f(b)=g(b)，所以f(a)f(b)=g(a)g(b)，也就是f(n)=g(n)。

第四步：归纳结论 #

通过数学归纳法，我们覆盖了所有正整数n的情况，因此对任意正整数n，f(n)=g(n)，即f=g。

补充：直接用素因数分解的视角 #

其实你最开始想到的素因数分解完全可行，本质是一样的：
对任意正整数n，它的素因数分解是唯一的（算术基本定理）：n = p₁^k₁ p₂^k₂ ... p_r^k_r，其中p₁,p₂,...,p_r是不同素数，k_i≥1。
因为这些素数幂两两互素，根据积性函数的性质：

f(n) = f(p₁^k₁) × f(p₂^k₂) × ... × f(p_r^k_r)
g(n) = g(p₁^k₁) × g(p₂^k₂) × ... × g(p_r^k_r)

而题目中每个f(p_i^k_i)=g(p_i^k_i)，所以相乘后必然f(n)=g(n)，直接得出f=g。

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