Difference between revisions of "1972 IMO Problems/Problem 5"

(Created page with "Let f and g be real-valued functions defined for all real values of x and y; and satisfying the equation f(x+y)+f(x-y)=2f(x)g(y) for all x, y. Prove that if f(x) is not i...")
 
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
Let f and g be real-valued functions defined for all real values of x and y;
+
Let <math>f</math> and <math>g</math> be real-valued functions defined for all real values of <math>x</math> and <math>y</math>, and satisfying the equation
and satisfying the equation
+
<cmath>f(x + y) + f(x - y) = 2f(x)g(y)</cmath>
 +
for all <math>x, y</math>. Prove that if <math>f(x)</math> is not identically zero, and if <math>|f(x)| \leq 1</math> for all <math>x</math>, then <math>|g(y)| \leq 1</math> for all <math>y</math>.
  
      f(x+y)+f(x-y)=2f(x)g(y)
+
==Solution==
  
for all x, y. Prove that if f(x) is not identically zero, and if |f(x)| < or = 1 for all
+
Let <math>u>0</math> be the least upper bound for <math>|f(x)|</math> for all <math>x</math>. So, <math>|f(x)| \leq u</math> for all <math>x</math>. Then, for all <math>x,y</math>,
x; then |g(y)| < or = 1 for all y:
+
 
 +
<math>2u \geq |f(x+y)+f(x-y)| = |2f(x)g(y)|=2|f(x)||g(y)|</math>
 +
 
 +
Therefore, <math>u \geq |f(x)||g(y)|</math>, so <math>|f(x)| \leq u/|g(y)|</math>.
 +
 
 +
Since <math>u</math> is the least upper bound for <math>|f(x)|</math>, <math>u/|g(y)| \geq u</math>. Therefore, <math>|g(y)| \leq 1</math>.
 +
 
 +
Borrowed from [http://www.cs.cornell.edu/~asdas/imo/imo/isoln/isoln725.html]
 +
 
 +
== See Also == {{IMO box|year=1972|num-b=4|num-a=6}}
 +
 
 +
[[Category:Olympiad Algebra Problems]]
 +
[[Category:Functional Equation Problems]]

Latest revision as of 15:39, 29 January 2021

Let $f$ and $g$ be real-valued functions defined for all real values of $x$ and $y$, and satisfying the equation \[f(x + y) + f(x - y) = 2f(x)g(y)\] for all $x, y$. Prove that if $f(x)$ is not identically zero, and if $|f(x)| \leq 1$ for all $x$, then $|g(y)| \leq 1$ for all $y$.

Solution

Let $u>0$ be the least upper bound for $|f(x)|$ for all $x$. So, $|f(x)| \leq u$ for all $x$. Then, for all $x,y$,

$2u \geq |f(x+y)+f(x-y)| = |2f(x)g(y)|=2|f(x)||g(y)|$

Therefore, $u \geq |f(x)||g(y)|$, so $|f(x)| \leq u/|g(y)|$.

Since $u$ is the least upper bound for $|f(x)|$, $u/|g(y)| \geq u$. Therefore, $|g(y)| \leq 1$.

Borrowed from [1]

See Also

1972 IMO (Problems) • Resources
Preceded by
Problem 4
1 2 3 4 5 6 Followed by
Problem 6
All IMO Problems and Solutions