Al menos uno de $a, b, c$ debe ser positivo. Suponga $a > 0$. Luego tenemos a $a^2 + ab + ac = a(a + b + c) = a$, por lo que la desigualdad se ha demostrado que es equivalente a
$$bc + a - a^2 < \frac{1}{2}\sqrt{abc} + \frac{1}{4},$$
la cual puede escribirse como $f(\sqrt{bc}) < 0$, donde
$$f(x) = x^2 - \frac{1}{2}\sqrt{a}x - a^2 + a - \frac{1}{4}.$$
Ahora $b$ $c$ sólo están sujetos a las condiciones de $b + c = 1 - a$$bc > 0$. Por lo tanto $\sqrt{bc}$ varía en el intervalo de $(0,\frac{1}{2}|1-a|]$.
Desde $f(x)$ es un polinomio cuadrático con positivo coeficiente inicial, para comprobar la desigualdad, es suficiente para comprobar que en sus extremos, es decir, $f(0) \leq 0$$f(\frac{1}{2}|1-a|) < 0$. Pero $f(0) = -(a-\frac{1}{2})^2$, por lo que la primera de estas desigualdades es clara. Por lo tanto, sólo tenemos que demostrar que para todos los $a > 0$, tenemos
$$\frac{1}{4}(a-1)^2 -\frac{1}{4}\sqrt{a}|1-a| -a^2 +a - \frac{1}{4} < 0,$$
que podemos reescribir como
$$-\frac{3}{4}a^2 +\frac{1}{2}a - \frac{1}{4}\sqrt{a}|1-a| < 0.$$
Como la suma de los dos primeros términos es ya negativo para $a \geq 1$, sólo tenemos que considerar el caso de $0 < a < 1$. Dividiendo por $t = \frac{1}{4}\sqrt{a}$, la desigualdad se convierte en
$$-3t^3 + t^2 + 2t - 1 < 0,$$
que debe ser probado por todos los $t \in (0,1)$ a fin de concluir la prueba.
Esto es sencillo de hacer con el cálculo.