抽象函数证明f(x+y)+f(x-y)=2f(x)f(y) f(1)≠0证明为偶函数