Алексей К. писал(а):
Утверждение о том, что утвержение "(01°) если целое положительное число
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
не кратно простому
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
, то существует такое целое положительное число
![$d$ $d$](https://dxdy-03.korotkov.co.uk/f/2/1/0/2103f85b8b1477f430fc407cad46222482.png)
, что
![$ad=n^p-1$ $ad=n^p-1$](https://dxdy-02.korotkov.co.uk/f/1/8/e/18e1e226fe85c713cfbac3347283b21182.png)
" ложно, было бы верным для
простого числа ![$n^p-1$ $n^p-1$](https://dxdy-02.korotkov.co.uk/f/d/9/e/d9e066776df38cf264211e472b7d5e9d82.png)
, где
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
нечетное.
Я правильно понял?
Никто не хочет сбегать в магазинчик, пару мегабайт совести купить? Совести --- не путать с памятью!
И Вы знаете такое число? Тогда нужно бежать не в магазин, а по другому адресу...
Добавлено спустя 7 минут 16 секунд:Алексей К. писал(а):
В.Сорокин писал(а):
Но доказано ли – а если нет, то возможно ли доказать, - что число
![$a^m+b^m-c^m$ $a^m+b^m-c^m$](https://dxdy-01.korotkov.co.uk/f/8/b/2/8b2ffbb7c9f2837dd71ef605f272723282.png)
, где
![$0<m<n$ $0<m<n$](https://dxdy-03.korotkov.co.uk/f/a/d/f/adf3aaaf134e254f79eecff6eeb5211e82.png)
НЕ делятся на
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
?
В смысле,
![$1<m<n$ $1<m<n$](https://dxdy-02.korotkov.co.uk/f/d/7/2/d72d1f7cb6183780e35ef02e2be8ea6582.png)
? Если я чего-нибудь понимаю в этих играх...
Совершенно верно. Но специально для Вас:
![$m$ $m$](https://dxdy-01.korotkov.co.uk/f/0/e/5/0e51a2dede42189d77627c4d742822c382.png)
натуральное.
Добавлено спустя 6 минут 19 секунд:juna писал(а):
![$p$ $p$](https://dxdy-03.korotkov.co.uk/f/2/e/c/2ec6e630f199f589a2402fdf3e0289d582.png)
- некоторое целое. Но Ваше уверждение вызывает сомнение: оно было бы верным для простого числа
![$n^p-1$ $n^p-1$](https://dxdy-02.korotkov.co.uk/f/d/9/e/d9e066776df38cf264211e472b7d5e9d82.png)
, где
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
нечетное.
Какие сомнения? Ваше первоначальное утверждение по-своему записанная малая теорема Ферма - Вы утверждаете, что
![$\gcd(a,n)=1\to n^p\equiv 1 \mod a$ $\gcd(a,n)=1\to n^p\equiv 1 \mod a$](https://dxdy-03.korotkov.co.uk/f/e/0/f/e0fd7430ceebc1a1e062000ae5ea503b82.png)
. Ясно, что
![$p=\varphi(a)$ $p=\varphi(a)$](https://dxdy-04.korotkov.co.uk/f/3/d/3/3d3e8d2f5f6f58c44b63194466a2987682.png)
или же меньше на полупериод и т.д., где
![$\varphi(a)$ $\varphi(a)$](https://dxdy-03.korotkov.co.uk/f/a/8/b/a8ba7807752f08f0f5c9816e21bc062b82.png)
- функция Эйлера. Так вот функция Эйлера от
![$a$ $a$](https://dxdy-01.korotkov.co.uk/f/4/4/b/44bc9d542a92714cac84e01cbbb7fd6182.png)
не обязана быть простым числом.
В моем утверждении число
![$p$ $p$](https://dxdy-03.korotkov.co.uk/f/2/e/c/2ec6e630f199f589a2402fdf3e0289d582.png)
- целое и не обязательно простое. Пример для
![$a=13, n=3$ $a=13, n=3$](https://dxdy-03.korotkov.co.uk/f/a/a/5/aa5454fb7713fbae40b16feb9e23e0b682.png)
:
![$a*2=3^3-1$ $a*2=3^3-1$](https://dxdy-03.korotkov.co.uk/f/2/4/c/24c31caed0f1418a61d0f93bcaaef5f982.png)
. Здесь
![$d=2, p=3$ $d=2, p=3$](https://dxdy-03.korotkov.co.uk/f/6/7/9/679bd48bb6679733af34100fb2708fc982.png)
.