已知函数,且的解集为.
(Ⅰ)求的值;
(Ⅱ)若,且,求证:.
解:(Ⅰ)因为,所以等价于,…2分
由有解,得,且其解集为. …4分
又的解集为,故.…(5分)
(Ⅱ)由(Ⅰ)知
,又, …7分∴≥=9.9分
(或展开运用基本不等式)
∴