Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Statement

Theorem 6 (p. 302). f3s(n)≤cn7/3f_3^s(n) \le cn^{7/3}.

In Section 3 (p. 299) the paper notes f3e(n)≤f3s(n)≤cn7/3f_3^e(n)\le f_3^s(n)\le cn^{7/3} for equilateral triangles in space; the second inequality is Theorem 6.

Notation. For distinct points X1,…,XnX_1,\ldots,X_n in kk-dimensional Euclidean space EkE_k, the paper writes fki(n)f_k^i(n), fke(n)f_k^e(n), fkc(n)f_k^c(n) and fks(n)f_k^s(n) for the largest possible number of isosceles triangles (congruent or not), of equilateral triangles, of pairwise congruent triangles and of pairwise similar triangles among them, the maximum taken over all choices of the nn points (pp. 291–292). Here cc, c1c_1, c2c_2 are positive constants, not necessarily the same at each occurrence (p. 291).

Source. P. Erdős and G. B. Purdy, Some extremal problems in geometry, III, Proceedings of the Sixth Southeastern Conference on Combinatorics, Graph Theory and Computing (Boca Raton, 1975), Congress. Numer. XIV, Utilitas Math., Winnipeg, 1975, pp. 291–308. The edition read is identified on the source card. Theorem 6 on p. 302, proof pp. 302–303.

Read depth. Claims checked: the statement was read clause by clause on the printed page.

Proof pointer

Fix a non-degenerate triangle ABCABC. For each pair Xi,XjX_i, X_j the third vertices of triangles similar to ABCABC lie on a bounded number of circles, so there are N≤cn2N\le cn^2 circles. Three points lie on at most one circle, so ∑(vi3)≤(n3)\sum\binom{v_i}{3}\le\binom n3 for the numbers viv_i of points on the circles, and convexity bounds 13∑vi\tfrac13\sum v_i by 23N+13{n(n−1)(n−2)}1/3N2/3≤cn7/3\tfrac23N+\tfrac13\{n(n-1)(n-2)\}^{1/3}N^{2/3}\le cn^{7/3} (p. 303).

Bears on

No Erdős problem page of the corpus cites this result.