论文信息 - The Three Gap Theorem (Steinhaus Conjecture)

The Three Gap Theorem (Steinhaus Conjecture)

We deal with the distribution of N points placed consecutively around the circle by a fixed angle of α. From the proof of Tony van Ravenstein, we propose a detailed proof of the Steinhaus conjecture whose result is the following: the N points partition the circle into gaps of at most three different lengths. We study the mathematical notions required for the proof of this theorem revealed during a formal proof carried out in Coq.

Micaela Mayero | Micaela Mayero

[1] John Robert Harrison,et al. Theorem proving with the real numbers , 1998, CPHC/BCS distinguished dissertations.

[2] E. Landau,et al. Foundations of analysis : the arithmetic of whole, rational, irrational, and complex numbers , 1966 .

[3] John H. Halton. The distribution of the sequence { n ξ}( n = 0, 1, 2, …) , 1965 .

[4] J. Dieudonné,et al. Fondements de l'analyse moderne , 1969 .

[5] V. Sós. On the theory of diophantine approximations. II (inhomogeneous problems) , 1958 .

[6] Micaela Mayero. The Three Gap Theorem : Specification and Proof in Coq , 1999 .

[7] A generalization of the three-distance theorem for groups , 1992 .

[8] N. B. Slater,et al. Gaps and steps for the sequence nθ mod 1 , 1967, Mathematical Proceedings of the Cambridge Philosophical Society.

[9] S. Swierczkowski. On successive settings of an arc on the circumference of a circle , 1958 .

[10] J. Dieudonné,et al. Éléments d'analyse , 1972 .

[11] Tony van Ravenstein. The Three Gap Theorem (Steinhaus Conjecture) , 1988, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[12] MA John Harrison PhD. Theorem Proving with the Real Numbers , 1998, Distinguished Dissertations.