Me l'ha fatto vedere ieri Carlein, la dimostrazione è molto semplice ma bella.
Siano $ \displaystyle a $ ed $ \displaystyle m $ due interi tali che $ \displaystyle (a,m)=1 $. Dimostrare che $ \displaystyle a^{\phi (m)} \equiv 1 \pmod m $
Piccolo Teorema di Fermat
Piccolo Teorema di Fermat
Appassionatamente BTA 197!
Re: Piccolo Teorema di Fermat
Scusate la mia ignoranza ma cosa significa $ \displaystyle a^{\phi (m)} $?
"fatti non foste a viver come bruti,
ma per seguir virtute e canoscenza"(Dante)
ma per seguir virtute e canoscenza"(Dante)
-
- Messaggi: 1776
- Iscritto il: 17 nov 2007, 19:12
azz... la prossima volta controllerò meglio il glossarioTibor Gallai ha scritto:viewtopic.php?t=3713&highlight=fermat

Se non ho interpretato male i simboli, la dimostrazione che ho visto ieri è praticamente la stessa di HiTLeuLeR.HiTLeuLeR ha scritto:Teorema di Euler-Fermat: per ogni $ n\in\mathbb{N}_0 $ ed ogni $ a\in\mathbb{Z} $ che sia coprimo con $ n $: $ a^{\varphi(n)} \equiv 1 \bmod n $, ove $ \varphi(\cdot) $ denota (al solito) la funzione dei totienti di Eulero.
Dim.: per il lemma precedente $ \displaystyle\prod_{x\in\mathcal{T}_n} x \equiv \prod_{x\in\mathcal{T}_n} ax \equiv a^{\varphi(n)} \prod_{x\in\mathcal{T}_n} x $, siccome $ \varphi(n) := |\mathcal{T}_n| $. E del resto $ \displaystyle\gcd\!\left(n, \prod_{x\in\mathcal{T}_n} x\right)\! = 1 $. Pertanto, ancora in virtù del lemma di Euclide: $ a^{\varphi(n)} \equiv 1 \bmod n $, q.e.d.
Appassionatamente BTA 197!
uh non lo sapevo nemmeno io che se ne fosse già discusso.Però lo sospettavo, ad ogni modo forse prima di postare il link sarebbe stato simpatico lasciar provare qualche nuovo utente all'ignoto di ste cose,in fondo l'idea non è affato scontata però è semplice semplice, quindi non è così impensabile che qualche nuovo utente se la trovi da se: in fondo è vero che non bisogna postare sempre le stesse cose però le persone che frequentano il forum cambiano(almeno in parte) nel tempo, e dopo un pò un argomento archiviato può diventare di nuovo interessante,almeno secondo me. Comunque si la dimostrazione è proprio quella ed è un gioiellino a mio parere,io l'ho pescata ieri sul Sato e penso sia una delle più belle che ho letto finora 

Lo stolto è colui che dice quello che sa.Il saggio è colui che sa quello che dice.
"And then one day you find,ten years have got behind you,no one told when to run,you missed the starting gun"
"And then one day you find,ten years have got behind you,no one told when to run,you missed the starting gun"
-
- Messaggi: 1776
- Iscritto il: 17 nov 2007, 19:12
Interessante.Carlein ha scritto:forse prima di postare il link sarebbe stato simpatico lasciar provare qualche nuovo utente all'ignoto di ste cose,in fondo l'idea non è affato scontata però è semplice semplice, quindi non è così impensabile che qualche nuovo utente se la trovi da se: in fondo è vero che non bisogna postare sempre le stesse cose però le persone che frequentano il forum cambiano(almeno in parte) nel tempo, e dopo un pò un argomento archiviato può diventare di nuovo interessante,almeno secondo me.
Se vuoi proporre cambiamenti negli scopi del glossario, questa è la sezione giusta.