Daniel Dan's Optimization in Three Variables


Daniel Dan's Optimization in Three Variables


Set $p=a+b+c\,$ $q=ab+bc+ca\,$ and $r=abc.\,$ The constraint reads $p=q,\;$ but $p^2\ge 3q,\,$ implying $p^2\ge 3p,\,$ or, $p\ge 3.\,$ On the other hand, $p^2\ge 3pr,\,$ so that $\displaystyle r\le\frac{p}{3}.$

If $p=4,\,$ then

$\displaystyle\begin{align} E-4 &= \frac{p(4-p)}{r}+p-4=(4-p)\left(\frac{p}{r}-1\right)\\ &\le 0, \end{align}$

so that $E\le 4.\,$ In fact, $\max E=4,\,$ for $p=4.\,$ The maximum is attained for $(a,b,c)=\displaystyle\left(\frac{2}{3},\frac{2}{3},\frac{8}{3}\right)\,$ and permutations.

If $3\le p\le 4,\,$ It follows from Schur's inequality that $p^4-5p^2q+4q^2+6pr\ge 0,\,$ and, since $p=q,\,$ $r\ge\displaystyle\frac{(4-p)(p-1)p}{6}\,$ and, subsequently, $E-6=\displaystyle\frac{(p-4)(p-3)}{p-1}\le 0.\,$ so that, in this case, $\max E=6\,$ which is attained for $p=3,\,$ with $(a,b,c)=(1,1,1).$


As I understand, the story is somewhat convoluted. Daniel Dan has kindly posted the problem at the CutTheKnotMath facebook page and simultaneously at the Imad Zak facebook group. At the CutTheknotMath facebook page, Leo Giugiuc left a comment: "Difficult and beautiful. But who knows? Maybe there are some of the new solvers who solve it in one row. Because my solution is difficult and requires broad knowledge." A day later, Imad Zak posted his solution (above) and mentioned my page in the comment which I interpret as a silent invitation to reproduce his proof at my site, which I do. My sincerest thank to everyone involved. Leo was right - the solution is far from simple and requires much ingenuity and a good deal of knowledge. Kudos to Imad Zak.

Kudos to Imad Zak


Related material

A Sample of Optimization Problems

  • Mathematicians Like to Optimize
  • Reshuffling knights - castle defenders
  • Isoperimetric Theorem and Inequality
  • Viewing a Statue: the Problem of Regiomontanus
  • Fagnano's Problem
  • Minimax Principle Demonstration
  • Maximum Perimeter Property of the Incircle
  • Extremal Problem in a Circular Segment
  • Optimization in Four Variables with Two Constraints
  • Problem in a Special Trapezoid
  • Cubic Optimization with Linear Constraints
  • Cubic Optimization with Partly Linear Constraints
  • Problem M317 from Crux Mathematicorum
  • Find the Maximum and Minimum of a Function
  • Area of Isosceles Triangle
  • Minimum of Cotangents from Saint Petersburg
  • |Contact| |Front page| |Contents| |Algebra|

    Copyright © 1996-2018 Alexander Bogomolny