MathDB
2019 MOAA Team P8

Source:

January 23, 2022
algebrateam2019

Problem Statement

Suppose that (2)5+12+1×25+12+1×45+14+1×165+116+1=m7+32\frac{(\sqrt2)^5 + 1}{\sqrt2 + 1} \times \frac{2^5 + 1}{2 + 1} \times \frac{4^5 + 1}{4 + 1} \times \frac{16^5 + 1}{16 + 1} =\frac{m}{7 + 3\sqrt2} for some integer mm. How many 00’s are in the binary representation of mm? (For example, the number 20=10100220 = 10100_2 has three 00’s in its binary representation.)