Olympiad Maths Prep

Track / Stage 7 / 112 of 300 #1512 of 2000

Problem 1512

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.3 Prove it Philippine Mathematical Olympiad · Philippines

Problem:

Let xx be a real number so that x+1x=3x + \frac{1}{x} = 3. Find the last two digits of x22013+1x22013x^{2^{2013}} + \frac{1}{x^{2^{2013}}}.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution:

Let x+1x=3x + \frac{1}{x} = 3.

Let an=xn+1xna_n = x^n + \frac{1}{x^n} for n0n \geq 0.

We have the recurrence:
an=(xn+xn)=(x+x1)an1an2 a_{n} = (x^n + x^{-n}) = (x + x^{-1}) a_{n-1} - a_{n-2}
So,
an=3an1an2 a_n = 3 a_{n-1} - a_{n-2}
with a0=2a_0 = 2, a1=3a_1 = 3.

Let us compute a2a_2:
a2=3a1a0=3×32=7 a_2 = 3 a_1 - a_0 = 3 \times 3 - 2 = 7
a3=3a2a1=3×73=18a_3 = 3 a_2 - a_1 = 3 \times 7 - 3 = 18.
a4=3a3a2=3×187=47a_4 = 3 a_3 - a_2 = 3 \times 18 - 7 = 47.

But we need a22013a_{2^{2013}} modulo 100100 (the last two digits).

Let us look for a pattern modulo 100100.

Compute a few terms modulo 100100:
a0=2a_0 = 2
a1=3a_1 = 3
a2=7a_2 = 7
a3=18a_3 = 18
a4=47a_4 = 47
a5=94a_5 = 94
a6=35a_6 = 35
a7=11a_7 = 11
a8=68a_8 = 68
a9=95a_9 = 95
a10=79a_{10} = 79
a11=42a_{11} = 42
a12=47a_{12} = 47
a13=83a_{13} = 83
a14=44a_{14} = 44
a15=5a_{15} = 5
a16=10a_{16} = 10
a17=25a_{17} = 25
a18=65a_{18} = 65
a19=20a_{19} = 20
a20=95a_{20} = 95

Let us try to find the period. Compute a22a_{22}:
a21=3×9520=28520=26565(mod100)a_{21} = 3 \times 95 - 20 = 285 - 20 = 265 \equiv 65 \pmod{100}
a22=3×6595=19595=1000(mod100)a_{22} = 3 \times 65 - 95 = 195 - 95 = 100 \equiv 0 \pmod{100}
a23=3×065=6535(mod100)a_{23} = 3 \times 0 - 65 = -65 \equiv 35 \pmod{100}
a24=3×350=1050=1055(mod100)a_{24} = 3 \times 35 - 0 = 105 - 0 = 105 \equiv 5 \pmod{100}
a25=3×535=1535=2080(mod100)a_{25} = 3 \times 5 - 35 = 15 - 35 = -20 \equiv 80 \pmod{100}
a26=3×805=2405=23535(mod100)a_{26} = 3 \times 80 - 5 = 240 - 5 = 235 \equiv 35 \pmod{100}
a27=3×3580=10580=25(mod100)a_{27} = 3 \times 35 - 80 = 105 - 80 = 25 \pmod{100}
a28=3×2535=7535=40(mod100)a_{28} = 3 \times 25 - 35 = 75 - 35 = 40 \pmod{100}
a29=3×4025=12025=95(mod100)a_{29} = 3 \times 40 - 25 = 120 - 25 = 95 \pmod{100}
a30=3×9540=28540=24545(mod100)a_{30} = 3 \times 95 - 40 = 285 - 40 = 245 \equiv 45 \pmod{100}

Alternatively, let's try to find the period for ana_n modulo 100100.

Alternatively, note that x+1x=3x + \frac{1}{x} = 3.
The minimal polynomial is x23x+1=0x^2 - 3x + 1 = 0.
The roots are x=3±52x = \frac{3 \pm \sqrt{5}}{2}.
Let α=3+52\alpha = \frac{3 + \sqrt{5}}{2}, β=352\beta = \frac{3 - \sqrt{5}}{2}.

Then an=αn+βna_n = \alpha^n + \beta^n.

We are to compute a22013mod100a_{2^{2013}} \bmod 100.

Note that αβ=1\alpha \beta = 1.

Also, ana_n satisfies the recurrence an=3an1an2a_n = 3 a_{n-1} - a_{n-2}.

Let us try to find the period of ana_n modulo 100100.

Alternatively, note that ana_n modulo 100100 is periodic, and the period divides 1000010000 (since the recurrence is order 2, modulo mm, the period divides m21m^2 - 1).

Alternatively, let's compute ana_n modulo 44 and 2525 separately, then use the Chinese Remainder Theorem.

First, modulo 44:
a0=2a_0 = 2
a1=3a_1 = 3
a2=3×32=92=73(mod4)a_2 = 3 \times 3 - 2 = 9 - 2 = 7 \equiv 3 \pmod{4}
a3=3×33=93=62(mod4)a_3 = 3 \times 3 - 3 = 9 - 3 = 6 \equiv 2 \pmod{4}
a4=3×23=63=3(mod4)a_4 = 3 \times 2 - 3 = 6 - 3 = 3 \pmod{4}
a5=3×32=92=73(mod4)a_5 = 3 \times 3 - 2 = 9 - 2 = 7 \equiv 3 \pmod{4}
a6=3×33=93=62(mod4)a_6 = 3 \times 3 - 3 = 9 - 3 = 6 \equiv 2 \pmod{4}
So the sequence modulo 44 is: 2,3,3,2,3,3,2,3,3,2,2, 3, 3, 2, 3, 3, 2, 3, 3, 2, \ldots
It repeats every 3 terms after the first.

Let's check:
a0=2a_0 = 2
a1=3a_1 = 3
a2=3a_2 = 3
a3=2a_3 = 2
a4=3a_4 = 3
a5=3a_5 = 3
a6=2a_6 = 2
a7=3a_7 = 3
a8=3a_8 = 3
a9=2a_9 = 2
So the period is 3, starting from a1a_1.

So for n1n \geq 1, ana_n modulo 44 cycles as 3,3,23, 3, 2.

Now, 220132^{2013} modulo 33:
212(mod3)2^1 \equiv 2 \pmod{3}
221(mod3)2^2 \equiv 1 \pmod{3}
232(mod3)2^3 \equiv 2 \pmod{3}
241(mod3)2^4 \equiv 1 \pmod{3}
So 2k2^k cycles 2,1,2,1,2, 1, 2, 1, \ldots
20132013 is odd, so 220132(mod3)2^{2013} \equiv 2 \pmod{3}.

So a22013a_{2^{2013}} modulo 44:
If n1(mod3)n \equiv 1 \pmod{3}, an3a_n \equiv 3
If n2(mod3)n \equiv 2 \pmod{3}, an3a_n \equiv 3
If n0(mod3)n \equiv 0 \pmod{3}, an2a_n \equiv 2

220132(mod3)2^{2013} \equiv 2 \pmod{3}, so a220133(mod4)a_{2^{2013}} \equiv 3 \pmod{4}.

Now, modulo 2525:
a0=2a_0 = 2
a1=3a_1 = 3
a2=3×32=92=7a_2 = 3 \times 3 - 2 = 9 - 2 = 7
a3=3×73=213=18a_3 = 3 \times 7 - 3 = 21 - 3 = 18
a4=3×187=547=4722(mod25)a_4 = 3 \times 18 - 7 = 54 - 7 = 47 \equiv 22 \pmod{25}
a5=3×2218=6618=4823(mod25)a_5 = 3 \times 22 - 18 = 66 - 18 = 48 \equiv 23 \pmod{25}
a6=3×2322=6922=4722(mod25)a_6 = 3 \times 23 - 22 = 69 - 22 = 47 \equiv 22 \pmod{25}
a7=3×2223=6623=4318(mod25)a_7 = 3 \times 22 - 23 = 66 - 23 = 43 \equiv 18 \pmod{25}
a8=3×1822=5422=327(mod25)a_8 = 3 \times 18 - 22 = 54 - 22 = 32 \equiv 7 \pmod{25}
a9=3×718=2118=3(mod25)a_9 = 3 \times 7 - 18 = 21 - 18 = 3 \pmod{25}
a10=3×37=97=2(mod25)a_{10} = 3 \times 3 - 7 = 9 - 7 = 2 \pmod{25}
a11=3×23=63=3(mod25)a_{11} = 3 \times 2 - 3 = 6 - 3 = 3 \pmod{25}
a12=3×32=92=7(mod25)a_{12} = 3 \times 3 - 2 = 9 - 2 = 7 \pmod{25}
So the sequence is:
2,3,7,18,22,23,22,18,7,3,2,3,7,2, 3, 7, 18, 22, 23, 22, 18, 7, 3, 2, 3, 7, \ldots

It appears to repeat every 10 terms:
a10=2a_{10} = 2, a11=3a_{11} = 3, a12=7a_{12} = 7, which matches a0,a1,a2a_0, a_1, a_2.
So period is 10.

Now, 220132^{2013} modulo 1010:
21=22^1 = 2
22=42^2 = 4
23=82^3 = 8
24=1662^4 = 16 \equiv 6
25=3222^5 = 32 \equiv 2
26=6442^6 = 64 \equiv 4
27=12882^7 = 128 \equiv 8
28=25662^8 = 256 \equiv 6
So the cycle is 2,4,8,62, 4, 8, 6 (period 4).

2013÷4=5032013 \div 4 = 503 remainder 11, so 2201322^{2013} \equiv 2 (since 24k+122^{4k+1} \equiv 2).

So n=2n = 2 modulo 1010.
So a22013a27(mod25)a_{2^{2013}} \equiv a_2 \equiv 7 \pmod{25}.

Now, combine a220133(mod4)a_{2^{2013}} \equiv 3 \pmod{4} and a220137(mod25)a_{2^{2013}} \equiv 7 \pmod{25}.

Let x3(mod4)x \equiv 3 \pmod{4}, x7(mod25)x \equiv 7 \pmod{25}.

Let x=25k+7x = 25k + 7.
25k+73(mod4)25k + 7 \equiv 3 \pmod{4}
251(mod4)25 \equiv 1 \pmod{4}, so k+73(mod4)k + 7 \equiv 3 \pmod{4}
k3740(mod4)k \equiv 3 - 7 \equiv -4 \equiv 0 \pmod{4}
So k=4mk = 4m, x=25×4m+7=100m+7x = 25 \times 4m + 7 = 100m + 7
So the last two digits are 0707.

Therefore, the answer is 07\boxed{07}.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.