Định lýĐã chứng minh
Phân tích thành phân thức đơn giản cho công thức Binet
Phát biểu
Với và , các nghiệm của cho công thức đóng với mọi .
Vì sao đúng?
Mọi hàm sinh hữu tỉ có mẫu số là tích các nhân tử tuyến tính khác nhau đều tách được thành tổng các chuỗi cấp số nhân đơn giản, và mỗi chuỗi cấp số nhân cho ngay một công thức tường minh cho hệ số.
Phác thảo chứng minh
Phân tích mẫu số: vì các nghiệm của là và , ta có .
Viết với hằng số . Quy đồng mẫu số và so khớp số hạng tự do cùng hệ số của ta được một hệ phương trình tuyến tính có nghiệm , , do đó .
Khai triển mỗi số hạng thành chuỗi cấp số nhân: và .
Lấy hệ số của ở hai vế ta được , gọi là công thức Binet.
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.
Tài liệu tham khảo
- Herbert S. Wilf (1994). generatingfunctionology
- Philippe Flajolet, Robert Sedgewick (2009). Analytic Combinatorics