1. For integer n≥3, suppose that 0<a1<a2<…<an is an arithmetic sequence and 0<b1<b2<…<bn is a geometric sequence with a1=b1, an=bn. Prove that ak>bk for all k=2,3,…,n−1.
2. Prove that for every positive integer n≥3, there exist an integer arithmetic sequence (an) and an integer geometric sequence (bn) such that 0<b1<a1<b2<a2<⋯<bn<an
Solution
1) Put a1=b1=x and an=bn=y, then 0<x<y. Denote d as the difference and the ratio of two consecutive terms of (an), (bn) respectively. We have an=a1+(n−1)d and ak=a1+(k−1)d for any k∈{2,3,…,n−1}. Hence, ak=n−1(n−k)a1+(k−1)an=n−1(n−k)x+(k−1)y. Similarly, bk=n−1xn−kyk−1 so we need to prove that n−1(n−k)x+(k−1)y>n−1xn−kyk−1, which is true by AM-GM inequality.
2) With 2k≤m, consider some estimations as follow (1+m1)k=1+m(1k)+m2(2k)+⋯≥1+mk and (1+m1)k=1+m(1k)+m2(2k)+⋯≤1+m(1k)+m(2k)+⋯+(kk)<1+mk+m22k≤1+mk+1 then 1+mk<(1+m1)k<1+mk+1 or m+k<m(1+m1)k<m+k+1. This is true for all k≤log2m so m(1+m1)<m+2<m(1+m1)2<m+3<⋯<m+k+1. To make all these numbers are integers, we multiply them by m[log2m]. Finally, take log2m>n, the result will follow. □
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: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.