第5题,用定义证明,不是直接求导,