The arithmetic mean beats the geometric mean

Show that for all non-negative real numbers $a$ and $b$,
$$\frac{a+b}{2}\ge \sqrt{ab},$$
with equality exactly when $a=b$.

There is a one-line algebraic proof, and there is a picture with a semicircle in it. Notice that they are not the same proof, even though they prove the same thing.