Teorema di calcolo combinatorio [Reloaded]

Il forum di Base5, dove è possibile postare problemi, quiz, indovinelli, rompicapo, enigmi e quant'altro riguardi la matematica ricreativa e oltre.

Moderatori: Gianfranco, Bruno

Rispondi
Admin
Amministratore del sito
Amministratore del sito
Messaggi: 870
Iscritto il: mer apr 20, 2005 3:47 pm
Località: Benevento

Teorema di calcolo combinatorio [Reloaded]

Messaggio da Admin »

Bene,
mi riferisco alla dimostrazione dell'uguaglianza postata da Panurgo poco tempo fa a conclusione del post "I Gormiti" (https://www.base5forum.it/viewtopic.php?t=725);

penso meriti un topic a sè:

$\sum \limits_{\script k = 1}^{\script n} {\frac {\left ( -1 \right )^{\script k + 1}} k {n \choose k}} = \sum \limits_{\script k = 1}^{\script n} {\frac 1 k}$

Ci ho provato a lungo senza successo...

Pan, ma tu hai la dimostrazione?

Ciao
Admin
Pietro Vitelli (Amministratore del Forum)
"Un matematico è una macchina che converte caffè in teoremi" Paul Erdös
www.pvitelli.net

panurgo
Livello 9
Livello 9
Messaggi: 1521
Iscritto il: sab nov 19, 2005 3:45 pm
Località: Padova

Messaggio da panurgo »

Sono soluzioni dello stesso problema ottenute per due vie diverse: diciamo che è una congettura. Io ho provato, finora, come te, senza successo.
il panurgo

Principio di Relatività: $\mathbb{m} \not \to \mathbb{M} \, \Longleftrightarrow \, \mathbb{M} \not \to \mathbb{m}$
"Se la montagna non va a Maometto, Maometto NON va alla montagna"

karl
Livello 4
Livello 4
Messaggi: 100
Iscritto il: gio mar 29, 2007 3:03 pm

Messaggio da karl »

Una possibile soluzione e' la seguente.
Comincio con l'osservare che la sommatoria a sinistra si puo',
equivalentemente,scrivere cosi':
$a_n=\sum_{k=1}^n\frac{(-1)^{k-1}}{k}C_{n,k}$
con $a_1=1$
Esplicitando la sommatoria:
(1) $a_n=n-\frac{1}{2}\frac{n(n-1)}{1*2}+\frac{1}{3}\frac{n(n-1)(n-2)}{1*2*3}-\frac{1}{4}\frac{n(n-1)(n-2)(n-3)}{1*2*3*4}+.....$
E sostituendo n-1 ad n :
(2) $a_{n-1}=(n-1)-\frac{1}{2}\frac{(n-1)(n-2)}{1*2}+\frac{1}{3}\frac{(n-1)(n-2)(n-3)}{1*2*3}-\frac{1}{4}\frac{(n-1)(n-2)(n-3)(n-4)}{1*2*3*4}+.....$
Sottraendo da (1) la (2) risulta:
$a_n-a_{n-1}=1-\frac{n-1}{1*2}+\frac{(n-1)(n-2)}{1*2*3}-\frac{(n-1)(n-2)(n-3)}{1*2*3*4}+...$
Moltiplicando e dividendo il secondo membro per n si ottiene:
$a_n-a_{n-1}=\frac {1}{n}\{{n-\frac{n(n-1)}{1*2}+\frac{n(n-1)(n-2)}{1*2*3}-\frac{n(n-1)(n-2)(n-3)}{1*2*3*4}+... \}$
Oppure:
$a_n-a_{n-1}=\frac {1}{n}\{1-\[1-n+\frac{n(n-1)}{1*2}-\frac{n(n-1)(n-2)}{1*2*3}+\frac{n(n-1)(n-2)(n-3)}{1*2*3*4}-... \]\}$
Ora si vede che l'espressione in parentesi quadra e' pari a $(1-1)^n$ e quindi in definitiva si puo' scrivere che:
$a_n-a_{n-1}=\frac{1}{n}$ che e' una classica relazione " a cannocchiale".
Facendo in essa n,n-1,n-2,...,3,2 avremo:
$a_n-a_{n-1}=\frac{1}{n}$
$a_{n-1}-a_{n-2}=\frac{1}{n-1}$
$a_{n-2}-a_{n-3}=\frac{1}{n-2}$
.............................................................
.............................................................
$a_3-a_2=\frac{1}{3}$
$a_2-a_1=\frac{1}{2}$
E sommando in colonna si ha la tesi:
$a_n=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+...+\frac{1}{n}$
karl

panurgo
Livello 9
Livello 9
Messaggi: 1521
Iscritto il: sab nov 19, 2005 3:45 pm
Località: Padova

Messaggio da panurgo »

merci :D
il panurgo

Principio di Relatività: $\mathbb{m} \not \to \mathbb{M} \, \Longleftrightarrow \, \mathbb{M} \not \to \mathbb{m}$
"Se la montagna non va a Maometto, Maometto NON va alla montagna"

Admin
Amministratore del sito
Amministratore del sito
Messaggi: 870
Iscritto il: mer apr 20, 2005 3:47 pm
Località: Benevento

Messaggio da Admin »

Grande Karl!

Grazie.

Ciao
Admin
Pietro Vitelli (Amministratore del Forum)
"Un matematico è una macchina che converte caffè in teoremi" Paul Erdös
www.pvitelli.net

Pasquale
Livello 12
Livello 12
Messaggi: 2854
Iscritto il: mer mag 25, 2005 2:14 am

Messaggio da Pasquale »

Karl, nella tua dimostrazione ci sono molte finezze, parli come un professore e a me che sono abbastanza ignorante fa piacere andare a squola.
_________________

$\text { }$ciao Immagine ciao
E' la somma che fa il totale (Totò)

Br1
Livello 6
Livello 6
Messaggi: 465
Iscritto il: mer feb 21, 2007 5:53 pm
Località: Bologna

Messaggio da Br1 »

Ho riaperto questa mattina B5 e mi ha
fatto piacere trovare la proposta di Pietro
(bella, quella relazione!) e, naturalmente,
ho apprezzato moltissimo l'intervento
di Karl $\;$ :D $\;$ (e al momento non saprei
proprio immaginare un'alternativa!).
Bruno

Rispondi