Maths Olympiad Prep

Library / /268 of 348

Combinatorics Difficulty 5.0 AIME, harder Find the answer

Ashwin the frog is traveling on the xyx y-plane in a series of 2201712^{2017}-1 steps, starting at the origin. At the nth n^{\text {th }} step, if nn is odd, then Ashwin jumps one unit to the right. If nn is even, then Ashwin jumps mm units up, where mm is the greatest integer such that 2m2^{m} divides nn. If Ashwin begins at the origin, what is the area of the polygon bounded by Ashwin's path, the line x=22016x=2^{2016}, and the xx-axis?

A number or a short expression. Spacing and $ signs are ignored.

Solution

Notice that since v2(x)=v2(22017x)v_{2}(x)=v_{2}\left(2^{2017}-x\right), the path divides the rectangle bonded by the coordinate axes and the two lines passing through Ashwin's final location parallel to the axes. The answer is therefore half of the product of the coordinates of Ashwin's final coordinates. The xx-coordinate is the number of odd number steps (which is 220162^{2016} ). The yy-coordinate is the number of total powers of 2 in (220171)\left(2^{2017}-1\right) !. The final answer is therefore 22015(220172018)2^{2015} \cdot\left(2^{2017}-2018\right).

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.