Maths Olympiad Prep

Library / /168 of 348

Algebra Difficulty 4.9 AIME Find the answer

Let the sequence {ai}i=0\left\{a_{i}\right\}_{i=0}^{\infty} be defined by a0=12a_{0}=\frac{1}{2} and an=1+(an11)2a_{n}=1+\left(a_{n-1}-1\right)^{2}. Find the product i=0ai=a0a1a2\prod_{i=0}^{\infty} a_{i}=a_{0} a_{1} a_{2}

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

Solution

Let {bi}i=0\left\{b_{i}\right\}_{i=0}^{\infty} be defined by bn=an1b_{n}=a_{n}-1 and note that bn=bn12b_{n}=b_{n-1}^{2}. The infinite product is then (1+b0)(1+b02)(1+b04)(1+b02k)\left(1+b_{0}\right)\left(1+b_{0}^{2}\right)\left(1+b_{0}^{4}\right) \ldots\left(1+b_{0}^{2^{k}}\right) \ldots By the polynomial identity (1+x)(1+x2)(1+x4)(1+x2k)=1+x+x2+x3+=11x(1+x)\left(1+x^{2}\right)\left(1+x^{4}\right) \ldots\left(1+x^{2^{k}}\right) \cdots=1+x+x^{2}+x^{3}+\cdots=\frac{1}{1-x} Our desired product is then simply 11(a01)=23\frac{1}{1-\left(a_{0}-1\right)}=\frac{2}{3}

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.