|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Evgenij Masherov 2:5020/175.2 15 Apr 2002 09:21:36
To : Alexander Lukichev
Subject : Re: теорема Ферма
--------------------------------------------------------------------------------
Sun Apr 14 2002 23:19, Alexander Lukichev wrote to Alexandra Bayazitova:
AB>> Извините, если оффтопик, но жутко интересно.
AB>> у кого-нить есть доказательство субжа? Я слышала, что доказали ее.
AB>> Если есть, намыльте в мыльницу, пожалуйста.
AB>> Заранее спасибо.
AL> У Кнута (третье издание, том 1, с.70) нашел следующее:
AL> Теорема. Если p - простое число, то a^p mod p = a mod p (a в степени p
AL> по модулю p равно a по модулю p) для всех целых a.
AL> Там же приводится доказательство (если интересно, могу запостить, но
AL> щас времени нет набивать).
AL> Вопрос к общественности: я слышал, что есть большая т.Ферма и малая
AL> т.Ферма. Простите моею серость. Приведенная выше - это какая?
Малая. Доказана самим Ферма. Большая - это
равенство
x^n+y^n=z^n не выполняется для целых, если n>2.
В отличие от малой, используемой в алгоритмах проверки на простоту чисел и
некоторых других задачах - практического применения не имеет.
Евгений Машеров АКА СанитарЖеня
--- ifmail v.2.15
* Origin: FidoNet Online - http://www.fido-online.com (2:5020/175.2)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
