设a,b∈R,命题p:a=b是命题q:(a2+b2)/2>=ab成立的什么什么条件