Suppose $a$ and $b$ are real numbers. Prove that if $a < b < 0$ then $a^2 > b^2$.
My attempt:
We know that if $x > y$, then $-x < -y$.
We also know that if $x > y\ge 0$, then $x^2 > y^2$.
Now consider our example:
Given that $a < b < 0$
$$\tag1 a<b$$
$$\tag2 -a > -b$$
$$\tag3(-a)^2 > (-b)^2$$
$$\tag4 a^2 > b^2$$
Is it correct? Any suggestions for improvement would be welcome.
The idea is fine, but look again at what you wrote; it is just a sequence of assertions, with no links between them. I suggest that you type it as follows:\begin{align}a<b&\implies-a>-b\\&\implies(-a)^2>(-b)^2\text{ (since $-a>-b\geqslant0$)}\\&\iff a^2>b^2.\end{align} Another possibility consists in noting that$$a^2-b^2=\overbrace{(a-b)}^{\phantom{0}<0}\,\overbrace{(a+b)}^{\phantom{0}<0}>0.$$