凑导数定义反解