HINT:
So, we have $$1000a+100a+10b+b=11(100a+b)$$
$\implies 100a+b$ must be divisible by $11\implies 11|(a+b)$ as $100\equiv1\pmod{99}$
As $0\le a,b\le 9, 0\le a+b\le 18\implies a+b=11$
$$\implies11(100a+b)=11(100a+11-a)=11^2(9a+1)$$
So, $9a+1$ must be perfect square
In contrast with other programming languages from its time, Pascal (the programming language)
also supports a set type, implemented as a bit pattern. The bit patterns associated with
the Pascal set type are $256$ bits wide, but this limitation is not essential and can been replaced
with other (larger) values eventually.
See Wikipedia for a reference.
A rather detailed description of the set type implementation can be found
as well .
So we have the following practice:
- a bit pattern in a computer is a set type
We also know that
- a bit pattern in a computer is a natural number type
Indeed, everybody knows that a natural number can be represented as a binary i.e. a bit pattern.
The word "type" has been employed here in order to avoid confusion with other
(i.e the standard mathematical) "set" and "number" definitions.
More precisely: the
hereditarily finite sets
are in one-to-one correspondence with the natural numbers. And the latter fact is independent of
computers.
Examples.
$$
\begin{array}{l}
0 = 000 = \{\} \\
1 = 001 = \{0\} = \{\{\}\} \\
2 = 010 = \{1\} = \{\{\{\}\}\} \\
3 = 011 = \{0\; 1\} = \{\{\}\{\{\}\}\} \\
4 = 100 = \{2\} = \{\{\{\{\}\}\}\} \\
5 = 101 = \{0\; 2\} = \{\{\}\{\{\{\}\}\}\} \\
6 = 110 = \{1\; 2\} = \{\{\{\}\}\{\{\{\}\}\}\} \\
7 = 111 = \{0\; 1\; 2\} = \{\{\}\{\{\}\}\{\{\{\}\}\}\} \\
\cdots
\end{array}
$$
The above is related to the following reference, by Alexander Abian and Samuel LaMacchia:
If the curly brackets $\{\}$ are replaced by square brackets $\left[\,\right]$ then another
important fact is observed:
- a set type is is a natural number type is a sorted natural numbers array type
If now we devise
an equivalent of the elementary number operations with sorted arrays,
then we have virtual unlimited precision at our disposal. That this approach indeed works, shall be demonstrated at hand of the OP's question.
Here is a link to the complete (Delphi Pascal) program that does the job:
And here is a link to the number $3^{100000}$ itself, which is too large to fit into
MSE's margins:
The screen output of the program is the number of digits, the first, the middle and the last digit:
47713
1 2 1
So, indeed, as
Lucian says in a comment: it's "obvious" that the digit in the middle is a $\large\, 2$ .
Note. A power like $\,3^{100000}\,$ sounds quite impressive, but with a smart
algorithm, the number of operations is only $\,\ln_2(100000)\approx17$ . For
real numbers $\,x\,$ and a natural $\,n\,$ it goes as follows:
function power(x : double; n : integer) : double;
var
m : integer;
p, y : double;
begin
m := n; y := x; p := 1;
while m > 0 do begin
if (m and 1) > 0 then p := p * y;
m := m shr 1; { m := m / 2 }
y := y * y;
end;
power := p;
end;
Wikipedia reference:
Efficient computation with integer exponents .
BONUS. In view of the above, the following answer is interesting:
Reference is made to a
paper by Kaye and Wong,
where on page 499 we read:
It was observed in 1937 by Ackermann [1] that $\mathbb{N}$ with the membership relation
defined by
$n \in m$ iff the $n$th digit in the binary representation of $m$ is $1$
satisfies ZF$-$inf. This interpretation, formalized in ZF with $\omega$ in place of $\mathbb{N}$
yields a bijection between $\omega$ and the collection $V_\omega$ of hereditarily finite sets.
Best Answer
It looks like you can solve it recursively.
And you play this way a little bit. I guess the solution is the only one