Usando el hecho de quex2+2xy+y2=(x+y)2≥0, demuestra que la asunciónx2+xy+y2<0 conduce a una contradicción ... Así que empiezo con ...
"Suponga quex2+xy+y2<0, entonces bla bla bla"?
Parece cierto ... porque entonces voy(x2+2xy+y2)−(x2+xy+y2)≥0. Se convierte en2xy−xy≥0, luegoxy≥0. ¿Cómo es esto una contradicción? Creo que me falta algún punto clave.