MathDB
Piraldo's soccer matches

Source: Brazilian Math Olympiad 2006, Problem 6

October 30, 2006
algebra unsolvedgeometric sequencefloor function

Problem Statement

Professor Piraldo takes part in soccer matches with a lot of goals and judges a match in his own peculiar way. A match with score of mm goals to nn goals, mnm\geq n, is tough when mf(n)m\leq f(n), where f(n)f(n) is defined by f(0)=0f(0) = 0 and, for n1n \geq 1, f(n)=2nf(r)+rf(n) = 2n-f(r)+r, where rr is the largest integer such that r<nr < n and f(r)nf(r) \leq n. Let ϕ=1+52\phi ={1+\sqrt 5\over 2}. Prove that a match with score of mm goals to nn, mnm\geq n, is tough if mϕnm\leq \phi n and is not tough if mϕn+1m \geq \phi n+1.