Problema induzione

[corel_86]

ok grazie mille tipper mi hai davvero aiutato purtroppo non ci sono arrivato da solo.......uffa era talmente semplice ......
ciao e grazie ancora

[seascoli]

Bene, ora finito il riscaldamento, dimostriamo il "Piccolo Teorema di Fermat".
Cito da Wikipedia: Il piccolo teorema di Fermat dice che se p è un numero primo, allora per ogni intero $a$:
$a^p -= a $ ____mod${p}$
Ho evidenziato io il brano in neretto, perchè si tratta di un'ipotesi necessaria.
Allora si deve dimostrare che: per ogni intero $a$, se $p$ é primo, si ha $a^p -= a $ ____mod${p}$
Usiamo ancora il principio di induzione finita (lavorando su $n$, non su $p$) e il gioco è fatto!
Basta usare lo sviluppo del binomio di Newton e notare che tutti i coefficienti binomiali del tipo $((p),(k))$ con $k=1,2,....,p-1$ sono multipli di $p$,
se $p$ è primo.
Per esempio per p=7 ci sono 8 coefficienti binomiali di "ordine" 7 :
1 7 21 35 35 21 7 1 (cfr. triangolo di Tartaglia) che, esclusi il primo e l'ultimo, sono tutti multipli di 7.
La dimostrazione suddetta la lascio come utile esercizio per Corel_86 ...

[corel_86]

io sapevo che il piccolo teorema di fermat dice il seguente aaserto

Siano p un numero primo e x un intero positivo tali che x non congruo 0 (mod p)

allora: $x^(p-1)-= 1 (mod p)$

ma questo teorema serve a calcolare l'esercizio che ho provato a svolgere?........se è cosi aiutami perchè non l'ho capito...

[seascoli]

Guarda su Wikipedia alla voce "Piccolo teorema di Fermat" (usa Google).
Vedrai che la prima formulazione è esattamente equivalente alla tua se $a$ è "coprimo" con $p$, cioè non ha come fattore $p$.
Infatti, se è vero che $x^p-x-=0$ __ $mod(p)$, allora per qualche intero $b$ si ha: $x^p-x-=bp$.
Ma , mettendo a fattor comune $x$. ciò equivale a
$x(x^{p-1}-1)=bp$
Ora confronta le due quantità, una a sinistra, l'altra a destra. Se coincidono, essendo unica la scomposizione in fattori primi, segue, in particolare, che il numero primo $p$, che figura esplicitamente nel lato di destra, deve per forza dividere anche il membro di sinistra.
Ma per ipotesi $x$ non contiene $p$ come fattore. Quindi è l'altro fattore, quello fra parentesi tonde, che deve essere multiplo di $p$. E questa è proprio la tesi alternativa del piccolo teorema di Fermat, quella a te nota.
Cioè, se vale la tesi così come l'ho enunciata io, allora per un qualche intero $c$ deve essere
$x^{p-1}-1=cp$
che è un altro modo di scrivere
$x^{p-1}-=1 " "mod(p)$, la tesi "piccola" di Fermat, come la conosci tu.
Convinta?

[seascoli]

@Corel_86
Rispondo alla tua domanda finale.
Certo che potevi risolvere i tuoi esercizi senza ricorrere al principio di induzione. Bastava che tu dicessi: essendo 3 primo, l'identità che si chiede di provare è una conseguenza immediata del pTF. Idem per l'esponente 5. Bello, no?
Nota che nella mia formulazione (presa anch'essa da Wikipedia) non è necessario che x e p siano primi fra loro.

[corel_86]

guarda che io sono un ragazzo.........comunque l'ho visto sul "sito di enciclopedia on line" (evito di fare pubblicità) ma non riesco a capire perchè il teorema binomiale si esprime in questo modo è una definizione o un teorema? non riesco a capire

[corel_86]

ritiro la mia domanda perchè comunque adesso ho visto tutto il procedimento e nn dovrei avrei più problemi.....ti ringrazio........ciao

[seascoli]

Corel_86 scripsit:

guarda che io sono un ragazzo.........comunque l'ho visto sul "sito di enciclopedia on line" (evito di fare pubblicità)

Scusa per il "quiproquo", ma ero così preso dalla discussione che non ho badato ...
Peraltro, non so perché, il tuo nickname tende a suggerirmi un nome femminile (mi sa che è così in USA).
Quanto a Wikipedia, non vedo perchè non la si dovrebbe citare, dato che:
1) E' un'organizzazione che non ha scopo di lucro ed infatti non vedi mai comparire messaggi pubblicitari quando la consulti
2) Tranne qualche pecca isolata, é fatta veramente bene e copre praticamente l'intero scibile umano
3) La consultazione è gratuita
4) Oggigiorno, in fondo ad un articolo pubblicato su riviste eccellenti, oltre alla Bibliografia, si usa ormai aggiungere anche la cosiddetta "Sitografia", dove si elencano i siti WEB che si sono consultati per preparare l'articolo in questione. Quindi, essendo invalsa (giustamente) questa consuetudine, non solo non è inopportuno aggiungere Wikipedia e altre fonti sul WEB nella Sitografia, ma, al contrario, sarebbe addirittura scorretto e disonesto tacere di aver proficuamente consultato una fonte sul WEB, perchè un ricercatore serio è tenuto a citare esplicitamente e accuratamente tutte le fonti da cui ha ottenuto le sue informazioni.

[corel_86]

d'accordo scusami pensavo facessi della pubblicità occultà per questo ho detto in questo modo.....comunque ti ringrazio per avermi sottolineato la cosa......ciao