How to prove that $\frac{a+b}{2} \geq \sqrt{ab}$ for $a,b>0$? I am reading a chapter about mathematical proofs. As an example there is:
Prove that: $$(1) \space\space\space\space\space\space\space\space\space\space\space \frac{a+b}{2} \geq \sqrt{ab}$$ for $a,b>0$. There is stated that the thesis for the proof is short multiplication formula: $$(2)\space\space\space\space\space\space\space\space\space(a+b)^2=a^2+2ab+b^2$$ Substracting from the short multiplication $(2)$ formula $4ab$  and using square root yields the proof by implication. (here ends the example in a book)
Please tell me if I am right about it: 


*

*we are considering only $a,b \in \Re^+$

*$(1)$ can be transformed into $a-2\sqrt{ab}+b \geq0$ which is an equivalent short multiplication formula $(x-y)^2=x^2-2xy+y^2$

*taking into account assumptions squared number is always equal or greater than zero.

*the implication says that if squared number is greater than zero then $(1)$ is true.


My first question is: is my thinking proper?
My other question is why the authors use $(a+b)^2$ and susbstract $4ab$ instead of starting with $(a-b)^2$. I am also confused about the symbols used - in $(1)$ and $(2)$ authors used $a$ and $b$ - is this just coincidence? Or this would be OK as well if in the first and second $a$ and $b$ were the same numbers?

Argument is fine as long as it is clear to you that your are using equivalence and not implication on your way down the bullets. That is for $a, b \in \Bbb R^{+}$
$$  \frac{a+b}{2} \geq \sqrt{ab} \iff a-2\sqrt{ab}+b \geq0 \iff (\sqrt a- \sqrt b)^2 \ge 0 $$
You must use "double arrows". Or "if and only if"  connectives. Only then can you justify the leftmost statement from the correctness of the one in the right. 
The rightmost equality makes sense due to two reasons. One due to the assumption you mentioned above regarding the non-negativity of a square. And two the square roots of $a$ and $b$ exist since both are positive. 
You are right. This is a better way to prove this in my opinion. So I wouldnot worry about it. 
As for the notation : Yes the formula would still hold if $a$ and $b$ were both the same number. Toverify just look at your proof. Substitue $a$ for $b$ and see what happens. you will notice the equality in $\geq$ holds. This is in fact a secondary idea of this result. The equality holds if and only if $a = b$. You should try to prove this. Decent exercise. 
