Research diaries #15: Going down rabbit holes

in StemSocial3 months ago (edited)

In math everything you do has always to be consistent with the rules of logic. But the real goal of math is finding structure inside the logic. Usually finding problems with interesting patterns is not a direct process. You start at a problem and then find a solution which raises new interesting questions and then leads to a new problem with a solutions which yields an even wider range of interesting questions and on we go.

Here is a fun simple puzzle that I got from a reddit forum which got me rabbit hole-ing:

Problem 1: Given a number with six digits where the 1st digit is the same as the 4th and the 2nd digit is the same as the 5th digit and the 3rd digit is the same as the 6th digit. Is this number always divisible by 13?

Note that divisible means that if we divide the number by a given integer then we end up with an integer. Here are some examples which indicate that the statement is true: 123123 = 13 x 9471, 456456 = 13 x 35112, 112112 = 13 x 8624. Some we have some evidence that the statement is true and indeed it is. We can prove this by writing the statement in an algebraic expression. Write the the three consecutive digits as a1,a2,a3. Then a1a2a3a1a2a3 can be written as

a1 x 105 + a2 x 104 + a3 x 103 + a1 x 102 + a2 x 101 + a3

which can be rewritten as

a1 x 102(1+ 103) + a2 x 101(1+ 103) + a3 x (1+ 103) = (a1 + a2 +a3) x (1+ 103)

Now observe that 1+ 103 = 1001 which is divisible by 13. Therefore, the statement is true.

So how about if we consider only 4 digits with 2 repeating digits. Well, 1212 is not divisible by 13. So what can we say about this setting?

Problem 2: Given a number with four digits where the 1st digit is the same as the 3rd and the 2nd digit is the same as the 4th digit. What is the resulting number divisible by?

We can repeat the previous proof procedure. We write a1a2a1a2 in powers of 10:

a1 x 103 + a2 x 102 + a1 x 101 + a2= a1 x 101 (1 + 102) + a2 (1 + 102)
= (a1+a2) x (1 + 102)

So for arbitrary a1,a2 this number will be divisible by whatever 1 + 102 is divisible by. Now we can come up with a general statement.

Problem 3: Given a number with 2N digits where the 1st digit is the same as the (1+N)th and the 2nd digit is the same as the (2+N)th digit etc. What is the resulting number divisible by?

We can repeat the trick again. We write the number a1a2...aNa1a2...aN then write it in powers of 10 and we find that it can be written as

(a1+ a2+ ... + aN)(1+ 10N)

So we see that for the general setting the numbers is divisible by 1+ 10N.

We could stop there. But another question comes to light what can we say about the number 1+ 10N. In the original problem we actually were looking at a divisor of 1+ 10N. So let's investigate if we can say something about when 1+ 10N has a divisor other than itself. Or in other words

Problem 4: Are there conditions on N for which 1+ 10N is not prime?

Suppose that N = 2km with m is odd. Then we write

10N mod 102k +1 = 102km mod 102k +1 = - 102k(m-1) mod 102k +1 = 102k(m-2) mod 102k +1 = ... = (-1) m mod 102k +1

But recall that m is odd. So we obtain the equality

10N mod 102k +1 = -1 mod 102k +1

which means that 10N + 1 is divisible by 102k +1 under the conditions that N = 2km with m odd which is a pretty neat result as it means that there are infinitely N for which the number is not prime.

This is very much a mathematics research goes. You start somewhere keep following your curiosity. So what I really wanted to say is that doing Mathematics is very much like being a cat =^..^=

Cat tax

WhatsApp Image 2023-02-24 at 05.41.28.jpg


With me, what usually gets me rabbit hole-ing is when something sounds quite absurd or counter-intuitive. Like 'there are larger and smaller infinities' or 'the circle has been squared in taxicab geometry' or some such.

I find that these are often matters that can be solved or approached even with little mathematical knowledge. Like, in the latter example, it's quite clear to me that there was a choice involved: either treat the taxicab example as proof that our definition of 'circle' is incomplete, or else accept that in some geometries the circle can be squared (thus avoiding the embarrassment of admitting we've been using an incomplete definition for eons with whatever consequences that might have for the rest of math).

Very interesting maths tricks. I enjoy learning stuff like this but I hardly apply them till I forget what they mean

Thanks for your contribution to the STEMsocial community. Feel free to join us on discord to get to know the rest of us!

Please consider delegating to the @stemsocial account (85% of the curation rewards are returned).

You may also include @stemsocial as a beneficiary of the rewards of this post to get a stronger support.