Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. No nine points of form an isosceles set, a set in
which every three points determine an isosceles triangle. This is the
nine-point theorem of H. T. Croft, 9-point and 7-point configurations in
3-space, Proc. London Math. Soc. (3) 12 (1962), 400–424, with a corrigendum
in (3) 13 (1963), 384, the second paper link. Together with Kelly's
eight-point isosceles set in space it answers the space question of Monthly
problem E735, the least number of points that cannot be so arranged, which
is : the largest isosceles subset of has points, the
instance of Problem 503.
Ionin's paper of 2009, Section 1, records the theorem in these terms. Kido
proved in 2006 that Kelly's eight-point set is the only one up to
similarity, and Ionin's Section 5 gives a short proof of that uniqueness.
Covers. The instance of the problem, answered . The matching example is Kelly's, on his claim page.
Depends on. Kelly's claim page, whose eight-point set in space supplies the lower bound that makes the nine-point theorem an exact value.
Acceptance. The paper is refereed: Proceedings of the London Mathematical Society, third series, volume 12 (1962), with its corrigendum in volume 13 (1963), as the zbMATH record gives them. The site records the value for with this paper as its source while labeling the problem OPEN, so the curator's remark is context for this partial claim and not acceptance evidence. The page is dated to the publication year, the record giving no day.