Your system needs to remain at the same point after an additional iteration. I.e. $x_{n}=x_{n+1}$.
$x_{n+1} = ax_{n}+b$ hence becomes $x_{n}=ax_{n}+b$, which yields
$x_{n}-ax_{n}=b$
then
$x_{n}(1-a)=b$
and finally
$x_{n}=\frac{b}{1-a}$.
For $b=0$ we get $x_{n+1} = ax_n$, which is feasible for any $a$, with the fixed point coming to lie at 0.
Otherwise this is feasible for any $a\neq 1$ (which would make the system $x_{n+1}=x_{n}+b$, which makes visible how b will for ever increase the system value).
This also explains the result, which means in simple terms that at the fixed point the factor a diminishes the value of x as much as b adds to it.
Again, this relates to the stability. A BIBO stable system will remain bounded on a bounded input b (or returns to zero for asymptotic stability). This is achieved by limiting the eigenvalues of the discrete system (here a) to be strictly smaller than 1 in magnitude: $|a|<1$.