olymmath

ISL 2007 N4

    For every integer k≥2k \geq 2, prove that 23k2^{3 k} divides the number (2k+12k)−(2k2k−1)\left(\begin{array}{c} 2^{k+1} \\ 2^{k} \end{array}\right)-\left(\begin{array}{c} 2^{k} \\ 2^{k-1} \end{array}\right) but 23k+12^{3 k+1} does not. (Poland)

    Dataset text NuminaMath olympiads. Quoted with source.

    Official text: IMO 2007 Shortlist booklet, page 59.

    Solutions

    Official solution Solution 1 by the IMO Problem Selection Committee

    The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).

    Locator isl/2007/n4 · Tag DY1XN14PNM · Edit this page on GitHub · Keys: j next, k previous