p:x=(m+n)/2能推出q:m、n、x成等差数列吗 p是q的是什么条件 充要还是充分不必要?