a.
1−x2+xx2−yz=x2+xx+yz=x2+x1−y−z+yz=x2+x(1−y)(1−z).
b.
Using a), the inequality is rewritten
x(x+1)(1−y)(1−z)+y(y+1)(1−z)(1−x)+z(z+1)(1−x)(1−y)≥3,
that is
x[(x+z)+(x+y)](x+z)(x+y)+y[(y+z)+(y+x)](y+z)(y+x)+z[(z+y)+(z+x)](z+y)(z+x)≥3.
But applying the inequality between the arithmetic mean and the harmonic mean we deduce that
x[(x+z)+(x+y)](x+z)(x+y)+y[(y+z)+(y+x)](y+z)(y+x)+z[(z+y)+(z+x)](z+y)(z+x)≥≥x+yx+x+zx+y+zy+y+xy+z+yz+z+xz9=1+1+19=3.
Alternative solution.
b.
Using a), the inequality is rewritten
(1−x)(1−y)(1−z)(x−x31+y−y31+z−z31)≥3.
Applying the inequality between the arithmetic mean and the harmonic mean, we have
x−x31+y−y31+z−z31≥(x+y+z)−(x3+y3+z3)9=1−(x3+y3+z3)9=(x+y+z)3−(x3+y3+z3)9=3(x+y)(y+z)(z+x)9=(1−x)(1−y)(1−z)3
and the inequality is demonstrated.