用定义域证明函数y=9-x²;在[1,+∞)是减函数
问题描述：
用定义域证明函数y=9-x²;在[1,+∞)是减函数
答
设x2>x1>1 x1-x20
y=f(x)=9-x²
f(x2)-f(x1)=(9-x2^2)-(9-x1^2)=(x1^2-x1^2)=(x1+x2)(x1-x2)