от someone » 04 Май 2011, 11:05
Ето и едно решение на третата задача:
Търсената цифра [tex]a[/tex] може да бъде само 0, 2, 6 и 8 (това се намира елементарно с разглеждане по модул 10).
Допускаме, че [tex]a = 2[/tex] и нека [tex]k[/tex] е число, съставено от 2011 двойки (тъй като тук не знам как да го запиша по стандартния начин, го записвам така), а [tex]l[/tex] е число, съставено от 2011 единици.
Очевидно [tex]k = 2l \Rightarrow 3^{n}-1 \equiv k \equiv 2l(mod 10^{2011})[/tex]
Да изразим числото [tex]l[/tex].
Елементарният десетичен запис ни води до представянето [tex]l = 10^{2010} + 10^{2009} + ... + 10^{2} + 10 + 1[/tex]
Сега използваме тъждеството [tex]10^{n} - 1 = 9(10^{n-1} + 10^{n-2} + ... + 10^{2} + 10 + 1)[/tex]
[tex]\Rightarrow l = \frac { 10^{2011} - 1}{9}[/tex]
[tex]\Rightarrow 3^{n} - 1\equiv 2 \frac{10^{2011}-1}{9} (mod 10^{2011})[/tex]
но [tex]10^{2011}-1\equiv -1(mod 10^{2011}) \Rightarrow 3^{n} - 1 \equiv -\frac{2}{9} (mod 10^{2011})[/tex], което очевидно е невъзможно
[tex]\Rightarrow a\ne 2[/tex]
По аналогичен начин отхвърляме [tex]a=6[/tex] и [tex]a=8[/tex].
Остава да разгледаме [tex]a=0[/tex]. Задачата ни е да проверим дали има такова [tex]n[/tex], за което [tex]3^{n} \equiv 1(mod 10^{2011})[/tex]
Тук всъщност е единственият по-нестандартен момент в решението на задачата. Оказва се, че при сравнения, чийто модул е степен, теоремата на Ойлер е доста полезна. Ето как можем да я приложим в нашия случай:
Тъй като [tex]3[/tex] и [tex]10^{2011}[/tex] са взаимнопрости, то [tex]3^{\varphi (10^{2011})}\equiv 1(mod 10^{2011})[/tex]
[tex]\varphi (10^{2011})=\varphi (2^{2011}5^{2011})=(2^{2011}-2^{2010})(5^{2011}-5^{2010})=2^{2012}5^{2010}[/tex]
[tex]\Rightarrow 3^{2^{2012}5^{2010}} \equiv 1(mod 10^{2011})[/tex], което доказва, че такова [tex]n[/tex] съществува.
[tex]\Rightarrow[/tex] Eдинственото решение на задачата е [tex]a = 0[/tex].