MathDB

8

Part of 1979 IMO Shortlist

Problems(1)

Find f(x) for every rational x

Source: IMO LongList 1979 - P27

9/15/2010
For all rational xx satisfying 0≤x<10 \leq x < 1, the functions ff is defined by f(x)=\begin{cases}\frac{f(2x)}{4},&\mbox{for }0 \leq x < \frac 12,\\ \frac 34+ \frac{f(2x - 1)}{4}, & \mbox{for } \frac 12 \leq x < 1.\end{cases} Given that x=0.b1b2b3⋯x = 0.b_1b_2b_3 \cdots is the binary representation of xx, find, with proof, f(x)f(x).
algebrabinary representationfunctional equationfunctionIMO ShortlistIMO Longlist