Czy ten dowód jest prawidłowy?
A no tak. A czy dałoby się w takim razie udowodnić prawdziwość nierówności x/y + (y-x+a-x)/(x-a) > 0 bez sprowadzania tego do wspólnego mianownika?
Trzeba prowadzić do wspólnego mianownika, lub od razu pomnożyć stronami przez oba mianowniki (są one większe od 0, więc nie zmieni się znak nierówności).
Ok, czyli rozumiem, że nie dałoby się.
Dowód jest nie poprawny: moment w którym z y-x>a-x wnioskujesz że y-x>|a-x| stanowi błąd. Przykładowo podstaw y = 1, x = 0.99, a = 0.05, a zobaczysz co mam na myśli.