shwedka писал(а):
А все же как насчет положительных рецензий??? В третий раз прошу, а вы девушку игнорируете!!! Абидна, да???
А вот и "свисток":
Случаи 2 распадаются на два подслучая:
2a) на n делится число c
2b) на n делится число b.
Рассмотрим сначала
Случай 2a:
![$c_1=0$ $c_1=0$](https://dxdy-01.korotkov.co.uk/f/4/4/5/445004d51dd59779669552e93c746ff882.png)
, но
![$(ab)_1$ $(ab)_1$](https://dxdy-03.korotkov.co.uk/f/6/3/5/635f1f84ad700e1262892ee068a9495982.png)
≠
![$0$ $0$](https://dxdy-03.korotkov.co.uk/f/2/9/6/29632a9bf827ce0200454dd32fc3be8282.png)
,
![$k_{(2)}= c_{(2)}=0$ $k_{(2)}= c_{(2)}=0$](https://dxdy-01.korotkov.co.uk/f/4/6/0/4600200cef1b349e8f6dea73736b682a82.png)
,
![$k_3$ $k_3$](https://dxdy-03.korotkov.co.uk/f/2/1/7/217f7d81471603a691eb1d73b70a50ff82.png)
≠
![$0$ $0$](https://dxdy-03.korotkov.co.uk/f/2/9/6/29632a9bf827ce0200454dd32fc3be8282.png)
, следовательно,
![$R_{(2)}=10$ $R_{(2)}=10$](https://dxdy-04.korotkov.co.uk/f/b/4/d/b4d0d15d37668cab5343567fc414789082.png)
и
![$r_{(5)}=00001$ $r_{(5)}=00001$](https://dxdy-02.korotkov.co.uk/f/5/7/1/571cbffc9c1d95a5fa5ecdcb8b2c678382.png)
(см. 1*)
(6°) (здесь
![$r = a+b$ $r = a+b$](https://dxdy-03.korotkov.co.uk/f/6/5/6/65614d2f7f6c211f1f8ea83c7e97523382.png)
и
![$R = (a^n+b^n)/(a+b)$ $R = (a^n+b^n)/(a+b)$](https://dxdy-01.korotkov.co.uk/f/4/b/2/4b29c370c3e848bc348f0241f80af77282.png)
).
Но нам понадобятся также и
(7°)
![$p = c-b$ $p = c-b$](https://dxdy-03.korotkov.co.uk/f/e/9/9/e99de10c76a4a207437f493906e47d1882.png)
и
![$P = (c^n-b^n)/(c-b)=c^2+cb+b^2$ $P = (c^n-b^n)/(c-b)=c^2+cb+b^2$](https://dxdy-02.korotkov.co.uk/f/1/0/9/109d4b6fe912e476c3a292a048a3112a82.png)
;
(8°)
![$q = c-a$ $q = c-a$](https://dxdy-03.korotkov.co.uk/f/e/8/1/e814befb4881e1d535559cf749516b7f82.png)
и
![$Q = (c^n-a^n)/(c-a)=c^2+ca+a^2$ $Q = (c^n-a^n)/(c-a)=c^2+ca+a^2$](https://dxdy-02.korotkov.co.uk/f/1/1/d/11d3db9a7410b5a46aacbc3b818185de82.png)
.
Предварительно для удобства вычислений преобразуем
![$a_{(5)}=0$ $a_{(5)}=0$](https://dxdy-04.korotkov.co.uk/f/f/9/4/f948b49d11e52065a53c9ee6519df4c982.png)
(следовательно и
![$(-b)_{(5)}$ $(-b)_{(5)}$](https://dxdy-04.korotkov.co.uk/f/7/8/d/78d6a0dc13622790caeba0f68ad50ad282.png)
) в 00001 с помощью некоторого
![$d{nn}$ $d{nn}$](https://dxdy-02.korotkov.co.uk/f/5/f/4/5f4e89770c505e4795dfec6f15df088682.png)
из Леммы 2*.
(9°) Теперь
![$ P_{(5)} = Q_{(5)} = c^*0001$ $ P_{(5)} = Q_{(5)} = c^*0001$](https://dxdy-01.korotkov.co.uk/f/0/0/9/009ba135b191c12e91092b01a22cccc182.png)
, где
![$c^*$ $c^*$](https://dxdy-04.korotkov.co.uk/f/f/a/9/fa9c30ddf097ca824e3c64b3a9f1166282.png)
есть цифра
![$c_5$ $c_5$](https://dxdy-01.korotkov.co.uk/f/8/f/7/8f7bfbb1af0753c4bcdec7128031116882.png)
(см. 7°-8°).
Доказательство Случая 2а
(10°) В сумме P и Q (см. 7°-9°) 5-значное окончание равно 5-значному окончанию
![$c^*0001+c^*0001a$ $c^*0001+c^*0001a$](https://dxdy-02.korotkov.co.uk/f/5/f/0/5f04fe1f99cd4aea05fe4903eca26aac82.png)
, где пятая цифра, очевидно, не равна нулю. Запомним этот факт.
А теперь найдем 5-значное окончание этой суммы иначе (с учетом окончаний чисел
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
,
![$b$ $b$](https://dxdy-01.korotkov.co.uk/f/4/b/d/4bdc8d9bcfb35e1c9bfb51fc69687dfc82.png)
,
![$a+b$ $a+b$](https://dxdy-04.korotkov.co.uk/f/f/6/b/f6b7e0cb55b5449abf64c8aa5f82b5d782.png)
):
т.е. цифра
![$(2c^*)_5 $(2c^*)_5](https://dxdy-01.korotkov.co.uk/f/4/5/8/458b121c3b7580d162f7b055b649f5f982.png)
НЕ РАВНА НУЛЮ.
А теперь сравните этот результат с (10°).