## You are here

Homeproof that number of sum-product numbers in any base is finite

## Primary tabs

# proof that number of sum-product numbers in any base is finite

Let $b$ be the base of numeration.

Suppose that an integer $n$ has $m$ digits when expressed in base $b$ (not counting leading zeros, of course). Then $n\geq b^{{m-1}}$.

Since each digit is at most $b-1$, we have that the sum of the digits is at most $m(b-1)$ and the product is at most $(b-1)^{m}$, hence the sum of the digits of $n$ times the product of the digits of $n$ is at most $m(b-1)^{{m+1}}$.

If $n$ is a sum-product number, then $n$ equals the sum of its digits times the product of its digits. In light of the inequalities of the last two paragraphs, this implies that $m(b-1)^{{m+1}}\geq n\geq b^{{m-1}}$, so $m(b-1)^{{m+1}}\geq b^{{m-1}}$. Dividing both sides, we obtain $(b-1)^{2}m\geq(b/(b-1))^{{m-1}}$. By the growth of exponential function, there can only be a finite number of values of $m$ for which this is true. Hence, there is a finite limit to the number of digits of $n$, so there can only be a finite number of sum-product numbers to any given base $b$.

## Mathematics Subject Classification

11A63*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia