an M that drive you crazy

Algebra Level 5

Determine the smallest possible number M such that the inequality a b ( a 2 b 2 ) + b c ( b 2 c 2 ) + c a ( c 2 a 2 ) M ( a 2 + b 2 + c 2 ) 2 |ab(a^2-b^2)+bc(b^2-c^2)+ca(c^2-a^2)|\le M(a^2+b^2+c^2)^2 holds for all real numbers a a , b b , and c c .


The answer is 0.397747564.

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.

1 solution

Mark Hennings
Aug 11, 2018

The left-hand side is equal to ( a b ) ( b c ) ( c a ) ( a + b + c ) |(a-b)(b-c)(c-a)(a+b+c)| . Since the inequality is homogeneous, M M the is maximum value of ( a b ) ( b c ) ( c a ) ( a + b + c ) |(a-b)(b-c)(c-a)(a+b+c)| subject to the constraint a 2 + b 2 + c 2 = 1 a^2 + b^2 + c^2 = 1 . Writing X = 1 2 ( a b ) Y = 1 6 ( a + b 2 c ) Z = 1 3 ( a + b + c ) X = \tfrac{1}{\sqrt{2}}(a-b) \hspace{2cm} Y \; = \; \tfrac{1}{\sqrt{6}}(a + b - 2c) \hspace{2cm} Z \; = \; \tfrac{1}{\sqrt{3}}(a + b + c) we see that M M is the maximum value of 3 2 X ( 3 Y 2 X 2 ) Z \sqrt{\tfrac32}|X(3Y^2-X^2)Z| subject to X 2 + Y 2 + Z 2 = 1 X^2 + Y^2 + Z^2 = 1 . If we introduce polar coordinates X = sin θ cos ϕ X = \sin\theta\cos\phi , Y = sin θ sin ϕ Y = \sin\theta\sin\phi , Z = cos θ Z = \cos\theta , then M M is the maximum of 3 2 sin 3 θ cos θ cos ϕ ( 3 4 cos 2 ϕ ) \sqrt{\tfrac32} \big|\sin^3\theta \cos\theta \cos\phi(3 - 4\cos^2\phi)\big| Simple calculus tells us that the maximum of sin 3 θ cos θ |\sin^3\theta\cos\theta| for 0 θ π 0 \le \theta \le \pi is 3 16 3 \tfrac{3}{16}\sqrt{3} (when θ = 1 3 π \theta = \tfrac13\pi ), and the maximum value of cos ϕ ( 3 4 cos 2 ϕ ) \cos\phi(3 - 4\cos^2\phi) for 0 ϕ 2 π 0 \le \phi \le 2\pi is 1 1 (when ϕ = 1 3 π \phi = \tfrac13\pi ). Thus M = 9 16 2 M = \boxed{\tfrac{9}{16\sqrt{2}}}

It is mysterious how did you get that idea of defining variables X,Y and Z. The choice is amazing.it is making life easy.

Srikanth Tupurani - 2 years, 7 months ago

Log in to reply

Once the LHS was facatorized, the idea of rotating the coordinate system so that 1 3 ( a + b + c ) \tfrac{1}{\sqrt{3}}(a+b+c) becomes one of the coordinate variables seemed a good one. It is often useful to consider rotating variables when asked to extremize something over the unit sphere (which is, of course, invariant under rotation).

Mark Hennings - 2 years, 7 months ago

Log in to reply

Excellent.

Srikanth Tupurani - 2 years, 7 months ago

Nice solution

Srikanth Tupurani - 2 years, 7 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...