Let n≥2 be an integer. Find all real numbers a such that there exist real numbers x1, …,xn satisfying x1(1−x2)=x2(1−x3)=…=xn−1(1−xn)=xn(1−x1)=a
A number or a short expression. Spacing and $ signs are ignored.
Solution
Throughout the solution we will use the notation xn+1=x1. We prove that the set of possible values of a is (−∞,41]⋃{4cos2nkπ1;k∈N,1≤k<2n} In the case a≤41 we can choose x1 such that x1(1−x1)=a and set x1=x2=…=xn. Hence we will now suppose that a>41. The system gives the recurrence formula xi+1=φ(xi)=1−xia=xixi−a,i=1,…,n The fractional linear transform φ can be interpreted as a projective transform of the real projective line R∪{∞}; the map φ is an element of the group PGL2(R), represented by the linear transform M=(11−a0). (Note that detM=0 since a=0.) The transform φn can be represented by Mn. A point [u,v] (written in homogenous coordinates) is a fixed point of this transform if and only if (u,v)T is an eigenvector of Mn. Since the entries of Mn and the coordinates u,v are real, the corresponding eigenvalue is real, too. The characteristic polynomial of M is x2−x+a, which has no real root for a>41. So M has two conjugate complex eigenvalues λ1.2=21(1±4a−1i). The eigenvalues of Mn are λ1,2n, they are real if and only if argλ1,2=±nkπ with some integer k; this is equivalent with ±4a−1=tannkπa=41(1+tan2nkπ)=4cos2nkπ1 If argλ1=nkπ then λ1n=λ2n, so the eigenvalues of Mn are equal. The eigenvalues of M are distinct, so M and Mn have two linearly independent eigenvectors. Hence, Mn is a multiple of the identity. This means that the projective transform φn is the identity; starting from an arbitrary point x1∈R∪{∞}, the cycle x1,x2,…,xn closes at xn+1=x1. There are only finitely many cycles x1,x2,…,xn containing the point ∞; all other cycles are solutions for the system.
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.