[N] Non si parla di generatori elettrici...

[HiTLeuLeR]

<!-- BBCode Start --><B>Lemma</B><!-- BBCode End -->: per ogni primo naturale p > 2: sum_a=1...p-1 a^p = 0 mod p².
<BR>
<BR>Dim.: poiché si ammette che p sia un primo naturale di valenza dispari, esiste un intero g nell\'intervallo aperto ]1, p[ tale che g sia una radice primitiva mod p. E allora, per ogni a = 1, 2, ..., p - 1, risulta <!-- BBCode Start --><I>univocamente</I><!-- BBCode End --> determinato un k fra gli interi 0, 1, ..., p - 2 per cui: a = g^k mod p, ovvero: a = g^k + b_kp, essendo b_k esso pure un intero. E allora: a^p = (g^k + b_kp)^p = [Per il teorema binomiale] = sum_r=0...p Bin(p, r) · g^{k·(p - r)} · (b_kp)^r = g^p·k mod p², pur di considerare che, per ogni r = 1, 2, ..., p: Bin(p, r) · p^r = 0 mod p².
<BR>
<BR>Ne fa seguito che: sum_a=1...p-1 a^p = sum_k=0...p-2 g^p·k = [g^p·(p-1) - 1]/(g^p - 1) = [g^{phi(p^2)} - 1]/(g^p - 1) mod p², ove phi(-) denota - al solito - la totiente di Eulero. Ora, per il teorema di Euler-Fermat: p² | g^{phi(p^2)} - 1, e tuttavia, essendo g > 1, g^p - 1 non è divisibile per p, ergo: gcd(p, g^p - 1) = 1. Coerentemente con il primo th. di Euclide dell\'Aritmetica, ne discende che: p² | [g^{phi(p^2)} - 1]/(g^p - 1), e dunque: sum_a=1...p-1 a^p = [g^{phi(p^2)} - 1]/(g^p - 1) = 0 mod p², q.e.d.
<BR>
<BR>No, non sono impazzito del tutto! Dunque, iniziamo dal principio... ieri notte, scorrendo alcuni topic ormai depositati nel dimenticatoio, mi sono imbattuto in un simpatico problemotto di Teoria dei Numeri ancora irrisolto, e mi sono detto che forse sarebbe stato il caso di dedicargli un po\' di tempo... e così in effetti è stato! Senonché adesso non mi riesce più di risalire alla pagina in cui veniva originariamente formulata la questione. Ecco perché ripropongo qui di seguito il problema assieme alla soluzione cui avrei pensato. L\'autore non me ne voglia a male e si faccia eventualmente avanti per rivendicare la paternità dell\'idea!
<BR>
<BR><!-- BBCode Start --><B>Problema</B><!-- BBCode End -->: dimostrare che, per ogni primo naturale p > 2: sum_a=1...p-1 a^2p-1 = [p(p+1)]/2 mod p².
<BR>
<BR>Soluz.: in accordo al teorema di Euler-Fermat, per ogni a = 1, 2, ..., p - 1: a^p-1 = 1 mod p, perciocché esiste h_a in Z tale che: (H.1) a^p-1 = 1 + h_ap, ovvero: (H.2) a^p = a · (1 + h_ap). E allora, moltiplicando membro a membro le due relazioni ultime così ottenute, fa seguito che, comunque scelto un a = 1, 2, ..., p - 1: a^2p-1 = a^p · a^p-1 = a · (1 + h_ap)² = a · (1 + 2h_ap) mod p².
<BR>
<BR>Di qui, per sommazione: (H.3) sum_a=1...p-1 a^2p-1 = sum_a=1...p-1 a · (1 + 2h_ap) = [Dissociando] = (sum_a=1...p-1 a) + 2p · (sum_a=1...p-1 a · h_a) = [p·(p - 1)]/2 + 2p · sum_a=1...p-1 a · h_a mod p².
<BR>
<BR>Del resto, in base al lemma precedentemente dimostrato: 0 = sum_a=1...p-1 a^p = [Dalla (H.2)] = sum_a=1...p-1 a · (1 + h_ap) = [Dissociando] = [p·(p-1)]/2 + p · sum_a=1...p-1 a · h_a mod p², e quindi: 0 = p·(p-1) + 2p · sum_a=1...p-1 a · h_a mod p², o equivalentemente: 2p · sum_a=1...p-1 a · h_a mod p² = p mod p².
<BR>
<BR>Se ne deduce finalmente che: sum_a=1...p-1 a^2p-1 = [Dalla (H.3)] = [p·(p - 1)]/2 + 2p · sum_a=1...p-1 a · h_a = [p·(p - 1)]/2 + p = [p·(p + 1)]/2 mod p², q.e.d.
<BR>
<BR>
<BR>\"Exigua est virtus praestare silentia rebus; at contra gravis est culpa tacenda loqui.\" - Ovidio<BR><BR>[ Questo Messaggio è stato Modificato da: HiTLeuLeR il 20-09-2004 11:38 ]

[HiTLeuLeR]

Bene, direi che un esercizietto sui generatori, a questo punto, non ci starebbe affatto male! Perciò...
<BR>
<BR><!-- BBCode Start --><B>Problema</B><!-- BBCode End -->: sia n un intero positivo. Dimostrare ch\'esistono infiniti primi naturali p per cui: min({g -> N₀ t.c. g è una radice primitiva mod p}) > n, ove \"->\" denota il simbolo di appartenenza insiemistica.
<BR>
<BR>
<BR>\"Quelli che gridano al deserto preparano il sentiero per gli dèi.\" - Oscar Wilde

[HiTLeuLeR]

Ecco, dopo ore ed ore [...] di estenuante ricerca, sono riuscito finalmente a rintracciare il post in cui veniva proposto quel benedetto problemino! Grazie a quel solipsista meteoritico di Talpo [gh] per la sua collaborazione, quantunque - in ultima analisi - del tutto inessenziale. <!-- BBCode Start --><I>So</I><!-- BBCode End -->, <a href=\"http://olimpiadi.ing.unipi.it/modules.p ... =0\"><font color=blue><!-- BBCode Start --><I>here is the link</I><!-- BBCode End --></font></a>!
<BR>
<BR>
<BR>\"Ogni arte è immorale!\" - Oscar Wilde<font color=white><BR><BR>[ Questo Messaggio è stato Modificato da: HiTLeuLeR il 14-11-2004 20:13 ]