An algebra problem by A Former Brilliant Member

Algebra Level 3

Find the minimum value of a a b b c c a^ab^bc^c , where a a , b b , and c c are positive real numbers such that a + b + c = 1 a+b+c=1 .


The answer is 0.333.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

We note that f ( x ) = x ln x f(x)=x\ln x is convex. Hence by Jensen's inequality , we have:

a ln a + b ln b + c ln c 3 a + b + c 3 ln ( a + b + c 3 ) And equality occurs when a = b = c = 1 3 ln 3 3 a ln a + b ln b + c ln c ln 3 a a b b c c 1 3 0.333 \begin{aligned} \frac {a\ln a + b\ln b + c\ln c}3 & \ge \dfrac {a+b+c}3 \ln \left(\dfrac {a+b+c}3\right) & \small \color{#3D99F6} \text{And equality occurs when } a = b = c = \frac 13 \\ & \ge - \frac {\ln 3}3 \\ a\ln a + b \ln b + c \ln c & \ge - \ln 3 \\ \implies a^a b^b c^c & \ge \frac 13 \approx \boxed{0.333} \end{aligned}

Elegant and compact solution.

A Former Brilliant Member - 2 years, 1 month ago

Log in to reply

Glad that you like it.

Chew-Seong Cheong - 2 years, 1 month ago

Just enclose your formulas with "\ (" and "\ )" (without spaces between backslash "\" and brackets "()") to effect the LaTex code.

Chew-Seong Cheong - 2 years, 1 month ago

Log in to reply

I'm too lazy to use LaTex at this age :D

A Former Brilliant Member - 2 years, 1 month ago

Log in to reply

I am 61. You need only 6 more keystrokes. I amended your problem I added 12 keystrokes for Latex. I have rephrased it to read better. It is unnatural to start a sentence in lowercase.

Chew-Seong Cheong - 2 years, 1 month ago

Which sentence? If it was so, I'm very sorry for that typing error.

A Former Brilliant Member - 2 years, 1 month ago

Log in to reply

You original problem starts with "a, b, c are positive integers...".

Chew-Seong Cheong - 2 years, 1 month ago

Because of symmetry, a==b==c, Using the constraint a+b+c=1 and replacing b and c with a gives 3a=1 or a = 1 3 a=\frac13 . Evaluating a a b b c c a^a b^b c^c as 1 3 1 \frac13^1 gives the minimum as 1 3 \frac13 .

Your premise is not always correct. See this article .

Pi Han Goh - 2 years, 1 month ago

After reviewing the article and concluding the argument had sufficient validity to warrant a reworking of this problem from the start, I did just that.

I plotted a a a^a between 0 and 1:

To find the minimum of a a a^a , a a a a a ( log ( a ) + 1 ) \frac{\partial a^a}{\partial a} \Rightarrow a^a (\log (a)+1) which, since the function is concave upwards, means that the minimum is at 1 e \frac1e .

This can be used as an estimate of where the minimum is. The minimum can not be there exactly as 3 e > 1 \frac3e>1 .

I plotted the expression in an appropriate range, noting that because if the a + b + c = 1 a+b+c=1 constraint, the valid region will be triangular by the origin:

This supports my original solution.

Let us see what Wolfram Mathematica 12 has to say, Assuming [ ( a b ) R , Minimize [ { a a b b ( 1 ( a + b ) ) 1 ( a + b ) , 2 10 a 4 10 2 10 b 4 10 } , { a , b } ] ] { 1 3 , { a 1 3 , b 1 3 } } \text{Assuming}\left[(a|b)\in \mathbb{R},\text{Minimize}\left[\left\{a^a b^b (1-(a+b))^{1-(a+b)},\frac{2}{10}\leq a\leq \frac{4}{10}\land \frac{2}{10}\leq b\leq \frac{4}{10}\right\},\{a,b\}\right]\right] \Rightarrow \left\{\frac{1}{3},\left\{a\to \frac{1}{3},b\to \frac{1}{3}\right\}\right\}

Vindicated.

A Former Brilliant Member - 2 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...