Maths Olympiad Prep

Library / HMMO /24 of 56

HMMO

Algebra Difficulty 5.3 AIME, harder Prove it United States

Problem:
For how many positive integers n≤1000n \leq 1000 does the equation in real numbers
x⌊x⌋=n x^{\lfloor x\rfloor}=n
have a positive solution for xx? (For a real number xx, ⌊x⌋\lfloor x\rfloor denotes the largest integer that is not greater than xx.)

Solution

Solution:
If ⌊x⌋=0\lfloor x\rfloor=0, then x⌊x⌋=1=1⌊1⌋x^{\lfloor x\rfloor}=1=1^{\lfloor 1\rfloor}, so we can safely ignore this case, as it does not introduce new solutions.
If ⌊x⌋=k\lfloor x\rfloor=k for some k>0k>0, x↦x⌊x⌋=xkx \mapsto x^{\lfloor x\rfloor}=x^{k} is a continuous and increasing function on the interval [k,k+1)[k, k+1). Therefore, the x⌊x⌋x^{\lfloor x\rfloor} can take on any value in [kk,(k+1)k)\left[k^{k},(k+1)^{k}\right) when ⌊x⌋=k\lfloor x\rfloor=k. Because 54<1000<555^{4}<1000<5^{5}, it suffices to count the number of integers in the interval [kk,(k+1)k)\left[k^{k},(k+1)^{k}\right) for 1≤k≤41 \leq k \leq 4.
Thus, the number of valid nn is simply
∑k=14(k+1)k−kk=(2−1)+(9−4)+(64−27)+(625−256)=412 \sum_{k=1}^{4}(k+1)^{k}-k^{k}=(2-1)+(9-4)+(64-27)+(625-256)=412

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.