Maths Olympiad Prep

Library / /12 of 23

, 2003

Algebra Difficulty 8.6 Shortlist Prove it United States

Let N\mathbb{N} denote the set of positive integers. Find all functions f:NNf : \mathbb{N} \to \mathbb{N} such that
f(m+n)f(mn)=f(m2) f(m+n)f(m-n) = f(m^2)
for all m,nNm, n \in \mathbb{N}.

Solution

Function f(n)=1f(n) = 1, for all nNn \in \mathbb{N}, is the only function satisfying the conditions of the problem.

Note that
f(1)f(2n1)=f(n2)andf(3)f(2n1)=f((n+1)2) f(1)f(2n-1) = f(n^2) \quad \text{and} \quad f(3)f(2n-1) = f((n+1)^2)
for n3n \ge 3. Thus
f(3)f(1)=f((n+1)2)f(n2). \frac{f(3)}{f(1)} = \frac{f((n+1)^2)}{f(n^2)}.
Setting f(3)f(1)=k\frac{f(3)}{f(1)} = k yields f(n2)=kn3f(9)f(n^2) = k^{n-3}f(9) for n3n \ge 3. Similarly, for all h1h \ge 1,
f(h+2)f(h)=f((m+1)2)f(m2) \frac{f(h+2)}{f(h)} = \frac{f((m+1)^2)}{f(m^2)}
for sufficiently large mm and is thus also kk. Hence f(2h)=kh1f(2)f(2h) = k^{h-1}f(2) and f(2h+1)=khf(1)f(2h+1) = k^h f(1).

But
f(25)f(9)=f(25)f(23)f(11)f(9)=k8 \frac{f(25)}{f(9)} = \frac{f(25)}{f(23)} \cdots \frac{f(11)}{f(9)} = k^8
and
f(25)f(9)=f(25)f(16)f(16)f(9)=k2, \frac{f(25)}{f(9)} = \frac{f(25)}{f(16)} \cdot \frac{f(16)}{f(9)} = k^2,
so k=1k = 1 and f(16)=f(9)f(16) = f(9). This implies that f(2h+1)=f(1)=f(2)=f(2j)f(2h+1) = f(1) = f(2) = f(2j) for all j,hj, h, so ff is constant. From the original functional equation it is then clear that f(n)=1f(n) = 1 for all nNn \in \mathbb{N}.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.