Мала теорема Ферма — одне з основних тверджень елементарної теорії чисел. Вперше була сформульована в листі французького математика П'єра де Ферма до свого друга [en] 18 жовтня 1640 року. В листі проте не було наведено доведення. Перше відоме доведення подане Лейбніцом у неопублікованих рукописах.
Формулювання
Мала теорема Ферма допускає кілька еквівалентних формулювань.
Нехай — просте, — ціле, що не ділиться на . Тоді:
- .
Еквівалентним є наступне твердження: Нехай — просте, — довільне ціле число. Тоді:
- .
Узагальнення 1
Ейлером було доведено, що для довільного взаємно простого з виконується наступне:
де — функція Ейлера.
Узагальнення 2
Рівність справедлива для всіх елементів скінченного поля , утвореного елементами.
Доведення
Доведення 1 (за методом математичної індукції)
Позначимо, як звично
Тоді для простого і маємо, що ділиться на . Справді можна записати де . Оскільки і є взаємно-простими, то, очевидно, що ділить і, як наслідок ділиться на . Твердження Малої теореми Ферма доводитимемо методом математичної індукції. Теорема очевидно справедлива для . Припустимо, що вона справджується для певного цілого . Згідно з формулою бінома Ньютона, використовуючи раніше доведене і припущення індукції одержуємо:
- .
тобто , що доводить твердження для додатних цілих. Для від'ємних доведення аналогічне.
Доведення 2 (використовуючи лишки)
Припустимо, що додатне число, що не ділиться на . Якщо записати
і обрахувати одержану послідовність за модулем , то ми отримаємо деяку перестановку чисел:
- .
Справді, жодне з чисел не ділиться на , оскільки і і будь-яке з чисел є взаємно прості з . Далі всі числа мають бути відмінними одне від одного за модулем . Справді, якщо
де і належать множині чисел то, зважаючи на взаємну простоту і отримуємо:
- , що неможливо.
Відповідно, якщо ми перемножимо обидві послідовності, то результати повинні бути еквівалентні за модулем :
Після перестановки множників і перепозначення отримуємо:
Остаточно, зважаючи, що і взаємно-прості одержуємо твердження теореми:
Доведення 3 (комбінаторне)
Припустимо, що ми маємо намистинки різних кольорів і нам потрібно зробити з них намисто довжиною намистинок. Для початку зробимо стрічку з намистинок. Існує різних стрічок. Відкинемо всі однотонні стрічки їх всього . Залишається різних стрічок. З'єднаємо початок кожної стрічки з її кінцем. Тепер деякі намиста стали однаковими, якщо їх повернути. Оскільки існує різних циклічних перестановок то існує різних намист. Виходячи з інтерпретації числа воно ціле.
Див. також
- Числа Кармайкла — псевдопрості числа
- Теорема Ферма
- Теорема Ферма (велика)
Джерела
- Ойстин Оре (2003). Приглашение в теорию чисел. Москва: Едиториал УРСС. ISBN .
- Arthur Engel (1997). Problem-Solving Strategies. New York: Springer-Verlag. ISBN .
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Mala teorema Ferma odne z osnovnih tverdzhen elementarnoyi teoriyi chisel Vpershe bula sformulovana v listi francuzkogo matematika P yera de Ferma do svogo druga en 18 zhovtnya 1640 roku V listi prote ne bulo navedeno dovedennya Pershe vidome dovedennya podane Lejbnicom u neopublikovanih rukopisah FormulyuvannyaMala teorema Ferma dopuskaye kilka ekvivalentnih formulyuvan Nehaj p displaystyle p proste a displaystyle a cile sho ne dilitsya na p displaystyle p Todi a p 1 1 mod p displaystyle a p 1 equiv 1 pmod p Ekvivalentnim ye nastupne tverdzhennya Nehaj p displaystyle p proste a displaystyle a dovilne cile chislo Todi a p a 0 mod p displaystyle a p a equiv 0 pmod p Uzagalnennya 1 Ejlerom bulo dovedeno sho dlya dovilnogo a displaystyle a vzayemno prostogo z m gt 1 displaystyle m gt 1 vikonuyetsya nastupne a f m 1 mod m displaystyle a varphi left m right equiv 1 pmod m de f m displaystyle varphi left m right funkciya Ejlera Uzagalnennya 2 Rivnist x q x displaystyle x q x spravedliva dlya vsih elementiv x displaystyle x skinchennogo polya k q displaystyle k q utvorenogo q displaystyle q elementami DovedennyaDovedennya 1 za metodom matematichnoyi indukciyi Poznachimo yak zvichno p k p p 1 p 2 p k 1 k displaystyle p choose k frac p p 1 p 2 cdots p k 1 k binomialnij koeficiyent Todi dlya prostogo p displaystyle p i 0 lt k lt p displaystyle 0 lt k lt p mayemo sho p k displaystyle p choose k dilitsya na p displaystyle p Spravdi mozhna zapisati p k p m k displaystyle p choose k frac pm k quad quad de m p 1 p 2 p k 1 displaystyle quad quad m p 1 p 2 cdots p k 1 Oskilki p displaystyle p i k displaystyle k ye vzayemno prostimi to ochevidno sho k displaystyle k dilit m displaystyle m i yak naslidok p k displaystyle p choose k dilitsya na p displaystyle p Tverdzhennya Maloyi teoremi Ferma dovoditimemo metodom matematichnoyi indukciyi Teorema ochevidno spravedliva dlya a 1 displaystyle a 1 Pripustimo sho vona spravdzhuyetsya dlya pevnogo cilogo a displaystyle a Zgidno z formuloyu binoma Nyutona vikoristovuyuchi ranishe dovedene i pripushennya indukciyi oderzhuyemo a 1 p a p a 0 k 1 p 1 p k a k a p 1 a 1 mod p displaystyle a 1 p equiv a p a 0 sum k 1 p 1 p choose k a k equiv a p 1 equiv a 1 pmod p tobto a 1 p a 1 0 mod p displaystyle a 1 p a 1 equiv 0 pmod p sho dovodit tverdzhennya dlya dodatnih cilih Dlya vid yemnih dovedennya analogichne Dovedennya 2 vikoristovuyuchi lishki Pripustimo sho a displaystyle a dodatne chislo sho ne dilitsya na p displaystyle p Yaksho zapisati a 2 a 3 a p 1 a displaystyle a 2a 3a ldots p 1 a quad quad i obrahuvati oderzhanu poslidovnist za modulem p displaystyle p to mi otrimayemo deyaku perestanovku chisel 1 2 3 p 1 displaystyle 1 2 3 ldots p 1 quad quad quad Spravdi zhodne z chisel a 2 a 3 a p 1 a displaystyle a 2a 3a ldots p 1 a ne dilitsya na p displaystyle p oskilki i a displaystyle a i bud yake z chisel 1 2 3 p 1 displaystyle 1 2 3 ldots p 1 ye vzayemno prosti z p displaystyle p Dali vsi chisla a 2 a p 1 a displaystyle a 2a ldots p 1 a mayut buti vidminnimi odne vid odnogo za modulem p displaystyle p Spravdi yaksho k a m a mod p displaystyle ka equiv ma pmod p de k displaystyle k i m displaystyle m nalezhat mnozhini chisel 1 2 p 1 displaystyle 1 2 ldots p 1 to zvazhayuchi na vzayemnu prostotu a displaystyle a i p displaystyle p otrimuyemo k m mod p displaystyle k equiv m pmod p sho nemozhlivo Vidpovidno yaksho mi peremnozhimo obidvi poslidovnosti to rezultati povinni buti ekvivalentni za modulem p displaystyle p a 2 a 3 a p 1 a 1 2 3 p 1 mod p displaystyle a times 2a times 3a times cdots times p 1 a equiv 1 times 2 times 3 times cdots p 1 pmod p Pislya perestanovki mnozhnikiv i perepoznachennya otrimuyemo a p 1 p 1 p 1 mod p displaystyle a p 1 p 1 equiv p 1 pmod p Ostatochno zvazhayuchi sho p displaystyle p i p 1 displaystyle p 1 vzayemno prosti oderzhuyemo tverdzhennya teoremi a p 1 1 mod p displaystyle a p 1 equiv 1 pmod p Dovedennya 3 kombinatorne Pripustimo sho mi mayemo namistinki a displaystyle a riznih koloriv i nam potribno zrobiti z nih namisto dovzhinoyu p displaystyle p namistinok Dlya pochatku zrobimo strichku z p displaystyle p namistinok Isnuye a p displaystyle a p riznih strichok Vidkinemo vsi odnotonni strichki yih vsogo a displaystyle a Zalishayetsya a p a displaystyle a p a riznih strichok Z yednayemo pochatok kozhnoyi strichki z yiyi kincem Teper deyaki namista stali odnakovimi yaksho yih povernuti Oskilki isnuye p displaystyle p riznih ciklichnih perestanovok to isnuye a p a p displaystyle frac a p a p riznih namist Vihodyachi z interpretaciyi chisla a p a p displaystyle frac a p a p vono cile Div takozhChisla Karmajkla psevdoprosti chisla Teorema Ferma Teorema Ferma velika DzherelaOjstin Ore 2003 Priglashenie v teoriyu chisel Moskva Editorial URSS ISBN 5 354 00252 4 Arthur Engel 1997 Problem Solving Strategies New York Springer Verlag ISBN 0 387 98219 1