这个结论不对,请检查题目来源.
首先,使用变量分离法易求得y'=(1+y²)/2的通解为y(x)=tan((x+C)/2).
因此满足初值条件y(π/2)=√3=tan(π/3)的解为y(x)=tan((x+π/6)/2).
当x→5π/6-时y(x)→+∞.
然而,在区间[π/6,5π/6]上,sin(x)≥1/2,故(1+x²+y²)sin(x)≥(1+x²+y²)/2≥(1+y²)/2.
根据比较定理,y'=(1+x²+y²)sin(x)满足初值条件y(π/2)=√3的解,
在[π/2,5π/6]上不小于tan((x+π/6)/2),因此在有界区间上趋于无穷,存在区间不能为(-∞,+∞).
猜测题目可能是y'=(1+x²+y²)sin(y).
此时方程有一族特解:常值函数y=kπ(k为整数).
由解的唯一性,方程的任意其它解都夹在某两个特解y=kπ与y=(k+1)π之间,
因此不能在有界区间上趋于无穷,故存在区间为(-∞,+∞).