• Support PF! Buy your school textbooks, materials and every day products Here!

Putnam and beyond prob 124

  • Thread starter ehrenfest
  • Start date
  • #1
2,012
1

Homework Statement


Let a,b,c be the side lengths of a triangle with semiperimeter 1. Prove that

[tex]1 < ab + bc + ca - abc \leq 28/27[/tex]


Homework Equations


the AM-GM inequality:

If x_1,...,x_n are nonnegative real numbers, then

[tex]\frac{\sum x_i}{n} \leq \left( \Pi x_i\right)^{1/n}[/tex]


The Attempt at a Solution


I can get "close" to the second inequality. Applying AM-GM to a+b-c,a-b+c,-a+b+c gives

[tex]8/27 \geq a^3 +b^3 +c^3 -2abc +a^2b+ab^2+ac^2 +a^2 c+bc^2 +b^2 c [/tex]

Applying AM-GM to a,b,c gives

[tex]8/27 \geq abc [/tex]

and then we can add the two inequalities to obtain


[tex]16/27 \geq a^3 +b^3 +c^3 -abc +a^2b+ab^2+ac^2 +a^2 c+bc^2 +b^2 c [/tex]

Ok maybe thats not really close...
 
Last edited:

Answers and Replies

  • #2
287
0
I would probably just look at the limiting cases.

First, arbitrarily set a <= b <= c.

What if one of the sides becomes arbitrarily small? Well, if a =~ 0, then b = c and
ab + bc + ca - abc = 0 + 1 + 0 - 0 = 1.

Since a triangle with sides of length 0, 1, 1 isn't technically a triangle, we don't include this lower limiting number.

Next, we guess the only other special triangle we can think of: the equilateral triangle. Thus a = b = c = 2/3, and ab + bc + ca - abc = 4/9 + 4/9 + 4/9 - 8/27 = 28/27. Since an equilateral triangle is a triangle, this is acceptable, and we keep the equality.

Can this reasoning be made mathematically precise? Let's see.

Let's call ab + bc + ca - abc F(a, b, c)... that is, F(a, b, c) = ab + bc + ca - abc

The gradient of F is grad F(a, b, c) = (b + c - bc, a + c - ac, a + b - ab)

The only critical point occurs where a = b = c = 2, which is outside our area of interest (namely, we want a + b + c = 2, 0 <= a <= b <= c). Thus we must only look at our function on the edges and corners... to find these, we consider the system

1) 0 <= a <= b <= c
2) c <= a + b
3) a + b + c = 2

Clearly, c <= 1, from 2) and 3). It follows that a and b are also less than 1.

I leave the rest as an exercise </lazy>
 
  • #3
737
0
I know this is an old thread, but I recently ran into this problem and found its solution using AM-GM to be very nice. Anyone working on this who is stuck may want to expand (1-a)(1-b)(1-c) out and work from there.
 

Related Threads for: Putnam and beyond prob 124

  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
10
Views
1K
  • Last Post
Replies
13
Views
2K
  • Last Post
Replies
1
Views
727
Replies
12
Views
477
  • Last Post
Replies
2
Views
1K
Top