Czy nie wystarczy dojść do takiej postaci skoro x i y są dodatnie, jeżeli nie to dlaczego
Twoja finalna postać jest poprawna.
Należy udowodnić, że wyrażenie po lewej stronie jest nieujemne -> to właśnie wykazałeś. Wykazałeś, że jest dodatnie zatem jest nieujemne. Dowód poprawny.
Zawsze się właśnie zastanawiałem, jeżeli mam udowodnić, że coś jest nieujemne mogę to zrobić udowodniając, że jest to dodatnie