Maths Olympiad Prep

Library / /408 of 520

Algebra Difficulty 7.3 National olympiad, round 2 Prove it

\square Example 5 A geometric sequence with the first term and common ratio both being positive numbers has the same first and last terms as an arithmetic sequence. Then the sum of this geometric sequence is not greater than the sum of this arithmetic sequence. (1979 Shandong Province Mathematics Competition Question)

Solution

Proof: Let the first term of a geometric sequence be aa, the common ratio be qq, and the number of terms be nn, then the last term and the sum of this sequence are
an=aqn1,S=a(1+q+q2++qn1).a_{n}=a q^{n-1}, S=a\left(1+q+q^{2}+\cdots+q^{n-1}\right) .

For an arithmetic sequence with the first term aa and the last term aqn1a q^{n-1}, its sum is
S=n2(a+an)=an2(1+qn1)S^{\prime}=\frac{n}{2}\left(a+a_{n}\right)=\frac{a n}{2}\left(1+q^{n-1}\right)

Since q>0q>0, we have
1+qn1qk+qnk1(k=0,1,2,,n1)1+q^{n-1} \geqslant q^{k}+q^{n-k-1}(k=0,1,2, \cdots, n-1)

Therefore, by adding all the inequalities, we get
n(1+qn1)k=0n1(qk+qnk1)=2(1+q+q2++qn1)n\left(1+q^{n-1}\right) \geqslant \sum_{k=0}^{n-1}\left(q^{k}+q^{n-k-1}\right)=2\left(1+q+q^{2}+\cdots+q^{n-1}\right)

Since a>0a>0, it follows that S<SS<S^{\prime}, thus the proposition is proved.

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.