MathDB
Product of x_k is equal to 1 - [IMO LongList 1971]

Source:

January 1, 2011
logarithmsalgebra proposedalgebra

Problem Statement

A system of n numbers x1,x2,,xnx_1, x_2, \ldots, x_n is given such that x1=logxn1xn,x2=logxnx1,,xn=logxn2xn1.x_1 = \log_{x_{n-1}} x_n, x_2 = \log_{x_{n}} x_1, \ldots, x_n = \log_{x_{n-2}} x_{n-1}. Prove that k=1nxk=1.\prod_{k=1}^n x_k =1.