Multipliziere die ganze Ungleichung mit dem positiven Term 9xy(x+y)
Das gibt
9xy+9y^2 + 9x^2 + 9xy > 8xy + 8y^2 + 12xy
<=> y^2 - 2xy + x^2 + 8x^2 > 0
<=> (y-x)^2 + 8x^2 > 0
Und die Summe zweier Quadrate von denen ja zumindest 8x^2 positiv ist,
ist dann auch positiv.
Also hast du durch Äquivalenzumformungen deine Ungleichung
auf eine gebracht die immer stimmt. q.e.d.