It makes the recursive step simpler.

It allows the recursion to terminate for a wider range of initial inputs.

It guarantees that the recurrence relation is linear.

It is only necessary for non-homogeneous recurrence relations.