いえ、、二次関数で常に正といえば判別式しか思いつきません…
頂点(a/2, -a^2/4+b)で考えようとしても5<x<7をどう扱ってよいのやら…