your final result must hold for all real numbers what do you get if you put or ?
I see. So the incompatibility with those values would stop it from being positive definite. I think I was looking at it from the wrong perspective. Rather than trying to find some z for which a and b wouldn't work unless they were both positive, I was looking more generally at a and b to make sure they always had to be positive for the inequality to hold true.