Let n≥2 be an integer. An n-tuple (a1,a2,…,an) of not necessarily different positive integers is expensive if there exists a positive integer k such that (a1+a2)(a2+a3)…(an−1+an)(an+a1)=22k−1.
a) Find all integers n≥2 for which there exists an expensive n-tuple.b) Prove that for every odd positive integer m there exists an integer n≥2 such that m belongs to an expensive n-tuple.There are exactly n factors in the product on the left hand side.
number theoryequationEGMOEGMO 2017