The question I'm having trouble with is follows:
Suppose you have already proved the proposition that, “If $a$ and $b$ are nonnegative real numbers, then $\frac{a + b}{2} ≥ \sqrt{ab}$.”
a. Explain how you could use this proposition to prove that if a and b are real numbers satisfying the property that $b ≥ 2|a|$, then $b ≥ \sqrt{b^2 − 4a^2}$. Be careful how you match up notation.
b. Use the foregoing proposition and part (a) to prove that if $a$ and $b$ are real numbers with $a < 0$ and $b ≥ 2|a|$, then one of the roots of the equation $ax^2 + bx + a = 0$ is $≤ -\frac{b}{a}.$
I'm stuck on the solution to $b$. (sadly), because the explanation involves dividing an inequality by another inequality and I have no idea how it works.
Here is the solution: solution screenshot
Between $A_1$ and $A_2$ in solution to b., it says "Subtracting $2b$ from both sides of $A_1$ and then dividing by $2a <0$ (from the hypothesis)". I don't know how dividing by $2a <0$ works. I mean, I know how to divide an equation by another equation in systems of equations, but oh god what is this. Please help me