IMO 1971 LL CUB12
A system of n numbers x1, x2, . . . , xn is given such that
IMO 1971 LL CUB12
Origin: CUB
Problem
A system of n numbers x1, x2, . . . , xn is given such that x1 = logxn−1 xn, x2 = logxn x1, . . . , xn = logxn−2 xn−1. Prove that $n k=1 xk = 1.