Wiki
Wiki

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

Updated


Statement

Notation as on the Theorem 1 page.

Small values (p. 54). The paper says that one can easily verify

α(3)=13π,α(4)=12π,α(5)=35π,α(6)=α(7)=α(8)=23π,\alpha(3)=\tfrac13\pi,\quad\alpha(4)=\tfrac12\pi,\quad \alpha(5)=\tfrac35\pi,\quad\alpha(6)=\alpha(7)=\alpha(8)=\tfrac23\pi,

and that the strict inequality (3) holds for m=7m=7 and 88. For 3≤m≤63\le m\le6 the regular mm-gon is a configuration whose largest angle equals α(m)\alpha(m), so (3) fails there; the authors know of no other mm for which equality in (1) is needed.

Proof pointer

None in the paper: the values are asserted as easy to verify. The value α(8)=23π\alpha(8)=\tfrac23\pi with the strict inequality at m=8m=8 is also the case n=3n=3 of Theorem 1, and α(7)=23π\alpha(7)=\tfrac23\pi the case n=3n=3 of Theorem 3.

Read depth. Claims checked: the values and the remarks around them were read clause by clause on p. 54 of the print; the values were not independently verified. Nothing here is independently reviewed.

Source. P. Erdős and G. Szekeres, On some extremum problems in elementary geometry, Ann. Univ. Sci. Budapest. Eötvös Sect. Math. 3--4 (1960/1961), 53--62; the edition read is named on the source card.

Bears on

  • Problem 504: the values of αm\alpha_m for 3≤m≤83\le m\le8, asserted without proof except where Theorems 1 and 3 cover them.