Maths Olympiad Prep

Library / /278 of 520

Number theory Difficulty 6.1 National olympiad Prove it

11. Let f(n)f(n) be a function defined on the set of positive integers (called a number-theoretic function), and let F(n)=dnf(d)F(n)=\sum_{d \mid n} f(d). Prove: If for any (n1,n2)=1\left(n_{1}, n_{2}\right)=1 there must be f(n1n2)=f\left(n_{1} n_{2}\right)= f(n1)f(n2)f\left(n_{1}\right) f\left(n_{2}\right), then for any (n1,n2)=1\left(n_{1}, n_{2}\right)=1 there must also be
F(n1n2)=F(n1)F(n2)F\left(n_{1} n_{2}\right)=F\left(n_{1}\right) F\left(n_{2}\right)

Solution

11. dn=n1n2,(n1,n2)=1d \mid n=n_{1} n_{2},\left(n_{1}, n_{2}\right)=1 is a sufficient and necessary condition for
d=d1d2,d1=(d,n1),d2=(d,n2).d=d_{1} d_{2}, \quad d_{1}=\left(d, n_{1}\right), \quad d_{2}=\left(d, n_{2}\right) .

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.