证明：DES算法解密过程是加密的逆运算

首先要知道DES算法其实是一种Feistel加密算法，只不过DES算法多了两步----初始置换IP和最终置换IP^-1。而Feistel算法的解密过程就是其加密过程的逆运算，具体地说，Feistel的加密算法和解密算法一样，只不过加密和解密时用的子密钥的顺序刚好相反，即(假设16轮轮转换）加密时子密钥顺序为K₁,K₂,...,K₁₆,解密时子密钥顺序为K₁₆,K₁₅,...,K₁。如下图所示：

以下证明Feistel算法的加/解密过程互逆
(设16轮轮换+最后一轮交换)
只要证明加密过程第i轮的输出为LE_i || RE_i和解密过程第(16 - i)轮的输出RD_{16 - i} || LD_{16 - i}相等就可证明Feistel算法的加/解密过程互逆。又LE_i = RE_{i - 1}, RE_i = LE_{i - 1} ⊕ F(RE_{i - 1}, K_i),LD_i