根号ab-（a+b）/2小于等于0,当a=b时等号成立 （根号a-根号b）大于等于0,所以a+b-2根号ab大于等于0,所以a+b大于等于2根号ab,所以（a+b）/2大于等于根号ab,所以根号ab小于等于（a+b）/2,当a=b时等号成立
