MathLabs

Problem 2

Let a,b,n>1a,b,n>1 be integers and let a,ba,b be bases of two number systems. Using the same digits xn,…,x0x_n,\ldots,x_0, with xn≠0x_n\ne0 and xn−1≠0x_{n-1}\ne0, define An=xnxn−1⋯x0A_n=x_nx_{n-1}\cdots x_0 and An−1=xn−1⋯x0A_{n-1}=x_{n-1}\cdots x_0 in base aa, and Bn=xnxn−1⋯x0B_n=x_nx_{n-1}\cdots x_0 and Bn−1=xn−1⋯x0B_{n-1}=x_{n-1}\cdots x_0 in base bb. Prove that An−1An<Bn−1Bn\frac{A_{n-1}}{A_n}<\frac{B_{n-1}}{B_n} if and only if a>ba>b.
Step 5 of 5: Finish the iff statement
In plain words

The three possible orders of the bases exhaust all cases.

a=bRightarrowfracAn−1An=fracBn−1Bn;quada<bRightarrowfracAn−1An>fracBn−1Bna=b\\Rightarrow\\frac{A_{n-1}}{A_n}=\\frac{B_{n-1}}{B_n};\\quad a<b\\Rightarrow\\frac{A_{n-1}}{A_n}>\\frac{B_{n-1}}{B_n}
Detailed analysis

When a=ba=b, the representations are identical. When a<ba<b, exchange the roles of aa and bb in the proved direction, reversing the inequality.