f(x+y)+f(x-y)=2f(x)g(x)求证g(y)≤1

f(x+y)+f(x-y)=2f(x)g(x)求证g(y)≤1

用反证法.
假设存在实数c, 使|g(c)| > 1.
由f(x)不恒为0, 任取实数a1, 使f(a1) ≠ 0.
在条件中取x = a1, y = c得f(a1+c)+f(a1-c) = 2f(a1)g(c).
于是2|f(a1)g(c)| = |f(a1+c)+f(a1-c)| ≤ |f(a1+c)|+|f(a1-c)| (绝对值不等式).
由此, |f(a1+c)|与|f(a1-c)|中至少有一个不小于|f(a1)g(c)|.
因此存在实数a2, 使得|f(a2)| ≥ |f(a1)|·|g(c)|.

再在条件中取x = a2, y = c, 重复上述推理,
可知存在实数a3, 使|f(a3)| ≥ |f(a2)|·|g(c)|.
依此类推, 可构造数列a1, a2, a3, ...
对数列中的第n项an, 可知成立|f(an)| ≥ |f(a1)|·|g(c)|^(n-1).
由f(a1) ≠ 0, |g(c)| > 1, 当n趋于无穷时, 右端|f(a1)|·|g(c)|^(n-1)趋于正无穷.
但左端|f(an)| ≤ M, 是有界的, 矛盾.

因此假设不成立, |g(y)| ≤ 1对任意实数y成立.追问可以用高中的方法吗，反正法太…追答其实这个解法并未超出高中范围,
希望你能认真理解一下.
反证法也只是为了使思路明显的写法,
不难改成直接证法,
但是个人觉得反而不好理解.

由条件2f(x)g(y) = f(x-y)+f(x+y).
两边乘以2g(y)得:
4f(x)g(y)² = 2f(x-y)g(y)+2f(x+y)g(y)
= f(x-2y)+f(x)+f(x)+f(x+2y)
= f(x-2y)+2f(x)+f(x+2y).
继续乘以2g(y)得:
8f(x)g(y)³ = f(x-3y)+3f(x-y)+3f(x+y)+f(x+3y).
依此类推, 可以得到:
2^n·f(x)·g(y)^n = f(x-ny)+n·f(x-(n-2)y)+...+f(x+ny),
右端的一般项为C(n,k)·f(x-(n-2k)y), k = 0, 1,.., n,
其中C(n,k)为n中选k的组合数.
(可用数学归纳法证明).

由绝对值不等式,
|f(x-ny)+n·f(x-(n-2)y)+...+f(x+ny)|
≤ |f(x-ny)|+n·|f(x-(n-2)y)|+...+|f(x+ny)|
≤ M+n·M+...+M
= M·(C(n,0)+C(n,1)+...+C(n,n))
= M·2^n (由二项式定理, (1+1)^n = C(n,0)+C(n,1)+...+C(n,n)).
因此2^n·|f(x)|·|g(y)|^n ≤ M·2^n,
也即|f(x)|·|g(y)|^n ≤ M. 对任意实数x, y和正整数n成立.

由f(x)不恒为0, 存在实数a, 使f(a) ≠ 0, 从而M ≥ |f(a)| > 0.
在上式中取x = a得|f(a)|·|g(y)|^n ≤ M ①, 对任意实数y和正整数n成立.
当g(y) = 0, 显然满足|g(y)| ≤ 1, 结论成立.
而当g(y) ≠ 0, 有|g(y)| > 0, 此时可对①式两边取对数,
得ln(|f(a)|)+n·ln(|g(y)|) ≤ ln(M),
即ln(|g(y)|) ≤ (ln(M)-ln(|f(a)|))/n.
注意n可以是任意正整数,
所以(ln(M)-ln(|f(a)|))/n可以小于任意正实数,
因此总使不等式成立的ln(|g(y)|)只能小于或等于0.
ln(|g(y)|) ≤ 0, 故|g(y)| ≤ 1, 即所求证.追问你看看楼下的做法，我觉得他的证明有问题追答是有问题.
直接加绝对值是一个问题,
不过这点不难修正.
关键问题是假设|f(x)| = M,
条件并没有保证|f(x)| ≤ M的等号能够成立.

这个证明可以修改的更有迷惑性:
由|f(x)| ≤ M, 不妨设|f(x)|在x = a处取得最大值.
设|f(a)| = N, 则|f(x)| ≤ N对任意实数x成立.
且由f(x)不恒为0, 有N > 0.

在条件中取x = a, 有:
2N·|g(y)| = |2f(a)g(y)|
= |f(a-y)+f(a+y)|
≤ |f(a-y)|+|f(a+y)|
≤ 2N,
而N > 0, 故|g(y)| ≤ 1.

这个证明是错误的.
问题出在第一步的不妨设.
一个有界函数未必能取到最大值.
比如arctan(x), 总满足|arctan(x)| < π/2,
同时|arctan(x)|可以不断趋近于π/2,
所以|arctan(x)|取不到最大值.追问你很厉害，你学数学专业的？留个联系，以后好请教

追问为什么可以加绝对值追答不好意思 我没说明清楚。首先对于绝对值
题意 f(x+y)+f(x-y)=2f(x)g(x) 我们可以分析f(x)g(x)为正或者为负
当f(x)g(x)为正时，①f(x+y)和f(x-y)为正 那么加上绝对值取等号
②f(x+y)和f(x-y)为一正一负 那么取大于等于号
同理 我们可以分析出当f(x)g(x)为负时的情况
所以我加上绝对值的时候舍去大于号对于证明没有影响 故舍去大于号 只取了等于号
等于一个有界函数未必能取到最大值这个问题
因为这个是证明题 题目并没有说取不到最大值
我原本意思是假设f(x)在x=x时最大 则必有f(x+y)和f(x-y)都要小于等于f(x)
也就是2f(x)|g(y)|≤2f(x) 所以|g(y)| ≤ 1