Maths Olympiad Prep

Library / /467 of 520

Algebra Difficulty 4.6 AIME Prove it

Given a set PP consisting of all functions f(x)f(x) that satisfy the following property: there exists a non-zero constant MM, such that for any xRx \in \mathbb{R}, f(x+M)=Mf(x)f(x+M)=-Mf(x) holds.
(1)(1) Let the function g(x)=sinπxg(x)=\sin \pi x, prove that: g(x)Pg(x) \in P;
(2)(2) When M=1M=1, describe and prove a property of the function f(x)f(x);
(3)(3) If the function h(x)=sinωxPh(x)=\sin \omega x \in P, find the range of the real number ω\omega.

Solution

Solution:
(1)(1) Take M=1M=1. For any xRx \in \mathbb{R}, g(x+M)=sin(πx+π)=sinπx=g(x)=Mf(x)g(x+M)=\sin (\pi x+\pi)=-\sin \pi x=-g(x)=Mf(x). Therefore, g(x)Pg(x) \in P.
(2)(2) When M=1M=1, f(x+1)=f(x)f(x+1)=-f(x) and f(x+2)=f(x+1)=f(x)f(x+2)=-f(x+1)=f(x). Therefore, f(x)f(x) is a periodic function with a period of 22.
(3)(3) Since h(x)=sinωxPh(x)=\sin \omega x \in P, there exists a non-zero constant MM, such that for any xRx \in \mathbb{R}, h(x+M)=Mh(x)h(x+M)=-Mh(x) holds, i.e., sin(ωx+ωM)=Msinωx\sin (\omega x+\omega M)=-M\sin \omega x.
If M>1|M| > 1, taking sinωx=1\sin \omega x=1, then sin(ωx+ωM)=M\sin (\omega x+\omega M)=-M cannot always hold for xRx \in \mathbb{R}.
If M<1|M| < 1, taking sin(ωx+ωM)=1\sin (\omega x+\omega M)=1, then sinωx=1M\sin \omega x=-\frac{1}{M} also cannot hold for xRx \in \mathbb{R}. Therefore, M=±1M=\pm1.
When M=1M=1, sin(ωx+ω)=sinωx\sin (\omega x+\omega)=-\sin \omega x, sin(ωx+ω)+sinωx=0\sin (\omega x+\omega)+\sin \omega x=0, 2sin(ωx+ω2)cosω2=0(xR)2\sin (\omega x+ \frac{\omega}{2})\cdot \cos \frac{\omega}{2}=0(x \in \mathbb{R}), cosω2=0\cos \frac{\omega}{2}=0 yields ω=2kπ+π(kZ)\omega=2k\pi+\pi(k \in \mathbb{Z});
When M=1M=-1, sin(ωxω)=sinωx\sin (\omega x-\omega)=\sin \omega x, sin(ωxω)sinωx=0\sin (\omega x-\omega)-\sin \omega x=0, 2cos(ωxω2)sin(ω2)=0(xR)2\cos (\omega x- \frac{\omega}{2})\cdot \sin (- \frac{\omega}{2})=0(x \in \mathbb{R}), sinω2=0\sin \frac{\omega}{2}=0 yields ω=2kπ(kZ)\omega=2k\pi(k \in \mathbb{Z}).
In conclusion, the range of ω\omega is ω=kπ(kZ)\boxed{\omega=k\pi(k \in \mathbb{Z})}.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.