充要条件;
充分性:
a=b时,显然(a+b)/2=√ab成立
必要性:
(a+b)/2=√ab
a+b=2√ab
两边平方得
a²+2ab+b²=4ab
a²-2ab+b²=0
(a-b)²=0
a=