Άθροισμα 31

Συντονιστές: grigkost, Κοτρώνης Αναστάσιος

china university
Δημοσιεύσεις: 68
Εγγραφή: Σάβ Απρ 28, 2012 7:16 pm

Άθροισμα 31

#1

Μη αναγνωσμένη δημοσίευση από china university » Κυρ Ιαν 20, 2013 12:17 pm

Να αποδειχθεί ότι:
\displaystyle\sum_{k=0}^{n-1}(-1)^{n-k-1}\dfrac{(n+k)!}{(k!)^2(n-k-1)!}=n^2


Άβαταρ μέλους
Κοτρώνης Αναστάσιος
Επιμελητής
Δημοσιεύσεις: 3203
Εγγραφή: Κυρ Φεβ 22, 2009 11:11 pm
Τοποθεσία: Μπροστά στο πισί...
Επικοινωνία:

Re: Άθροισμα 31

#2

Μη αναγνωσμένη δημοσίευση από Κοτρώνης Αναστάσιος » Κυρ Ιαν 20, 2013 4:22 pm

Κατ' αρχάς έχουμε

\displaystyle{\sum_{k=0}^{n-1}(-1)^{n-k-1}\dfrac{(n+k)!}{(k!)^2(n-k-1)!}=\sum_{k=0}^{n-1}(-1)^{n-k-1}(n-k)\binom{n+k}{2k}\binom{2k}{k}=\sum_{k\geq0}(-1)^{n-k-1}(n-k)\binom{n+k}{2k}\binom{2k}{k}:=nA_n-B_n} αφού το άθροισμα ισούται με 0 για n\geq k.

Γράφουμε δηλαδή το \displaystyle{\sum_{k=0}^{n-1}(-1)^{n-k-1}(n-k)\binom{n+k}{2k}\binom{2k}{k}} σα σειρά, και ο λόγος φαίνεται παρακάτω.

Χρησιμοποιούμε ότι (και αυτός είναι ο λόγος που γράψαμε σα σειρά το δοθέν πεπερασμένο άθροισμα)

\displaystyle{\sum_{k\geq0}(-1)^{k-1}\binom{2k}{k}z^k=(4z+1)^{-1/2},\qquad |z|<1/4\hspace{10ex}(1)} και

\displaystyle{\sum_{k\geq0}(-1)^{k-1}\binom{2k}{k}z^k=2z(4z+1)^{-3/2},\qquad |z|<1/4\hspace{10ex}(2)}.

Τώρα για κατάλληλο κύκλο R με κέντρο την αρχή των αξόνων ώστε να έχουμε \displaystyle{\left|{\frac{z+1}{z^2}\right|<\rho} για κάποιο \rho<1/4,(συνεπώς και ομοιόμορφη σύγκλιση στις (1) και (2) για \displaystyle{\frac{z+1}{z^2}} στη θέση του z) έχουμε

\begin{aligned}A_n&=\sum_{k\geq0}(-1)^{n-k-1}\int_R\frac{(z+1)^{n+k}}{z^{2k}}\binom{2k}{k}\stackrel{*}{=}(-1)^n\int_R\frac{(z+1)^n}{z}\sum_{k\geq0}(-1)^{k+1}\left(\frac{z+1}{z^2}\right)\binom{2k}{k}\\&\stackrel{(1)}{=}(-1)^{n+1}\int_R\frac{(z+1)^n}{z+2}\end{aligned}.

Τώρα επειδή η \displaystyle{\frac{(z+1)^n}{z+2}} πόλο πρώτης τάξης στο -2, από το Θεώρημα των υπολοίπων το τελευταίο ολοκλήρωμα ισούται με \displaystyle{\lim_{z\to-2}\frac{1}{(1-1)!}\frac{d^{1-1}}{dz^{1-1}}\left((z+2)\frac{(z+1)^n}{z+2}\right)=(-1)^n}, άρα \displaystyle{A_n=-1}.

(*) Η εναλλαγή αθροίσματος ολοκληρώματος δικαιολογείται λόγω ομοιόμορφης σύγκλισης.

Εντελώς όμοια, και χρησιμοποιώντας τη (2) αυτή τη φορά, παίρνουμε ότι B_n=n(n+1), από όπου παίρνουμε και το ζητούμενο.

Η τεχνική γραφής των πεπερασμένων αθροισμάτων σα σειρές για να εκμεταλλευτεί κανείς μετά κάποιο γνωστό ανάπτυγμα Taylor είναι κλασική στα προβλήματα με ταυτότητες συνδυαστικής.


Εσύ....; Θα γίνεις κανίβαλος....;
china university
Δημοσιεύσεις: 68
Εγγραφή: Σάβ Απρ 28, 2012 7:16 pm

Re: Άθροισμα 31

#3

Μη αναγνωσμένη δημοσίευση από china university » Κυρ Ιαν 20, 2013 7:01 pm

哈哈 非常感谢您的精彩解答,其实我也很想和你们交流,但是我不会希腊文,你也懂中文啦,太高兴了.
Μετάφραση: Σας ευχαριστώ πολύ για τις θαυμάσιες απαντήσεις σας. Θα ήθελα να να επικοινωνήσω μαζί σας, αλλά δεν είμαι Έλληνας. Είμαι πάρα πολύ ευχαριστημένος που καταλαβαίνετε Κινέζους φίλους.

or you can see:http://math.stackexchange.com/questions ... cnkk2n-k-1
Μετάφραση: ή μπορείς να δεις:http://math.stackexchange.com/questions ... cnkk2n-k-1


Απάντηση

Επιστροφή σε “ΑΝΑΛΥΣΗ”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες