Lời giải. Xét hàm số f(x)=x2027−x2026+x−a (với a∈(0,1)) trên [0,1]. Ta có f′(x)=2027x2026−2026x2025+1. Với x∈(0,1), ta được f′(x)>2025x2026+1−2026x2025≥0 (theo AM–GM). Suy ra f đồng biến trên (0,1). Mặt khác, ta lại có f(0)⋅f(1)=a(a−1)<0 (vì a∈(0,1)). Kết hợp với f liên tục trên [0,1], ta được phương trình f(x)=0 có duy nhất một nghiệm thuộc (0,1).
Bằng quy nạp, ta chứng minh dãy (an) xác định duy nhất và an∈(0,1) ∀n∈N∗.
Với n=1, ta có a1∈(0,1).
Giả sử mệnh đề đúng với n, tức là an xác định duy nhất và an∈(0,1).
Xét phương trình P(x)=an⟺x2027−x2026+x−an=0. Theo chứng minh trên (với a=an∈(0,1)), phương trình có duy nhất một nghiệm thuộc (0,1). Gọi nghiệm đó là an+1. Vậy an+1 xác định duy nhất và an+1∈(0,1).
Với mọi n∈N∗, ta có: an+1=an+an+12026(1−an+1). Vì an+1∈(0,1) nên suy ra an+1>an, hay (an) là dãy tăng. Đồng thời (an) bị chặn trên bởi 1 nên (an) hội tụ. Đặt L=liman (0<L≤1). Trong đẳng thức P(an+1)=an cho n→+∞, ta được: L2027−L2026+L=L⟺L=1 (vì 0<L≤1).
Vậy liman=1. □