Assuming that s is a constant real number, we have the following:
Given f(x,y,z) = s (x2 + y2 + z2) - 4 (xy + xz + yz) = sx2 + sy2 + sz2 - 4xy - 4xz - 4yz, we can let
[ a b c ] [ a b c ] [ x ] [ ax + by + cz ]
A = [ d e f ], so we can write: f(x,y,z) = [x y z] [ d e f ] [ y ] = [x y z] [ dx + ey + fz ], so:
[ g h i ] [ g h i ] [ z ] [ gx + hy + iz ]
f(x,y,z) = x (ax + by + cz) + y (dx + ey + fz) + z (gx + hy + iz) = ax2+ bxy + cxz + dxy + ey2 + fyz + gxz +
hyz + iz2 = ax2+ ey2 + iz2 + (b+d) xy + (c+g) xz + (f + h) yz = sx2 + sy2 + sz2 - 4xy - 4xz - 4yz, so
a = e = i = s, and b+d = c+g = f+h = -4. Next, A is positive definite if and only if both A is symmetric
and f(x,y,z) is positive (also known as strictly > 0) for all vectors [x, y, z] =/= [0, 0, 0].
A being symmetric forces b to = d, c to = g, and f to = h, so they all must = -2 for each of those
sums earlier to be = -4, so now we just need to find s such that f(x,y,z) > 0 for [x,y,z] =/= [0,0,0].
If we first set s = t + 4, then now we have:
f(x,y,z) = t(x2+y2+z2) + 4(x2+y2+z2) - 4(xy+xz+yz) = t(x2+y2+z2) + 4x2 + 4y2 + 4z2 - 4xy - 4xz - 4yz
= t(x2+y2+z2) + 4x2 - 2xy - 2xz - 2xy + y2 + yz - 2xz + yz + z2 + 3y2 - 6yz + 3z2
= t(x2+y2+z2) + 2x(2x-y-z) - y(2x-y-z) - z(2x-y-z) + 3(y2-2yz+z2)
= **************, so for all [x y z] =/= [0 0 0], the 1st term is always > 0
for all t > 0, the 2nd term is always >= 0, and the 3rd term is always >= 0, so f(x,y,z) is
always > 0 for all [x y z] =/= [0 0 0] and f(0,0,0) = 0 when t > 0, or s > 4, so, finally, we have the following:
[ s -2 -2 ]
A = [ -2 s -2 ], with s > 4.
[ -2 -2 s ]

David C.
06/03/22