（根号a-根号b）^2>=0
a+b-2根号（ab）>=0
即：（a+b）/2>=根号（ab）
两边同时乘以根号(ab)：得[（a+b）/2]*[根号（ab）]>=ab
注意到左边第一项为A,第二项为G
所以：AG>=ab