6.2 归纳和余归纳 5、利用归纳和等式演算，也可以证明 merge(odd(o),even(o))o -需用归纳法先证明下面几个等式： head(tail(odd(o))=head(taile()) head(taile(merge(o,)))head(tail(o)) head(tailn +1(merge(o,))head(tail() -然后利用等式演算证明 head(tail(merge(odd(o),even())))= head(tail()6.2 归纳和余归纳 5、利用归纳和等式演算，也可以证明 merge(odd(), even()) =  – 需用归纳法先证明下面几个等式： head(tail(n) (odd())) = head(tail(2n) ()) head(tail(2n) (merge(, ))) = head(tail(n) ()) head(tail(2n + 1)(merge(, ))) = head(tail(n) ()) – 然后利用等式演算证明 head(tail(n) (merge(odd(), even()))) = head(tail(n) ())