2-Digit Numbers forming Longest Reverse-and-Add Sequence

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $m \in \Z_{>0}$ be a positive integer expressed in decimal notation.

Let $\map r m$ be the reverse-and-add process on $m$.

Let $r$ be applied iteratively to $m$.


The $2$-digit integers $m$ which need the largest number of iterations before reaching a palindromic number are $89$ and $98$, both needing $24$ iterations.


Proof

The sequence obtained by iterating $r$ on $89$ is:

$89, 187, 968, 1837, 9218, 17347, 91718, 173437, 907808, 1716517, 8872688,$
$17735476, 85189247, 159487405, 664272356, 1317544822, 3602001953, 7193004016, 13297007933,$
$47267087164, 93445163438, 176881317877, 955594506548, 170120002107, 8713200023178$

This sequence is A033670 in the On-Line Encyclopedia of Integer Sequences (N. J. A. Sloane (Ed.), 2008).


Note that $\map r {89} = \map r {98} = 187$, so the sequence obtained by iterating $r$ on $98$ is the same.


To show that no other $2$-digit integers have longer sequences, we define an equivalence relation on the $2$-digit integers as follows:

$\sqbrk {a_1 a_2} \sim \sqbrk {b_1 b_2} \iff a_1 + a_2 = b_1 + b_2$

For each $2$-digit integer $\sqbrk {a_1 a_2}$:

$\map r {\sqbrk {a_1 a_2} } = \sqbrk {a_1 a_2} + \sqbrk {a_2 a_1} = 11 \paren {a_1 + a_2}$


Notice that if $\sqbrk {a_1 a_2} \sim \sqbrk {b_1 b_2}$:

$\map r {\sqbrk {a_1 a_2} } = 11 \paren {a_1 + a_2} = 11 \paren {b_1 + b_2} = \map r {\sqbrk {b_1 b_2} }$

So the value of $r$ is equal in each equivalence class.


For each $2$-digit integer $\sqbrk {a_1 a_2}$, we have:

$18 = 9 + 9 \ge a_1 + a_2 \ge 1 + 0 = 1$


For $2$-digit integers where $a_1 + a_2 \le 9$:

$\map r {\sqbrk {a_1 a_2} } = 11 \paren {a_1 + a_2}$ is a $2$-digit multiple of $11$, which is a palindrome.


So we consider each equivalence class of $2$-digit integers with $a_1 + a_2 \ge 10$.

We have the sequences:

$19, 110, 121$
$29, 121$
$39, 132, 363$
$49, 143, 484$
$59, 154, 605, 1111$
$69, 165, 726, 1353, 4884$
$79, 176, 847, 1595, 7546, 14003, 44044$
$89, \cdots, 8713200023178$, with $24$ iterations
$99$


So:

every $2$-digit integer not in the equivalence class of $89$ has a shorter iteration

and:

$\eqclass {89} \sim = \set {89, 98}$

$\blacksquare$


Sources