Recent developments on S.P. numbers
Since writing the July 1998 NRICH article the outstanding question concerning S.P. numbers has been resolved. The questions concerning S.P. numbers were first raised by S. Parameswaran in the July 1997 issue (Volume 81) of the Mathematical Gazette. The March 1998 issue (Volume 82) of the Gazette contained four short articles (by six authors) in which it was shown that any S.P. number has at most 60 digits. In addition, S.P. numbers (whose definition is given in base 10) were studied in other bases.
Within the last two months, it has been proved that the only S.P. numbers are 0, 1, 135 and 144 (originally, only positive S.P. numbers were considered, but obviously 0 is also an S.P. number). The proofs (there are two of them) both require a computer to check a considerable number of cases, but this is not all for first it is necessary to reduce the number of cases so that a computer search is feasible (for example, one cannot check 10 60 cases in a reasonable time). These two proofs will be published in the March 1999 issue of the Mathematical Gazette. Independently Tom Sanders has written a very nice paper on the subject, well done Tom.
S.P. Numbers Continued
by Tom Sanders, age 16, Dr Challoner's Grammar School, Amersham
The NRICH July 1998 article by Dr Alan Beardon on S.P. numbers prompted some thought on my part which I thought I might share. I will assume from hereon in that anyone who has not found the remaining S.P. number will stop reading or have their fun spoilt. The article stipulated that it was conjectured that there were only 4 S.P. numbers namely 0, 1, 135 and 144. I have contrived a proof that there are at most finitely many S.P. numbers. Consider an ' n' digit number:
(1)
N.B.
for i = 2 to n (2) and
.
For z to be an S.P. number we have:
(a)
Let us also define:
and
.
We notice that
from (1) and (2). Now for (a) to hold none of a i as i ranges 1 to n can be 0. Thus we have the following statement:
This is because k is the smallest n digit number with no digits as 0.
(b) N.B. See Lemma 1 for proof.
Now we also known from Lemma 2 that the following is true:
Or stated another way
(c)
(c) helps bring Lemma 2 into context.
However we know that no digit in z can be greater than 9, so we have:
Solving this inequality for n is hard, however since we can only have an integral number of digits we know n is integral. It turns out that
, we know that the right hand side of the inequality must get larger than the left hand side eventually as n-->
since the R.H.S. is an exponential, and the L.H.S. is linear. The answer is in fact 83.7323 to 4 d.p. although I would be curious as to an analytic solution.
Lemma 1
We wish to prove that:
if a
1
It can be trivially applied to the problem.
Lemma 2
This is a very well known result called the A.M. G.M. inequality. It is well worth proving to yourself before considering the proof below, it actually warrants a discussion all of its own.
so x = 1 is a minimum and f(1)=0.
Hence we have:
for
Now put:
Where
and
Now we have
The proof above shows that an S.P. number must have less than 84 digits for it to be possible. Obviously this means that there are a finite number of S.P. numbers. It is not particularly helpful however in determining that there are only 4 S.P. numbers since it would take a long time to test all numbers up to those with 84 digits. I have considered some other approaches through the use of congruence arguments, in particular I was trying to make use of the expression:
Clearly if one of the digits of the S.P. number is divisible by three then 9 must divide the sum, vastly reducing the possible numbers. I also note that no even digit and any fives can be in a number for it to be an S.P. number. I would be very interested to hear about any other approaches.