Browse · MathNet
PrintXVII OBM
Brazil algebra
Problem
Find all real-valued functions on the positive integers such that for all integer , and for all integers .
Solution
The condition allows to make all computations modulo , which is a prime number. Hence the problem asks the number of multiplicative functions in .
Two such functions are and . From now on suppose is different from these two functions.
Substituting , ; substituting , . By Euler-Fermat's theorem, so .
Now let be a primitive root of (that is, such that the least positive integer such that is ). So every in can be written as for some . Then . If then if divides and otherwise; if then if divides , if is a quadratic residue modulo (such residues are ) and otherwise.
Two such functions are and . From now on suppose is different from these two functions.
Substituting , ; substituting , . By Euler-Fermat's theorem, so .
Now let be a primitive root of (that is, such that the least positive integer such that is ). So every in can be written as for some . Then . If then if divides and otherwise; if then if divides , if is a quadratic residue modulo (such residues are ) and otherwise.
Final answer
All solutions f: N -> R are exactly the following four functions (with p = 1019): 1) f(n) = 0 for all n. 2) f(n) = 1 for all n. 3) The principal character modulo p: f(n) = 0 if p divides n, and f(n) = 1 otherwise. 4) The quadratic character modulo p: f(n) = 0 if p divides n; if not, then f(n) = 1 when n is a quadratic residue modulo p and f(n) = -1 otherwise (equivalently, f(n) = (n/p), the Legendre symbol).
Techniques
Functional EquationsFermat / Euler / Wilson theoremsPrimitive roots mod p / p^nQuadratic residues