I believe in you ^^
Alwin, I apologise, but I think I'm set to disappoint. You must forgive me in advance for the oncoming barrage of blasphemous questions, especially in your godly mathematical dominion, but I fear, a peasantly denizen of mathematics such as myself could never quite match your prowess.
First up, you should note that:
Thanks to Spec, I understand this, and thus, I tried my hand at finding a general solution as you did:

From observation:



First of all, have I done this correctly. Second of all,

Could you please tell me what it should be, i.e. what is n an element of? I'm pretty sure I've always used J in Methods and Z in Spec? (maybe)? What do they all mean Alwin?! And in what cases do we use a specific number system (e.g. you used N - natural numbers)? ლ(ಠ益ಠლ)
Secondly
Now if we solve for say, 6 solutions -1≤ n ≤ 1, we get:

Why do we use -1≤ n ≤ 1? And if you got 6 solutions, this means that you would have to have used fractions, so is the number system N not integers? If, say, I had used my general solution

would I still get these results?
But, if we look closely only if we let the forth solution
will there be one solution in the domain.
In other words,

I need some help for this part. I'm struggling to understand why we reject solutions being outside of the domain. For example, say if K was 10, then the solution:

substitute K = 10

would still be in this domain. Conversely, say if K =

then

, the solution we used, would be 8

and therefore, outside of the domain? So, are we just considering the numerator to see if these values of x will be within the specified domain, because k is merely a constant? Essentially, how did you reject the solutions?
**Shoot - I just realised. Did you just go along and substitute each k-value to see if there was 1/2/3 etc solutions? Isn't tha time consuming?***
I think if I can grasp this, I'll easily understand the other parts.
Much gratitude Alwin, be thankful you are forsaken of the tumultuous confusion experienced by your simpletoon peers.