ให้ an แทนจำนวนหลักของพจน์ที่ n ของลำดับดังกล่าว "{an} satisfies an order-71 linear recurrence relation" หมายถึงมีค่าคงที่ c0, ..., c70 (ซึ่งในกรณีนี้เป็นจำนวนเต็มทุกตัว) ที่ทำให้สมการ\[a_{n+71}=c_{70}a_{n+70}
+c_{69}a_{n+69}+\dots+c_1a_{n+1}+c_0a_n\]เป็นจริงสำหรับทุกค่า n ณ 1
ข้อมูลค่า c0, ..., c70 คงพอจะค้นหาได้นะ แต่จะใช้สูตรนี้ได้ก็ยังต้องรู้ค่า a1, ..., a70 อีกด้วยแหละครับ
|