fx在i上是增函数的充要条件是yx>0在I上恒成立。充要条件就是充分必要条件，意思是说，如果能从命题p推出命题q，而且也能从命题q推出命题p，则称p是q的充分必要条件，且q也是p的充分必要条件。