设函数fx的定义域为(l,l),证明必存在