Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2020/ib/paper-2/7h/solution

Set
Conditioning on gives the affine recurrence
Its fixed point is the first component of the stationary distribution,
Thus , and gives
Starting instead from state two gives the same recurrence with initial value zero. Therefore

New to topics? Read the docs here!