这个结论不对,请检查题目来源. 　　首先,使用变量分离法易求得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)π之间, 　　因此不能在有界区间上趋于无穷,故存在区间为(-∞,+∞).