Đến nội dung

Hình ảnh

$$\sum_{t=0}^{n}\binom{t}{s}\binom{n-t}{k-s}=\binom{n+1}{k+1}$$

- - - - - for all.

  • Please log in to reply
Chủ đề này có 1 trả lời

#1
dark templar

dark templar

    Kael-Invoker

  • Hiệp sỹ
  • 3788 Bài viết
Trong đẳng thức Vandermonde (tham khảo trong topic này ) , ta đã cố định $m,n$ và cho chạy $j$ từ 0 đến $k$.Vậy nếu ta làm điều ngược lại tức là ta cố định $j$ và cho $m,n$ di động thì liệu chăng có một công thức như vậy ? Điều này dẫn ta đến bài toán sau:
Bài toán: Với $0 \le s \le k \le n$ là các số nguyên dương,chứng minh rằng:
$$\sum_{t=0}^{n}\binom{t}{s}\binom{n-t}{k-s}=\binom{n+1}{k+1}$$

Lời giải: Của gogo123

Bài này vắn tắt cách làm như sau:
Ta có:
$\sum_{t=0}^{n}\binom{t}{s}\binom{n-t}{k-s}$ chính là hệ số của $x^n$ trong khai triển của hàm $$f(x)=\left (\sum_{t=0}^{\infty }\binom{t}{s}x^t \right )\left (\sum_{t=0}^{\infty }\binom{t}{k-s}x^t \right )$$
Mặt khác ta có:
$\sum_{t=0}^{\infty }\binom{t}{s}x^t=x^s.\sum_{t=0}^{\infty }\binom{t}{t-s}x^{t-s}=x^s.\frac{1}{(1-x)^{s+1}}$

$\sum_{t=0}^{\infty }\binom{t}{k-s}x^t=x^{k-s}.\sum_{t=0}^{\infty }\binom{t}{t-k+s}x^{t-k+s}=x^{k-s}.\frac{1}{(1-x)^{k-s+1}}$
nên
$f(x)=\frac{x^k}{(1-x)^{k+2}}=x^k.\left ( \sum_{i=0}^{\infty }\binom{k+1+i}{i}.x^i \right )$
Suy ra hệ số của $x^n$ trong khai triển $f(x)$ là $\binom{k+1+n-k}{n-k}=\binom{n+1}{k+1}$.Ta có đpcm.

Bài viết đã được chỉnh sửa nội dung bởi supermember: 19-01-2013 - 14:02

"Do you still... believe in me ?" Sarah Kerrigan asked Jim Raynor - Starcraft II:Heart Of The Swarm.

#2
hxthanh

hxthanh

    Tín đồ $\sum$

  • Hiệp sỹ
  • 3921 Bài viết
Tìm trong bài số 24 này
Em xem đẳng thức số (13) có giống với đẳng thức của em không?
Mở rộng của nó là đẳng thức số (12) nữa!





Được gắn nhãn với một hoặc nhiều trong số những từ khóa sau: for all.

1 người đang xem chủ đề

0 thành viên, 1 khách, 0 thành viên ẩn danh