Number theoryDifficulty 6.2National olympiadProve it
Prove: For any n∈N+,(2+1)n can be written in the form m+m−1(m∈N+). Find the analytical expression of m in terms of n.
Solution
The simplest method is to consider the dual form of (2+1)n, which is (2−1)n. By the binomial theorem, we have (2+1)n=a+b⇒(2−1)n=a−b(a,b∈N+)⇒(a−b)(a+b)=(2−1)n(2+1)n=1⇒a=m,b=m−1.
Proof: (1) When n=1,m=2, it is clearly true. (2) Assume that when n=k, (2+1)k=m+m−1.
Then when n=k+1, (2+1)k+1=(2+1)k(2+1)=(m+m−1)(2+1)=(m+2m−2)+(2m+m−1)=3m−2+22m(m−1)+3m−1+22m(m−1).
Next, we need to prove that 2m(m−1)∈N+. By the binomial theorem, we have (2+1)k=a+b2(a,b∈N+).
Also, a+b2=m+m−1,
so, one of m and m−1 is a perfect square, and the other is twice a perfect square. Therefore, 2m(m−1) is a perfect square, i.e., 2m(m−1)∈N+. Thus, when n=k+1, the conclusion holds. Combining (1) and (2), the conclusion is established. From the above solution process, we see that m is a sequence of numbers determined by n. If we set each m corresponding value to an, then what is the general term formula of {an}?
It is not difficult to find that when n changes from k to k+1, m changes to 3m−1+22m(m−1). Thus, we have the nonlinear recurrence relation an+1=3an−1+22an(an−1)(a1=2).
This recurrence relation can be transformed into a linear relation through the following operations. By an+1=3an−1+22an(an−1)⇒(an+1−3an+1)2=4×2an(an−1)⇒an+12+an2+2an+1+2an−6an+1an+1=0⇒an−12+an2+2an−1+2an−6anan−1+1=0(n⩾2).
Comparing equations (1) and (2), we know that an−1 and an+1 are the two roots of the equation x2+(2−6an)x+an2+2an+1=0
Thus, an+1+an−1=6an−2. Rearranging, we get an+1−21=6(an−21)−(an−1−21). Let bn=an−21. Then bn+1=6bn−bn−1, where b1=23,b2=217. The characteristic equation is x2=6x−1. Solving, we get x=3±22. Thus, bn=A(3+22)n+B(3−22)n. Substituting b1 and b2, we get A=B=41. Therefore, an=41(3+22)n+41(3−22)n+21.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.