Challenge Math Challenge by QuantumQuest #4

17,507
7,077
Submitted by: @QuantumQuest
Challenge Level: High School

RULES:

1) In order for a solution to count, a full derivation or proof must be given. Answers with no proof will be ignored.
2) It is fine to use nontrivial results without proof as long as you cite them and as long as it is "common knowledge to all mathematicians". Whether the latter is satisfied will be decided on a case-by-case basis.
3) If you have seen the problem before and remember the solution, you cannot participate in the solution to that problem.
4) You are allowed to use google, wolframalpha or any other resource. However, you are not allowed to search the question directly. So if the question was to solve an integral, you are allowed to obtain numerical answers from software, you are allowed to search for useful integration techniques, but you cannot type in the integral in wolframalpha to see its solution.

CHALLENGE:

If a, b and c are positive real numbers show that ##a^{a}b^{b}c^{c} \geq (abc)^{\frac{a + b + c}{3}}##
 

.Scott

Homework Helper
2,352
793
I just noticed, this is an HS challenge. So I am deleting my post.
 

.Scott

Homework Helper
2,352
793
Just use the spoiler tag
consider this:
K = (2a-b-c)log(a)+ (2b-a-c)log(b)+ (2c-a-b)log(c)
If a, b, and c are all equal, then K=0.
Now make one large - for example let's increase 'a' by a positive amount 'd'.
So the first factor of each term will increase by 2d, -d, and -d. But the second factors will increase by (log(a+d)-log(a)), 0, and 0.
So the increase in the 1st term will more than offset the decreases in the 2nd and 3rd term. Thus K will go positive.
Similar logic can be use to show that decreasing one of them will also force K positive - so long as a, b, and c remain positive.

Any combination of a,b, and c can be created by starting with a,a,a and applying 'd's to get a,b,c. K will be zero when they are all equal and positive otherwise.

So K>=0 and
(2a-b-c)log(a)+ (2b-a-c)log(b)+ (2c-a-b)log(c) >= 0

adding (a+b+c)log(a) + (a+b+c)log(b) + (a+b+c)log(c) to both sides:

(3a)log(a)+ (3b)log(b)+ (3c)log(c) >= (a+b+c)log(a) + (a+b+c)log(b) + (a+b+c)log(c)

dividing both sides by 3:

(a)log(a)+ (b)log(b)+ (c)log(c) >= ((a+b+c)/3) (log(a) + log(b) + log(c))

exponentiation:

a^a b^b c^c >= (abc)^((a+b+c)/3)

QED
 

QuantumQuest

Science Advisor
Insights Author
Gold Member
858
436
consider this:
K = (2a-b-c)log(a)+ (2b-a-c)log(b)+ (2c-a-b)log(c)
If a, b, and c are all equal, then K=0.
Now make one large - for example let's increase 'a' by a positive amount 'd'.
So the first factor of each term will increase by 2d, -d, and -d. But the second factors will increase by (log(a+d)-log(a)), 0, and 0.
So the increase in the 1st term will more than offset the decreases in the 2nd and 3rd term. Thus K will go positive.
Similar logic can be use to show that decreasing one of them will also force K positive - so long as a, b, and c remain positive.

Any combination of a,b, and c can be created by starting with a,a,a and applying 'd's to get a,b,c. K will be zero when they are all equal and positive otherwise.

So K>=0 and
(2a-b-c)log(a)+ (2b-a-c)log(b)+ (2c-a-b)log(c) >= 0

adding (a+b+c)log(a) + (a+b+c)log(b) + (a+b+c)log(c) to both sides:

(3a)log(a)+ (3b)log(b)+ (3c)log(c) >= (a+b+c)log(a) + (a+b+c)log(b) + (a+b+c)log(c)

dividing both sides by 3:

(a)log(a)+ (b)log(b)+ (c)log(c) >= ((a+b+c)/3) (log(a) + log(b) + log(c))

exponentiation:

a^a b^b c^c >= (abc)^((a+b+c)/3)
Interesting solution and a good one. The most interesting point is how to figure out / reach the starting expression.
 

Charles Link

Homework Helper
Insights Author
Gold Member
2018 Award
4,363
1,847
It's a good problem, even for people above the high school level to try to solve. (@QuantumQuest showed it to a couple of us before he posted it , and it is a fun problem.) :) :)
 
73
4
Challenge Level: High School
Since a legitimate solution was handed in a long time ago, but definitely not one that a highschool student can come up with, I think that it's ok to ask what is the solution of @QuantumQuest, or at least a hint.
Personally, I put quite a lot of efforts trying to solve it, but didn't succeed. I tried to play with substituting c=a*d, which seemed promising because I managed to simplify it to b^b*d^d=(bd)^(b+d+1)/3, but then got stuck. After that I thought in the direction of induction, but again couldn't carry it out.
 

QuantumQuest

Science Advisor
Insights Author
Gold Member
858
436
Since a legitimate solution was handed in a long time ago, but definitely not one that a highschool student can come up with, I think that it's ok to ask what is the solution of @QuantumQuest, or at least a hint.
Personally, I put quite a lot of efforts trying to solve it, but didn't succeed. I tried to play with substituting c=a*d, which seemed promising because I managed to simplify it to b^b*d^d=(bd)^(b+d+1)/3, but then got stuck. After that I thought in the direction of induction, but again couldn't carry it out.
The problem is at the high school level but it needs to think what to use (i.e. be somewhat creative), otherwise it would not be a challenge. If I give you what I came up with when I solved it (i.e the idea to start with) I'll effectively give you the solution which won't help learning. As a hint, try to find an inequality that involves some relevant to the problem powers and go from there.
 

Want to reply to this thread?

"Math Challenge by QuantumQuest #4" You must log in or register to reply here.

Related Threads for: Math Challenge by QuantumQuest #4

Replies
18
Views
1K
Replies
13
Views
1K
Replies
26
Views
3K
Replies
28
Views
3K
Replies
23
Views
2K
Replies
49
Views
4K
Replies
8
Views
1K
Replies
8
Views
2K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top