1) Il suffit de remplacer avec les expressions :
[tex]f(x)-g(x)=x^3+x^2+x+1-(x^3-3x^2+5x)=4x^2-4x+1=(2x-1)^2[/tex]
2) On a vu que pour tout x,[tex]f(x)-g(x) \ge 0[/tex] (un carré est toujours positif).
Donc [tex]\mathcal{C}_f[/tex] est au-dessus de [tex]\mathcal{C}_g[/tex], ce qu'on vérifie facilement sur le dessin.