Inscribed square problem: Difference between revisions
No edit summary |
We don't need two consecutive footnotes for the same paper; keep journal version with arXiv courtesy link |
||
| Line 50: | Line 50: | ||
One may ask whether other shapes can be inscribed into an arbitrary Jordan curve. It is known that for any triangle ''T'' and Jordan curve ''C'', there is a triangle similar to ''T'' and inscribed in ''C''.<ref>{{citation |last=Meyerson |first=Mark D. |year=1980 |title=Equilateral triangles and continuous curves |journal=Fundamenta Mathematicae |mr=600575 |volume=110 |issue=1 |pages=1–9 |doi=10.4064/fm-110-1-1-9|doi-access=free }}</ref><ref>{{citation |last1=Kronheimer |first1=E. H. |last2=Kronheimer |first2=P. B. |author2-link=Peter B. Kronheimer |year=1981 |title=The tripos problem |journal=Journal of the London Mathematical Society |series=Second Series |mr=623685 |doi=10.1112/jlms/s2-24.1.182 |volume=24 |issue=1 |pages=182–192}}</ref> Moreover, the set of the vertices of such triangles is [[dense set|dense]] in ''C''.<ref>{{citation |last=Nielsen |first=Mark J. |year=1992 |title=Triangles inscribed in simple closed curves |journal=Geometriae Dedicata |mr=1181760 |doi=10.1007/BF00151519 |volume=43 |issue=3 |pages=291–297}}</ref> In particular, there is always an inscribed [[equilateral triangle]]. |
One may ask whether other shapes can be inscribed into an arbitrary Jordan curve. It is known that for any triangle ''T'' and Jordan curve ''C'', there is a triangle similar to ''T'' and inscribed in ''C''.<ref>{{citation |last=Meyerson |first=Mark D. |year=1980 |title=Equilateral triangles and continuous curves |journal=Fundamenta Mathematicae |mr=600575 |volume=110 |issue=1 |pages=1–9 |doi=10.4064/fm-110-1-1-9|doi-access=free }}</ref><ref>{{citation |last1=Kronheimer |first1=E. H. |last2=Kronheimer |first2=P. B. |author2-link=Peter B. Kronheimer |year=1981 |title=The tripos problem |journal=Journal of the London Mathematical Society |series=Second Series |mr=623685 |doi=10.1112/jlms/s2-24.1.182 |volume=24 |issue=1 |pages=182–192}}</ref> Moreover, the set of the vertices of such triangles is [[dense set|dense]] in ''C''.<ref>{{citation |last=Nielsen |first=Mark J. |year=1992 |title=Triangles inscribed in simple closed curves |journal=Geometriae Dedicata |mr=1181760 |doi=10.1007/BF00151519 |volume=43 |issue=3 |pages=291–297}}</ref> In particular, there is always an inscribed [[equilateral triangle]]. |
||
It is also known that any Jordan curve admits an inscribed [[rectangle]]. In 2020, Morales and Villanueva characterized locally connected plane continua that admit at least one inscribed rectangle.<ref name="morales-villanueva">{{citation |last1=Morales-Fuentes |first1=Ulises |last2=Villanueva-Segovia |first2=Cristina |title=Rectangles Inscribed in Locally Connected Plane Continua |journal=Topology Proceedings |date=2021 |volume=58 |pages=37-43}}</ref> In 2020, Joshua Evan Greene and Andrew Lobb proved that for every smooth Jordan curve {{mvar|C}} and rectangle ''R'' in the Euclidean plane there exists a rectangle similar to ''R'' whose vertices lie on ''C''. This generalizes both the existence of rectangles (of arbitrary shape) and the existence of squares on smooth curves, which has been known since the work of {{harvtxt|Šnirel'man|1944}}.<ref name=hartnett>{{citation|last=Hartnett|first=Kevin|title=New geometric perspective cracks old problem about rectangles|url=https://www.quantamagazine.org/new-geometric-perspective-cracks-old-problem-about-rectangles-20200625/|access-date=2020-06-26|magazine=Quanta Magazine|date=June 25, 2020 |
It is also known that any Jordan curve admits an inscribed [[rectangle]]. In 2020, Morales and Villanueva characterized locally connected plane continua that admit at least one inscribed rectangle.<ref name="morales-villanueva">{{citation |last1=Morales-Fuentes |first1=Ulises |last2=Villanueva-Segovia |first2=Cristina |title=Rectangles Inscribed in Locally Connected Plane Continua |journal=Topology Proceedings |date=2021 |volume=58 |pages=37-43}}</ref> In 2020, Joshua Evan Greene and Andrew Lobb proved that for every smooth Jordan curve {{mvar|C}} and rectangle ''R'' in the Euclidean plane there exists a rectangle similar to ''R'' whose vertices lie on ''C''. This generalizes both the existence of rectangles (of arbitrary shape) and the existence of squares on smooth curves, which has been known since the work of {{harvtxt|Šnirel'man|1944}}.<ref name=hartnett>{{citation|last=Hartnett|first=Kevin|title=New geometric perspective cracks old problem about rectangles|url=https://www.quantamagazine.org/new-geometric-perspective-cracks-old-problem-about-rectangles-20200625/|access-date=2020-06-26|magazine=Quanta Magazine|date=June 25, 2020}}</ref><ref>{{cite journal |last1=Greene |first1=Joshua Evan |last2=Lobb |first2=Andrew |title=The rectangular peg problem |journal=Annals of Mathematics |date=September 2021 |volume=194 |issue=2 |pages=509-517 |doi=10.4007/annals.2021.194.2.4|arxiv=2005.09193}}</ref> |
||
Some generalizations of the inscribed square problem consider inscribed polygons for curves and even more general [[continuum (topology)|continua]] in higher dimensional [[Euclidean space]]s. For example, Stromquist proved that every continuous closed curve ''C'' in '''R'''<sup>''n''</sup> satisfying "Condition A" that no two chords of ''C'' in a suitable neighborhood of any point are perpendicular admits an inscribed quadrilateral with equal sides and equal diagonals.<ref name="stromquist"/> This class of curves includes all ''C''<sup>2</sup> curves. Nielsen and Wright proved that any symmetric continuum ''K'' in '''R'''<sup>''n''</sup> contains many inscribed rectangles.<ref name="nielsen-wright"/> H.W. Guggenheimer proved that every hypersurface ''C''<sup>3</sup>-[[diffeomorphic]] to the [[n-sphere|sphere]] ''S''<sup>''n''−1</sup> contains 2<sup>''n''</sup> vertices of a regular Euclidean [[n-cube|''n''-cube]].<ref>{{citation |last=Guggenheimer |first=H. |year=1965 |title=Finite sets on curves and surfaces |journal=[[Israel Journal of Mathematics]] |doi=10.1007/BF02760036 |doi-access=free |mr=0188898 |volume=3 |issue=2 |pages=104–112}}</ref> |
Some generalizations of the inscribed square problem consider inscribed polygons for curves and even more general [[continuum (topology)|continua]] in higher dimensional [[Euclidean space]]s. For example, Stromquist proved that every continuous closed curve ''C'' in '''R'''<sup>''n''</sup> satisfying "Condition A" that no two chords of ''C'' in a suitable neighborhood of any point are perpendicular admits an inscribed quadrilateral with equal sides and equal diagonals.<ref name="stromquist"/> This class of curves includes all ''C''<sup>2</sup> curves. Nielsen and Wright proved that any symmetric continuum ''K'' in '''R'''<sup>''n''</sup> contains many inscribed rectangles.<ref name="nielsen-wright"/> H.W. Guggenheimer proved that every hypersurface ''C''<sup>3</sup>-[[diffeomorphic]] to the [[n-sphere|sphere]] ''S''<sup>''n''−1</sup> contains 2<sup>''n''</sup> vertices of a regular Euclidean [[n-cube|''n''-cube]].<ref>{{citation |last=Guggenheimer |first=H. |year=1965 |title=Finite sets on curves and surfaces |journal=[[Israel Journal of Mathematics]] |doi=10.1007/BF02760036 |doi-access=free |mr=0188898 |volume=3 |issue=2 |pages=104–112}}</ref> |
||
Revision as of 07:05, 18 August 2021
The inscribed square problem, also known as the square peg problem or the Toeplitz' conjecture, is an unsolved question in geometry: Does every plane simple closed curve contain all four vertices of some square? This is true if the curve is convex or piecewise smooth and in other special cases. The problem was proposed by Otto Toeplitz in 1911.[1] Some early positive results were obtained by Arnold Emch[2] and Lev Schnirelmann.[3] As of 2020[update], the general case remains open.[4]
Problem statement
Let C be a Jordan curve. A polygon P is inscribed in C if all vertices of P belong to C. The inscribed square problem asks:
- Does every Jordan curve admit an inscribed square?
It is not required that the vertices of the square appear along the curve in any particular order.
Examples
Some figures, such as circles and squares, admit infinitely many inscribed squares. If C is an obtuse triangle then it admits exactly one inscribed square; right triangles admit exactly two, and acute triangles admit exactly three.[5]
Resolved cases
It is tempting to attempt to solve the inscribed square problem by proving that a special class of well-behaved curves always contains an inscribed square, and then to approximate an arbitrary curve by a sequence of well-behaved curves and infer that there still exists an inscribed square as a limit of squares inscribed in the curves of the sequence. One reason this argument has not been carried out to completion is that the limit of a sequence of squares may be a single point rather than itself being a square. Nevertheless, many special cases of curves are now known to have an inscribed square.[6]
Piecewise analytic curves
Arnold Emch (1916) showed that piecewise analytic curves always have inscribed squares. In particular this is true for polygons. Emch's proof considers the curves traced out by the midpoints of secant line segments to the curve, parallel to a given line. He shows that, when these curves are intersected with the curves generated in the same way for a perpendicular family of secants, there are an odd number of crossings. Therefore, there always exists at least one crossing, which forms the center of a rhombus inscribed in the given curve. By rotating the two perpendicular lines continuously through a right angle, and applying the intermediate value theorem, he shows that at least one of these rhombi is a square.[6]
Locally monotone curves
Stromquist has proved that every local monotone plane simple curve admits an inscribed square.[7] The condition for the admission to happen is that for any point p, the curve C should be locally represented as a graph of a function y=f(x).
In more precise terms, for any given point p on C, there is a neighborhood U(p) and a fixed direction n(p) (the direction of the “y-axis”) such that no chord of C -in this neighborhood- is parallel to n(p).
Locally monotone curves include all types of polygons, all closed convex curves, and all piecewise C1 curves without any cusps.
Curves without special trapezoids
An even weaker condition on the curve than local monotonicity is that, for some ε > 0, the curve does not have any inscribed special trapezoids of size ε. A special trapezoid is an isosceles trapezoid with three equal sides, each longer than the fourth side, inscribed in the curve with a vertex ordering consistent with the clockwise ordering of the curve itself. Its size is the length of the part of the curve that extends around the three equal sides. If there are no such trapezoids (or an even number of them), the limiting argument for general curves can be carried to completion, showing that curves with this property always have an inscribed square.[6]
Curves in annuli
If a Jordan curve is inscribed in an annulus whose outer radius is at most 1 + √2 times its inner radius, and it is drawn in such a way that it separates the inner circle of the annulus from the outer circle, then it contains an inscribed square. In this case, if the given curve is approximated by some well-behaved curve, then any large squares that contain the center of the annulus and are inscribed in the approximation are topologically separated from smaller inscribed squares that do not contain the center. The limit of a sequence of large squares must again be a large square, rather than a degenerate point, so the limiting argument may be used.[6]
Symmetric curves
The affirmative answer is also known for centrally symmetric curves, even fractals such as the Koch snowflake, and curves with reflective symmetry across a line.[8]
Lipschitz graphs
In 2017, Terence Tao published a proof of the existence of a square in curves formed by the union of the graphs of two functions, both of which have the same value at the endpoints of the curves and both of which obey a Lipschitz continuity condition with Lipschitz constant less than one. Tao also formulated several related conjectures.[9]
Variants and generalizations
One may ask whether other shapes can be inscribed into an arbitrary Jordan curve. It is known that for any triangle T and Jordan curve C, there is a triangle similar to T and inscribed in C.[10][11] Moreover, the set of the vertices of such triangles is dense in C.[12] In particular, there is always an inscribed equilateral triangle.
It is also known that any Jordan curve admits an inscribed rectangle. In 2020, Morales and Villanueva characterized locally connected plane continua that admit at least one inscribed rectangle.[13] In 2020, Joshua Evan Greene and Andrew Lobb proved that for every smooth Jordan curve C and rectangle R in the Euclidean plane there exists a rectangle similar to R whose vertices lie on C. This generalizes both the existence of rectangles (of arbitrary shape) and the existence of squares on smooth curves, which has been known since the work of Šnirel'man (1944).[4][14]
Some generalizations of the inscribed square problem consider inscribed polygons for curves and even more general continua in higher dimensional Euclidean spaces. For example, Stromquist proved that every continuous closed curve C in Rn satisfying "Condition A" that no two chords of C in a suitable neighborhood of any point are perpendicular admits an inscribed quadrilateral with equal sides and equal diagonals.[7] This class of curves includes all C2 curves. Nielsen and Wright proved that any symmetric continuum K in Rn contains many inscribed rectangles.[8] H.W. Guggenheimer proved that every hypersurface C3-diffeomorphic to the sphere Sn−1 contains 2n vertices of a regular Euclidean n-cube.[15]
References
- ^ Toeplitz, O. (1911), "Über einige Aufgaben der Analysis situs", Verhandlungen der Schweizerischen Naturforschenden Gesellschaft (in German), 94: 197
- ^ Emch, Arnold (1916), "On some properties of the medians of closed continuous curves formed by analytic arcs", American Journal of Mathematics, 38 (1): 6–18, doi:10.2307/2370541, JSTOR 2370541, MR 1506274
- ^ Šnirel'man, L. G. (1944), "On certain geometrical properties of closed curves", Akademiya Nauk SSSR I Moskovskoe Matematicheskoe Obshchestvo. Uspekhi Matematicheskikh Nauk, 10: 34–44, MR 0012531
- ^ a b Hartnett, Kevin (June 25, 2020), "New geometric perspective cracks old problem about rectangles", Quanta Magazine, retrieved 2020-06-26
- ^ Bailey, Herbert; DeTemple, Duane (1998), "Squares inscribed in angles and triangles", Mathematics Magazine, 71 (4): 278–284, doi:10.2307/2690699, JSTOR 2690699
- ^ a b c d Matschke, Benjamin (2014), "A survey on the square peg problem", Notices of the American Mathematical Society, 61 (4): 346–352, doi:10.1090/noti1100
- ^ a b Stromquist, Walter (1989), "Inscribed squares and square-like quadrilaterals in closed curves", Mathematika, 36 (2): 187–197, doi:10.1112/S0025579300013061, MR 1045781
- ^ a b Nielsen, Mark J.; Wright, S. E. (1995), "Rectangles inscribed in symmetric continua", Geometriae Dedicata, 56 (3): 285–297, doi:10.1007/BF01263570, MR 1340790
- ^ Tao, Terence (2017), "An integration approach to the Toeplitz square peg problem", Forum of Mathematics, 5: e30, doi:10.1017/fms.2017.23, MR 3731730; see also Tao's blog post on the same set of results
- ^ Meyerson, Mark D. (1980), "Equilateral triangles and continuous curves", Fundamenta Mathematicae, 110 (1): 1–9, doi:10.4064/fm-110-1-1-9, MR 0600575
- ^ Kronheimer, E. H.; Kronheimer, P. B. (1981), "The tripos problem", Journal of the London Mathematical Society, Second Series, 24 (1): 182–192, doi:10.1112/jlms/s2-24.1.182, MR 0623685
- ^ Nielsen, Mark J. (1992), "Triangles inscribed in simple closed curves", Geometriae Dedicata, 43 (3): 291–297, doi:10.1007/BF00151519, MR 1181760
- ^ Morales-Fuentes, Ulises; Villanueva-Segovia, Cristina (2021), "Rectangles Inscribed in Locally Connected Plane Continua", Topology Proceedings, 58: 37–43
- ^ Greene, Joshua Evan; Lobb, Andrew (September 2021). "The rectangular peg problem". Annals of Mathematics. 194 (2): 509–517. arXiv:2005.09193. doi:10.4007/annals.2021.194.2.4.
- ^ Guggenheimer, H. (1965), "Finite sets on curves and surfaces", Israel Journal of Mathematics, 3 (2): 104–112, doi:10.1007/BF02760036, MR 0188898
Further reading
- Klee, Victor; Wagon, Stan (1991), "Inscribed squares", Old and New Unsolved Problems in Plane Geometry and Number Theory, The Dolciani Mathematical Expositions, vol. 11, Cambridge University Press, pp. 58–65, 137–144, ISBN 978-0-88385-315-3
External links
- Mark J. Nielsen, Figures Inscribed in Curves. A short tour of an old problem
- Inscribed squares: Denne speaks at Jordan Ellenberg's blog
- Grant Sanderson, Who cares about topology? (Inscribed rectangle problem), 3Blue1Brown, YouTube a – video showing a topological solution to a simplified version of the problem.