от Гост » 09 Юни 2012, 17:01
Означаваме нечетното число с p. Нека (p,5)=1. Разглеждаме числото, образувано от [tex]\varphi(p)[/tex] наброй единици. [tex]1111...1=\frac{10^{\varphi(p) }-1 }{9 }\equiv 0(modp)[/tex],защото (10,p)=1.
Нека 5/p. Нека най-високата степен на 5, която дели p е s. По индукция можем да докажем, че за всяка степен на 5 съществува кратно на него, записано само с нечетни цифри. База за s=1,2,3 са числата а1=5, а2=75, а3=375. Нека 5^n/a(n). Разглеждаме числата [tex]\overline{1a(n)}, \overline{3a(n)}, \overline{5a(n)}, \overline{7a(n)}, \overline{9a(n)}[/tex] Ясно е че всички те се делят на 5^n и че едно от тях се дели на 5^(n+1)(защото всички дават различен остатък по модул 5^(n+1)). Така индукцията е завършена.
Означаваме p=5^s.k, като (k,5)=1. От индукцията сме намерили а(s). Написваме го [tex]\varphi (k)[/tex] пъти едно до друго. Полученото число се дели на 5^s и аналогично на първия случай се дели и на k, т.е изпълнява условието.