1. Si

nous avons

donc le discriminant

est strictement positif et il existe deux solutions distinctes, donc l'ensemble

est non vide.
L'implication est vraie.
2. Si

, alors
=0)
et

est une racine de

, et comme le produit des racines est

, nous avons bien

, qui est réduit à un seul élément dans le cas où

.
L'implication est vraie.
3. Si

, l'équation s'écrit
=0)
donc

est alors une racine de

.
L'implication est fausse.
4. Comme

, alors
=0)
et

est une racine de

, et comme le produit des racines est

, nous avons bien

, qui est réduit à un seul élément dans le cas où

.
L'implication est vraie.
5. Comme le discriminant est strictement positif, il existe deux racines distinctes

et

, avec

et comme leur produit est

, elles sont donc non nulles et de signe contraire, nous avons donc
L'implication est vraie.
6. Le discriminant strictement négatif nous assure que le polynôme est de signe constant mais il peut être négatif. Par exemple
)
.
L'implication est fausse.
7. Si le discriminant est strictement négatif, le polynôme est de signe constant, donc pour tout
 \in \R^2;P(x).P(y)\geq 0)
.
Si le discriminant est nul, et notons

la racine double, le polynôme est alors
^2)
.
De ce fait, pour tout
 \in \R^2;P(x).P(y)=a^2(x-x_0)^2(y-x_0)^2\geq 0)
.
Par contraposée, nous venons de montrer l'implication demandée.
L'implication est vraie.