From:stu30219@srv1.mail.uni-kiel.de (Stefan Bartels)Newsgroups:sci.math.researchSubject:Number theory proof of Curtiss is wrongDate:16 Jul 1996 10:52:23 GMTOrganization:Rechenzentrum Universitaet Kiel

Did anybody ever realize a bad mistake in the proof of Curtiss in his article "On Kellogg's Diophantine Problem", Amer. Math. Monthly, 29 (1922), pp. 380-387?

I don't think so, because Richard K. Guy in his book "Unsolved Problems in Number Theory", Springer 1994, pp. 162f., and even Erdös in his article "Comment on problem E2427", Amer. Math. Monthly, 81 (1974), pp. 780-782, not only cite Curtiss' article in their bibliography but also mention in their text explicitly him to have proved the result.

By Kellogg was the question raised, what the greatest
denominater in a representation of 1 as a sum of k unit-fractions
of integers (1 = sum^{k}_{n=1} 1/x_{n}) is.
He conjectured for the maximum of the x_{n}: x_{1}
= 1, x_{k+1} = x_{k} (x_{k} + 1). This
result was "proved" by Curtiss.

The mistake mentioned below is just concerning the proof and not the theorems of Curtiss, because Takenouchi in his article "On an Indeterminate Equation", Proc. of the Physico-Mathematical Society of Japan, 3rd series, vol. 3, pp. 78-92, proved something similar. Also Erdös in his article mentioned above says that he has proved a generalization of the theorem in his Hungrian article "On a Diophantine Equation", Mat. Lapok, 1 (1950), pp. 192-210.

To prove the theorem by the methods introduced by Curtiss one need (as I think and as I did) a lot more space than he did.

To understand the following you have to have the original article. I use "g" instead of "\varphi".

The mistake is on page 385. On page 384 he states the Theorem
III. To prove the theorem he starts with ** any set**
satisfying equation (11) and "shows" that a transformation by his
second method leads to a reduced set which also satisfies equation
(11). This statement is wrong: Consider the set (3,3,4), which is
obviously reduced. Thus the set (3,3) is satisfying equation (11).
By his second method he gains the set (2,6) which does not satisfy
equation (11) for f

His mistake is in the line "But since X is compact ...". He has
** two** sets X. The original set (x

Thus the Theorem III is not proven by Curtiss.

*Stefan Bartels*

From:stu30219@srv2.mail.uni-kiel.de (Bartels)Date:24 Oct 1996 15:06:25 GMTNewsgroups:sci.math.researchSubject:Maximums of sums of Egyptian fractions

In the book

Paul Erdös & Ronald L. Graham: "Old and New Problems and Results in Combinatorial Number Theory",L'Engseignement Mathematique Universite de Geneve, 1980

one can read on page 31:

It is true that for any rationala/b, the closest strict underapproximationRof_{n}(a/b)a/bby a sum ofnunit fractions is given byR_{n}(a/b) = R_{n-1}(a/b) +1/mwhere

mis the least denominator not yet used for whichR, provided that_{n}(a/b) < a/bnis sufficiently large.

The authors do not give any citation of the proof of this theorem. Does anybody know in which article it is proven or maybe know how it can be proven?

*Stefan Bartels*

From:gerry@mpce.mq.edu.au (Gerry Myerson)Date:25 Oct 1996 06:19:23 GMTNewsgroups:sci.math.researchSubject:Re: Maximums of sums of Egyptian fractions

In the case where the rational you are trying to approximate is 1 (one), see D. R. Curtiss, On Kellogg's diophantine problem, Amer. Math. Monthly 29 (1922) 380--387. However, Curtiss' proof, while entirely elementary, is not easy to follow and, according to a post to this group earlier this year, is incorrect.

A simpler proof is given by O. Izhboldin and L. Kurliandchik, Unit fractions, Proc. St. Petersburg Math. Soc. 3 (1995) 193--200. This appears in English translation in Amer. Math. Soc. Translations, Series 2, 166.

They say nothing about the general rational, and I have no opinion as to whether their methods generalize.

*Gerry Myerson* (gerry@mpce.mq.edu.au)

From:stu30219@srv2.mail.uni-kiel.de (Bartels)Date:30 Oct 1996 11:23:49 GMTNewsgroups:sci.math.researchSubject:Re: Maximums of sums of Egyptian fractions

This posting is a completion to the posting of Gerry Myerson (gerry@mpce.mq.edu.au) with two purposes:

- correction of my former statement concerning the proof of Curtiss and
- explaining my strong interest in the proof for Erdös' and Grahams theorem.

Gerry mentioned a "former posting" saying that the proof of
Curtiss is wrong. This posting was submitted to this newsgroup by
me in July. In the meantime I found out that the proof is
definitely right (but obviously difficult to understand). (Sorry
for that.) But this mistake (of me) led to a generalization of
Curtiss' theorem that has not been published elsewhere yet: The
best underapproximation of a rational *a/b* is given by the
greedy algorithm at least for the case *
b* = -1 mod *a*. (In the case *
a*=*b*=1 this is Curtiss' theorem; in the case *a*=1
this is a statement proved by Erdös in 1950.)

I was also able to prove that the methods Curtiss invented work
if and only if *b* = -1 mod *a*. But
there seem to be a lot more rationals for which the
underapproximation is given by the greedy algorithm. While trying
to characterize these rationals I came across the theorem of
Erdös and Graham, which I mentioned in my first posting on
this subject.

Any hint on the proof of this theorem would be helpful.

*Stefan Bartels*