高等数学问题：第156题画红线的这一步怎么来的？不明白望详细解答，涉及计算最好拍照解答谢谢

∵x1是f(x)在(0,π)内唯一零点 ∴当x∈(0,π)且x≠x1时，f(x)≠0,sin(x-x1)≠0 ∴sin(x-x1)f(x)≠0