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 1 of 5: Compare each digit weight
In plain words

A larger base gives a larger weight to every earlier digit.

a>bLongrightarrowanbkgebnakquad(0leklen)a>b\\Longrightarrow a^nb^k\\ge b^na^k\\quad(0\\le k\\le n)
Detailed analysis

If a>ba>b, then an−k≥bn−ka^{n-k}\ge b^{n-k} for every k≤nk\le n. Multiplying by the positive factor akbka^kb^k gives the displayed inequality, strict when k<nk<n.