input a and b and let the programm run (it needs some time with big numbers) and get the result. a can be any whole number exept zero b can be any uneven whole number. basically all the Programm does is testing whether a is even if it is even it divides by two if it is not even than a + b. The reason it works is easily explained. If a is dividable by b than a divided by two is also dividable by b if it is not than a divided by two is neither. The same applais to a + b if a is dividable by b than it is also if not than not. Therefore if the start a is dividable by b the same applais to every other number in the way and if it is not the same also applais to every other number in the way. So the programm runs until it comes into a loop, because the numbers get smaller and smaller. The smallest possible by b dividable number is b itself. Therefore the loop for by b dividable nunmbers will be: b b*2 b b*2 ... If a is not dividable by b than you will run into 1 at some point and either in a loop with one like: 4 2 1 4 2 ... or in another loop later on. Like : 5 12 6 3 10 5 ... #math #mathematics #theory #number #numbertheory #conjecture
purely based on my understanding of mathematics.