Mathematical Food for Thought

 
 
google
yahoo
bing
 
  • About

    Serves a Daily Special and an All-You-Can-Eat Course in Problem Solving. Courtesy of me, Jeffrey Wang.
 
Pick one, any one! Topic: Algebra. Level: Olympiad December 31st, 2005

Problem: (1989 USAMO – #5) Let u and v be real numbers such that

(u + u^2 + u^3 + \cdots + u^8) + 10u^9 = (v + v^2 + v^3 + \cdots + v^{10}) + 10v^{11} = 8.

Determine, with proof, which of the two numbers, u or v, is larger

Solution: Consider the functions

f(x) = 1+x+\cdots+x^8+10x^9 and g(x) = 1+x+\cdots+x^{10}+10x^{11},

which are monotonically increasing on the interval  (0,\infty).

We are given that f(u) = g(v) = 9.

We have g(x)-f(x) = 10x^{11}+x^{10}-9x^9 = x^9(10x-9)(x+1).

f\left(\frac{9}{10}\right) = 1+\frac{9}{10}+\cdots+\frac{9^8}{10^8}+10 \cdot \frac{9^9}{10^9}.

By summing the geometric series,

f\left(\frac{9}{10}\right) = \frac{1-\frac{9^9}{10^9}}{1-\frac{9}{10}} + 10 \cdot \frac{9^9}{10^9}= 10-10 \cdot \frac{9^9}{10^9}+10 \cdot \frac{9^9}{10^9} = 10 > 9.

Since f is an increasing function, f(u) < f\left(\frac{9}{10}\right) \Rightarrow u < \frac{9}{10}.

Hence g(u)-f(u) = u^9(10u-9)(u+1) < 0 \Rightarrow g(u) < f(u) = 9.

But since g is an increasing function as well, we know g(u) < g(v) = 9 \Rightarrow u < v. QED.

——————–

Comment: The last problem of the 1989 USAMO, so supposedly it is difficult, but that wasn’t really the case. A simple analysis of f and g gives us the answer quickly.

——————–

Practice Problem: (2002 USAMO – #4) Let \mathbb{R} be the set of real numbers. Determine all functions f: \mathbb{R} \to \mathbb{R} such that

f(x^2 &#8211; y^2) = x f(x) &#8211; y f(y)

for all pairs of real numbers x and y.

All Those Digits. Topic: Number Theory. Level: Olympiad. December 28th, 2005

Problem: (2003 USAMO – #1) Prove that for every positive integer n there exists an n-digit number divisible by 5^n all of whose digits are odd.

Solution: We will prove the result by induction.

Base Case: n=15 works.

Suppose there exists a k-digit positive integer with all odd digits that is divisible by 5^k. Call this integer x.

Consider the following numbers:

1(10^k)+x, 3(10^k)+x, 5(10^k)+x, 7(10^k)+x, 9(10^k)+x, all of which have k+1 digits.

Let x = 5^ky.

Then the above numbers become

5^k(1(2^k)+y), 5^k(3(2^k)+y), 5^k(5(2^k)+y), 5^k(7(2^k)+y), 5^k(9(2^k)+y).

Notice that 1(2^k)+y, 3(2^k)+y, 5(2^k)+y, 7(2^k)+y, 9(2^k)+y are all different modulo 5 (since they are in an arithmetic sequence with difference 2^{k+1} and (2^{k+1},5) = 1).

Therefore one of the numbers must be divisible by 5. Let that one be a.

So one of the original numbers is 5^ka, where a is divisible by 5. Hence the number is divisible by 5^{k+1} and has k+1 digits, as desired. This completes the induction. QED.

——————–

Practice Problem: (1994 USAMO – #1) Let  k_1 < k_2 < k_3 < \cdots , be positive integers, no two consecutive, and let s_m = k_1 + k_2 + \cdots + k_m for m = 1,2,3, \ldots . Prove that, for each positive integer n, the interval [s_n, s_{n+1}) contains at least one perfect square.

Rounding Time! Topic: Number Theory. Level: AIME. December 24th, 2005

Problem: (1995 AIME – #13) Let f(n) be the integer closest to \sqrt[4]{n}. Find

\displaystyle \sum_{k=1}^{1995} \frac{1}{f(k)}.

Solution: So how can we best define “integer closest?” It basically means

 f(n) = x iff  x-\frac{1}{2} < \sqrt[4]{n} < x+\frac{1}{2}.

Note we may use strict bounds because we know \sqrt[4]{n} will not have fractional part \frac{1}{2}.

So we can find bounds for n such that f(n) = x.

We must have  \left(x-\frac{1}{2}\right)^4 < n < \left(x+\frac{1}{2}\right)^4.

Expanding, we get

 x^4-2x^3+\frac{3}{2}x^2-\frac{1}{2}x+\frac{1}{16} < n < x^4+2x^3+\frac{3}{2}x^2+\frac{1}{2}x+\frac{1}{16}

from which we get 4x^3+x integral solutions (subtract lower bound from upper).

Thus the summation can be divided into separate cases based on the value of f(n) = x. Since there are 4x^3+x terms and each has value \frac{1}{x}, they sum to \frac{1}{x}(4x^3+x) = 4x^2+1.

Since 7^4 > 1995, we may only take this from x = 1 to x = 6, giving

\displaystyle \sum_{i=1}^6(4i^2+1) = 4 \cdot \frac{(6)(6+1)(2 \cdot 6+1)}{6}+6 = 370.

But this only accounts for

\displaystyle \sum_{i=1}^6(4i^3+i) = 4\left(\frac{(6)(6+1)}{2}\right)^2+\frac{(6)(6+1)}{2} = 1785 terms.

So we have 1995-1785 = 210 remaining terms, all of which are  \frac{1}{7}, giving the new total of 370+\frac{1}{7}(210) = 400. QED.

——————–

Comment: At this point, we’re happy. Why? Because it’s an AIME problem and we got an integer answer! And the chances of us doing it wrong and getting an integer answer is not too high, so we are probably right.

——————–

Practice Problem: Find the smallest m such that

\displaystyle \sum_{k=1}^m \frac{1}{f(k)} exceeds 600.

Back Again? Topic: Inequalities. Level: Olympiad. December 21st, 2005

Problem: (2003 USAMO – #5) Let a,b,c be positive real numbers. Prove that

 \frac{(2a+b+c)^2}{2a^2+(b+c)^2}+\frac{(2b+c+a)^2}{2b^2+(c+a)^2}+\frac{(2c+a+b)^2}{2c^2+(a+b)^2} \le 8.

Solution: Well first of all we notice that the inequality is homogeneous. Therefore, we can set a+b+c to an arbitrary value. Note that using a+b+c = 3 works particularly well.

Then the inequality becomes

 \displaystyle \sum \frac{(3+a)^2}{2a^2+(3-a)^2} = \sum \frac{a^2+6a+9}{3a^2-6a+9} = \sum \left(\frac{1}{3}+\frac{8a+6}{3(a-1)^2+6}\right) .

Well, noticing that  \frac{8a+6}{3(a-1)^2+6} \le \frac{8a+6}{6} = 1+\frac{4a}{3} we have

 \displaystyle \sum \left(\frac{1}{3}+\frac{8a+6}{3(a-1)^2+6}\right) \le \sum \frac{4}{3}(1+a) = \frac{4}{3}(3+a+b+c) = \frac{4}{3}(6) = 8

as desired. QED.

——————–

Comment: This was a pretty cool problem, too. The most important part was splitting the fraction and getting rid of the quadratic term. After both the squared terms are gone, it’s pretty simple to finish off with only linear and constant terms.

See Through It. Topic: Inequalities. Level: Olympiad. December 20th, 2005

Problem: (2004 USAMO – #5) Let a,b,c > 0. Prove that

(a^5-a^2+3)(b^5-b^2+3)(c^5-c^2+3) \ge (a+b+c)^3.

Solution: Note that a^2-1 and a^3-1 always have the same sign. Therefore (a^2-1)(a^3-1) \ge 0 \Rightarrow a^5-a^2+3 \ge a^3+2.

Then (a^5-a^2+3)(b^5-b^2+3)(c^5-c^2+3) \ge (a^3+1+1)(1+b^3+1)(1+1+c^3) \ge (a+b+c)^3

by Holder. QED.

——————–

Comment: This is probably my favorite USAMO problem just because the solution is so short and simple. And the fact that I love inequalities. But honestly, can you get another USAMO problem (especially a #5) to give such a quick solution?

——————–

Practice Problem: (2003 USAMO – #5) Let a,b,c be positive real numbers. Prove that

 \frac{(2a+b+c)^2}{2a^2+(b+c)^2}+\frac{(2b+c+a)^2}{2b^2+(c+a)^2}+\frac{(2c+a+b)^2}{2c^2+(a+b)^2} \le 8.

Google

 

 
 
free web counters
Etronics