olymmath

IMO 1997 Problem 6

  • Day 2

For each positive integer nn , let f(n)f(n) denote the number of ways of representing nn as a sum of powers of 2 with nonnegative integer exponents. Representations which differ only in the ordering of their summands are considered to be the same. For instance, f(4)=4f(4) = 4 , because the number 4 can be represented in the following four ways: 4; 2+2; 2+1+1; 1+1+1+1.

Prove that, for any integer n≥3n \geq 3 we have 2n24<f(2n)<2n222^{\frac {n^2}{4}} < f(2^n) < 2^{\frac {n^2}2} .

Official text Transcription from AI-MO AoPS, checked word for word against the official paper. Quoted with source.

Official text: IMO 1997 official English paper, page 2.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Locator imo/1997/p6 · Tag YDZREXG2MT · Edit this page on GitHub · Keys: j next, k previous