Can the quadratrix truly square the circle?
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917699623321600 |
|---|---|
| author | Cruz, Luis Koshkin, Sergiy |
| author_facet | Cruz, Luis Koshkin, Sergiy |
| contents | The quadratrix received its name from the circle quadrature, squaring the circle, but it only solves it if completed by taking a limit, as pointed out already in antiquity. We ask if it can square the circle without limits and restrict its use accordingly, to converting ratios of angles and segments into each other. The problem is then translated into algebra by analogy to straightedge and compass constructions, and leads to an open question in transcendental number theory. In particular, Lindemann's impossibility result no longer suffices, and the answer depends on whether $π$ belongs to the analog of Ritt's exponential-logarithmic field with an algebraic base. We then derive that it does not from the well-known Schanuel conjecture. Thus, the quadratrix so restricted cannot square the circle after all. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_14032 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Can the quadratrix truly square the circle? Cruz, Luis Koshkin, Sergiy Number Theory Metric Geometry Rings and Algebras 51M15, 11J81, 11U09, 01A20 The quadratrix received its name from the circle quadrature, squaring the circle, but it only solves it if completed by taking a limit, as pointed out already in antiquity. We ask if it can square the circle without limits and restrict its use accordingly, to converting ratios of angles and segments into each other. The problem is then translated into algebra by analogy to straightedge and compass constructions, and leads to an open question in transcendental number theory. In particular, Lindemann's impossibility result no longer suffices, and the answer depends on whether $π$ belongs to the analog of Ritt's exponential-logarithmic field with an algebraic base. We then derive that it does not from the well-known Schanuel conjecture. Thus, the quadratrix so restricted cannot square the circle after all. |
| title | Can the quadratrix truly square the circle? |
| topic | Number Theory Metric Geometry Rings and Algebras 51M15, 11J81, 11U09, 01A20 |
| url | https://arxiv.org/abs/2406.14032 |