Recursive definition of Minkowski ?(x) function

38 Views Asked by At

There is a fact that $?(\frac{a+b}{c+d}) = (?(\frac {a}{c}) + ?(\frac{b}{d})) / 2$ if a/c and b/d are adjanced elements of Farey sequence. How to prove it? I don't have any ideas at all.