is positive definite since for any non-zero column vector z with entries a, b and c, we have This result is a sum of squares, and therefore non-negative; and is zero only if a = b = c = 0, that is, when z is zero.