区间I上连续函数f满足g(x)=sinf(x)，是否存在整数k使f(x)=(-1)^k arcsin g(x)+kπ？

咱们先把问题的核心条件再理清楚：

• arcsin的取值范围固定为[-π/2, π/2]
• f在区间I上连续，且g(x) = sinf(x)
• 对每个x∈I，至少存在一个整数kₓ，满足：

  f(x) = (-1)^kₓ arcsin g(x) + kₓπ
  

直接给结论：不一定所有kₓ都相等，我们可以构造一个简单的反例来验证：

反例构造 #

取区间I = [-π/2, π/2]，定义f(x) = π/2 + x，显然f在I上连续。此时g(x) = sinf(x) = sin(π/2 + x) = cosx。

现在分情况看kₓ的取值：

1. 当x ∈ [-π/2, 0)时，f(x) = π/2 + x ∈ [0, π/2)，此时取kₓ=0，代入等式：

   (-1)^0 arcsin(cosx) + 0*π = arcsin(cosx)
   

   因为cosx = sin(π/2 + x)，而π/2 + x ∈ [0, π/2]（正好落在arcsin的定义域内），所以arcsin(cosx) = π/2 + x = f(x)，等式成立。
2. 当x ∈ (0, π/2]时，f(x) = π/2 + x ∈ (π/2, π]，此时取kₓ=1，代入等式：

   (-1)^1 arcsin(cosx) + 1*π = -arcsin(cosx) + π
   

   此时cosx = sin(π/2 + x) = sin(π - (π/2 + x)) = sin(π/2 - x)，而π/2 - x ∈ [-π/2, π/2]，所以arcsin(cosx) = π/2 - x，代入后得：

   -(π/2 - x) + π = π/2 + x = f(x)
   

   等式也成立。
3. 在x=0处，f(0)=π/2，此时kₓ取0或1都满足等式（代入后都等于π/2）。

这个例子里，f是连续的，但存在x=-π/4（kₓ=0）和x=π/4（kₓ=1），显然kₓ≠kᵧ，直接说明原问题的答案是否定的。

补充说明：什么时候kₓ会全相等？ #

如果f(x)的取值范围完全落在某个固定的S_k区间内：

• 当k为偶数时，S_k = [kπ - π/2, kπ + π/2]
• 当k为奇数时，S_k = [kπ + π/2, kπ + 3π/2]

此时对所有x∈I，kₓ都可以取这个固定的k，因为f(x)的取值刚好匹配该k对应的表达式，且连续函数不会跳出这个区间，所以kₓ恒定。

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