2025 SSMO Team Round Problems/Problem 12
Problem
Let
for all nonnegative integers
. Let
where
and
are relatively prime positive integers. Find
.
Solution
We utilize radical conjugates to solve this problem. Recall that
is always an integer for any positive integer
. Furthermore, notice that
. This motivates us to consider the parity of
.
If
is even, we have
. This means that
is less than the integer
while being within less than
of it. If
is odd,
. Then,
is greater than the integer
while being within less than
of it. Therefore,
Using this, we can evaluate the sum in the problem statement. We have:
\begin{align*}
\sum_{k=0}^{\infty} \frac{\lfloor a_k \rfloor}{10^k} &= 1 + \sum_{k=1}^\infty \frac{(4+3\sqrt{2})^k}{10^k} + \sum_{k=1}^\infty \frac{(4-3\sqrt{2})^k}{10^k} - \sum_{k=1}^\infty \frac{1}{10^{2k}} \\
&= 1 + \frac{\tfrac{4+3\sqrt{2}}{10}}{1 - \tfrac{4+3\sqrt{2}}{10}} + \frac{\tfrac{4-3\sqrt{2}}{10}}{1 - \tfrac{4-3\sqrt{2}}{10}} - \frac{\tfrac{1}{100}}{1 - \tfrac{1}{100}} \\
&= 1 + \frac{4+3\sqrt{2}}{6-3\sqrt{2}} + \frac{4-3\sqrt{2}}{6+3\sqrt{2}} - \frac{1}{99} \\
&= 1 + \frac{14}{3} - \frac{1}{99} \\
&= \frac{560}{99}.
\end{align*}
The answer is
.
~Sedro