MathLabs
Đị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 φ=1+52\varphi=\frac{1+\sqrt{5}}{2} và ψ=1−52\psi=\frac{1-\sqrt{5}}{2}, các nghiệm của 1−x−x21-x-x^2 cho công thức đóng Fn=15(φn−ψn)F_n=\frac{1}{\sqrt{5}}\left(\varphi^n-\psi^n\right) với mọi n≥0n\ge0.

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 1−x−x2=01-x-x^2=0 là x=1/φx=1/\varphi và x=1/ψx=1/\psi, ta có 1−x−x2=(1−φx)(1−ψx)1-x-x^2=(1-\varphi x)(1-\psi x).

Viết x1−x−x2=A1−φx+B1−ψx\frac{x}{1-x-x^2}=\frac{A}{1-\varphi x}+\frac{B}{1-\psi x} với hằng số A,BA,B. Quy đồng mẫu số và so khớp số hạng tự do cùng hệ số của xx ta được một hệ phương trình tuyến tính có nghiệm A=15A=\frac{1}{\sqrt5}, B=−15B=-\frac{1}{\sqrt5}, do đó x1−x−x2=15(11−φx−11−ψx)\frac{x}{1-x-x^2}=\frac{1}{\sqrt{5}}\left(\frac{1}{1-\varphi x}-\frac{1}{1-\psi x}\right).

Khai triển mỗi số hạng thành chuỗi cấp số nhân: 11−φx=∑n≥0φnxn\frac{1}{1-\varphi x}=\sum_{n\ge0}\varphi^nx^n và 11−ψx=∑n≥0ψnxn\frac{1}{1-\psi x}=\sum_{n\ge0}\psi^nx^n.

Lấy hệ số của xnx^n ở hai vế ta được Fn=15(φn−ψn)F_n=\frac{1}{\sqrt{5}}\left(\varphi^n-\psi^n\right), 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

  1. Herbert S. Wilf (1994). generatingfunctionology
  2. Philippe Flajolet, Robert Sedgewick (2009). Analytic Combinatorics