3.1．通项导数（差分算子）的生成元当且仅当Res=1/2时存在线性相关