Krok 1. Porównanie pierwszego składnika z ułamkiem $\frac{x}{y}$. Pokażemy, że

$$\frac{x+a}{y+a}>\frac{x}{y}.$$

Oba mianowniki są dodatnie ($y>0$, $y+a>0$), więc możemy pomnożyć nierówność na krzyż bez zmiany znaku:

$$(x+a)\,y>x\,(y+a)\ \Longleftrightarrow\ xy+ay>xy+ax\ \Longleftrightarrow\ ay>ax.$$

Ostatnia nierówność jest prawdziwa, bo $a>0$ oraz $y>x$. Zatem faktycznie $\frac{x+a}{y+a}>\frac{x}{y}$.

Krok 2. Oszacowanie lewej strony.

$$\frac{x+a}{y+a}+\frac{y}{x}>\frac{x}{y}+\frac{y}{x}.$$

Krok 3. Klasyczna nierówność. Dla dodatnich $x\neq y$:

$$\frac{x}{y}+\frac{y}{x}-2=\frac{x^{2}+y^{2}-2xy}{xy}=\frac{(x-y)^{2}}{xy}>0,$$

bo licznik jest dodatni (skoro $x\neq y$), a mianownik dodatni. Stąd

$$\frac{x}{y}+\frac{y}{x}>2.$$

Krok 4. Połączenie. Z Kroków 2 i 3 otrzymujemy

$$\frac{x+a}{y+a}+\frac{y}{x}>\frac{x}{y}+\frac{y}{x}>2,$$

co kończy dowód. $\blacksquare$