We have $x_{n+1} = ax_n +b$ with $x_0$ given. We have to find the fixed points of this function, and decide for which values of $a$ they are stable.
So I looked it up and found that a fixed point is a point for which $f(x) = x$, so basically intersections of a certain function with the line $y=x$.
My question is; How can we use this for the above function? Does $x_{n+1}$ have to equal $x_n$? And how would we able to find these fixed points?
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$.