Aloha :)
Da Quadratzahlen stets \(\ge0\) sind, gilt:$$0\le\left(\varepsilon |x|-\frac{|y|}{\varepsilon}\right)^2=(\varepsilon |x|)^2-2\cdot(\varepsilon |x|)\cdot\frac{|y|}{\varepsilon}+\left(\frac{|y|}{\varepsilon}\right)^2=\varepsilon^2x^2-2|xy|+\frac{y^2}{\varepsilon^2}$$Umstellung der Ungleichung liefert:$$2|xy|\le\varepsilon^2x^2+\frac{y^2}{\varepsilon^2}$$
Und das funktioniert auch mit der zweiten Ungleichung.
1. Fall: \(xy>0\)$$0\le(x-y)^2=x^2-2xy+y^2=\underbrace{xy}_{>0}\cdot\underbrace{\left(\frac xy-2+\frac yx\right)}_{\ge0}\implies\frac xy+\frac yx\ge2$$Wegen \(xy>0\) haben \(x\) und \(y\) dasselbe Vorzeichen, sodass auch \(\frac xy\) und \(\frac yx\) positiv sind.
2. Fall: \(xy<0\)$$0\le(x+y)^2=x^2+2xy+y^2=\underbrace{xy}_{<0}\cdot\underbrace{\left(\frac xy+2+\frac yx\right)}_{\le0}\implies\frac xy+\frac yx\le-2$$Wegen \(xy<0\) haben \(x\) und \(y\) unterschiedliche Vorzeichen, sodass auch \(\frac xy\) und \(\frac yx\) negativ sind.
Zusammengefasst gilt also:\(\quad\left|\frac xy+\frac yx\right|\ge2\) für \(xy\ne0\).