Aklıma ilk gelen yöntem ile, türev kullanarak, bir çözüm yapacağım. (Ortaokul seviyesinde bir çözüm için sonra düşüneceğim.)
$x^2 + y^2 + z^2 + 2(xy+yz+xz) = (x+y+z)^2 \Rightarrow xy+yz+xz = -3$.
$x-y=a$, $y-z=b$, $z-x=c$ olsun. $a+b+c=0$. Ayrıca,
$$\begin{array}{rcl}
a^2 + b^2 + c^2 &=& x^2 + y^2 - 2xy + y^2 +z^2 - 2yz + z^2+x^2 - 2xz \\
&=& 2(x^2+y^2+z^2 - xy-yz-xz) \\
&=& 18\end{array}$$
$a^2+b^2 + c^2 + 2(ab+bc+ac) = (a+b+c)^2 \Rightarrow ab+bc+ac=-9$.
Bizden istenen, $a+b+c = 0$, $ab+bc+ac=-9$ durumunda $K=\max(abc)$ nin ne olduğu.
Bu da $y=x^3-9x + K$ denkleminin tüm köklerini gerçel yapan en büyük $K$ değerini bulmakla özdeş.
$y=x^3$ eğrisi ile $y=9x-K$ doğrusunu üç noktada (ikisi katlı kök olabilir) kesiştirmek istiyoruz.
$y=9x-K$ doğrusunda, doğrunun eğimi $9$ ve doğrunun $x-$eksenini kestiği yer $-K$.
İstenen $-K$ değerini, $y=9x$ doğrusunu eğim bozmadan $x+$ yönünde kaydırdığımızda $y=9x-K$ doğrusu $y=x^3$ eğrisine teğet olduğunda elde ediyoruz. Bu teğetin eğiminin $9$ olduğunu biliyoruz.
$y=x^3$ eğrisinin türevi $y'=3x^2=9 \Rightarrow x = \pm \sqrt 3$ ve $y=3\sqrt 3$ tür. Bu değeri, $y=9x-K$ da yerine yazarsak, $K = 9x - y = 6\sqrt 3$ elde ederiz.