定义-线性差分方程的和不为零

解-由通解+特解