询问(0,2π)内三角方程1+sin2x=sinx+sin²x的后续求解步骤及解的个数

首先，你前面的推导逻辑是通顺的，从原方程1+sin2x=sinx+sin²x到5+4sin2x=(2sinx+1)²的变形没问题。接下来我们可以借助三角恒等式进一步化简，逐步找到解的个数：

步骤1：代入二倍角公式展开 #

我们利用二倍角公式sin2x=2sinxcosx，把它代入你得到的等式：

5 + 4*(2sinxcosx) = (2sinx+1)²

展开两边后：

• 左边化简为：5 + 8sinxcosx
• 右边展开平方项：4sin²x + 4sinx + 1

步骤2：移项整理方程 #

把右侧所有项移到左侧，合并常数项：

5 + 8sinxcosx - 4sin²x - 4sinx - 1 = 0

化简后得到：

4 + 8sinxcosx - 4sin²x - 4sinx = 0

两边除以4简化式子：

1 + 2sinxcosx - sin²x - sinx = 0

步骤3：用三角恒等式转化形式 #

这里我们可以用1 - sin²x = cos²x进行替换，方程变为：

cos²x + 2sinxcosx - sinx = 0

把前两项提取公因子cosx，得到：

cosx(cosx + 2sinx) = sinx

步骤4：排除无意义的情况 #

先检查cosx=0的情况，此时x=π/2或3π/2，代入原方程验证：

• x=π/2：左边1+sinπ=1，右边sin(π/2)+sin²(π/2)=1+1=2，两边不相等，舍去；
• x=3π/2：左边1+sin3π=1，右边sin(3π/2)+sin²(3π/2)=-1+1=0，两边不相等，舍去。

因此cosx≠0，我们可以给等式两边除以cosx，得到更简洁的形式：

cosx + 2sinx = tanx

步骤5：分析区间内的零点个数 #

令f(x)=cosx + 2sinx - tanx，我们分四个子区间讨论f(x)=0的解：

1. (0, π/2)：

   • f(0)=1+0-0=1>0
   • 当x→π/2⁻时，tanx→+∞，f(x)→0+2*1 -∞→-∞<0
   • 根据介值定理，此区间有1个解。

2. (π/2, π)：

   • 当x→π/2⁺时，tanx→-∞，f(x)→0+2*1 -(-∞)→+∞>0
   • f(π)=-1+0-0=-1<0
   • 此区间有1个解。

3. (π, 3π/2)：

   • f(π)=-1<0
   • 当x→3π/2⁻时，tanx→-∞，f(x)→0+2*(-1)-(-∞)→+∞>0
   • 此区间有1个解。

4. (3π/2, 2π)：

   • 当x→3π/2⁺时，tanx→+∞，f(x)→0+2*(-1)-∞→-∞<0
   • f(2π⁻)=1+0-0=1>0
   • 此区间有1个解。

结论 #

在区间(0,2π)内，原方程共有4个实数解。

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