Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "1970 IMO Problems/Problem 2"

(added solution; fixed categories)
m (Take out a link to a page which does not exist.)
 
(One intermediate revision by one other user not shown)
Line 19: Line 19:
  
 
Suppose <math>a>b</math>.  Then for all integers <math>0 \le k \le n</math>, <math>x_n x_k a^n b^k \ge x_n x_k b^n a^k</math>, with equality only when <math>k=n</math> or <math>x_k = 0</math>.  (In particular, we have strict inequality for <math>k=n-1</math>.)  In summation, this becomes
 
Suppose <math>a>b</math>.  Then for all integers <math>0 \le k \le n</math>, <math>x_n x_k a^n b^k \ge x_n x_k b^n a^k</math>, with equality only when <math>k=n</math> or <math>x_k = 0</math>.  (In particular, we have strict inequality for <math>k=n-1</math>.)  In summation, this becomes
−
<cmath> x_n a^n \sum_{k=0}^n x_k b^k > x_n b^n \sum_{k=0}^n x_k b^k, </cmath>
+
<cmath> x_n a^n \sum_{k=0}^n x_k b^k > x_n b^n \sum_{k=0}^n x_k a^k, </cmath>
 
or
 
or
 
<cmath> x_n a^n \cdot B_n > x_n b^n \cdot A_n, </cmath>
 
<cmath> x_n a^n \cdot B_n > x_n b^n \cdot A_n, </cmath>
Line 32: Line 32:
  
 
== Resources ==
 
== Resources ==
−
 
−
* [http://www.artofproblemsolving.com/Forum/viewtopic.php?p=366688#366688 Discussion on AoPS/MathLinks]
 
  
 
{{IMO box|year=1970|num-b=1|num-a=3}}
 
{{IMO box|year=1970|num-b=1|num-a=3}}

Latest revision as of 16:12, 17 November 2024

Problem

Let $a, b$, and $n$ be integers greater than 1, and let $a$ and $b$ be the bases of two number systems. $A_{n-1}$ and $A_{n}$ are numbers in the system with base $a$ and $B_{n-1}$ and $B_{n}$ are numbers in the system with base $b$; these are related as follows:

$A_{n} = x_{n}x_{n-1}\cdots x_{0}, A_{n-1} = x_{n-1}x_{n-2}\cdots x_{0}$,

$B_{n} = x_{n}x_{n-1}\cdots x_{0}, B_{n-1} = x_{n-1}x_{n-2}\cdots x_{0}$,

$x_{n} \neq 0, x_{n-1} \neq 0$.

Prove:

$\frac{A_{n-1}}{A_{n}} < \frac{B_{n-1}}{B_{n}}$ if and only if $a > b$.

Solution

Suppose $a>b$. Then for all integers $0 \le k \le n$, $x_n x_k a^n b^k \ge x_n x_k b^n a^k$, with equality only when $k=n$ or $x_k = 0$. (In particular, we have strict inequality for $k=n-1$.) In summation, this becomes \[x_n a^n \sum_{k=0}^n x_k b^k > x_n b^n \sum_{k=0}^n x_k a^k,\] or \[x_n a^n \cdot B_n > x_n b^n \cdot A_n,\] which is equivalent to \[\frac{x_n a^n}{A_n} > \frac{x_n b^n}{B_n} .\] This implies \[\frac{A_{n-1}}{A_n} = 1 - \frac{x_n a^n}{A_n} < 1 - \frac{x_n b^n}{B_n} = \frac{B_{n-1}}{B_n} .\] On the other hand, if $a=b$, then evidently $A_{n-1}/A_n = B_{n-1}/B_n$, and if $a < b$, then by what we have just shown, $A_{n-1}/A_n > B_{n-1}/B_n$. Hence $A_{n-1}/A_n < B_{n-1}/B_n$ if and only if $a>b$, as desired. $\blacksquare$


Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.

Resources

1970 IMO (Problems) • Resources
Preceded by
Problem 1 		1 • 2 • 3 • 4 • 5 • 6 Followed by
Problem 3
All IMO Problems and Solutions
Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=1970_IMO_Problems/Problem_2&oldid=234696"