Apologies for pasting a screenshot but it was the fastest way for me to ask the question since it's rather long.

I don't understand why the part where they say $(x^2 \vee 2xy \vee y^2) > 9$
- Why do at least one of them have to be greater than $9$?
- Why does at least one of them being greater than $9$ make the proof wrong?