Search arXiv⌕ Search

arXiv · 0705.3423

Annotations to a certain passage of Descartes for finding the quadrature of the circle

Abstract

Translation from the Latin of "Annotationes in locum quendam Cartesii ad circuli quadraturam spectantem" (1763). The passage Euler is referring to is the "Excerpta" in part 6, p. 6 of Descartes' 1701 "Opuscula posthuma". Before reading this paper I had not heard of the "quadratrix" before, and I recommend learning a bit about it before reading this. I found Thomas Heath, "A history of Greek mathematics", vol. I, chapter VII to be helpful, in particular pp. 226-230. The quadratrix is a "mechanical curve" that can be used to rectify the circle. The usual problem of squaring the circle is to construct a square with the same area (or perimeter) as a given circle, in a finite number of steps using compass and straightedge. Descartes worked in the reverse direction: from a given square he constructed the radius of a circle with the same perimeter, but in an infinite number of steps. In this paper Euler reconstructs Descartes' argument and develops some consequences of it. Euler finds that \[ \sum_{n=0}^\infty \frac{1}{2^n} \tan \frac{1}{2^n}ϕ= \frac{1}ϕ - 2\cot 2ϕ. \] Integrating this yields \[ \prod_{n=1}^\infty \sec \frac{1}{2^n} ϕ= \frac{2ϕ}{\sin 2ϕ}. \] I'd like to thank Davide Crippa from the University of Paris 7 for some helpful back and forth about this paper. One of the only citations to this paper that I have found is in Pietro Ferroni, De calculo integralium exercitatio mathematica, Allegrini, Florence, 1792, pp. xxi--xxiii. The full text of it is available on Google Books.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Leonhard Euler. 2009-04-08. Annotations to a certain passage of Descartes for finding the quadrature of the circle. https://arxiv.org/abs/0705.3423

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

What the submission does not show: Complexifying cognitive offloading in students' mathematical work with LLMs

A common concern is that using large language models (LLMs) lets students offload mathematical work that tasks are designed to elicit. Yet such claims often rest on outcomes (e.g., submitted solutions), rather than on evidence of students' work with LLMs. We followed 23 first-year linear algebra students as they solved three differently designed homework tasks with LLMs. Drawing on self-regulated learning and choice-affluent environments, we interpreted each of 429 prompts as a trace of a regulatory event and compared 59 chatlogs with the problem solutions the students submitted. Prompts formed five structures, casting the LLM mainly as a solver, explainer, or validator. The mix of structures shifted across the tasks, and ten of the 15 students who completed all three tasks changed their dominant structure. Most final submissions stayed close to LLM output, including those that followed exchanges in which students had explained, conjectured, and checked their own ideas. We conclude that an LLM-aided submission is not a trustworthy marker of students' offloading of the mathematical work, and that offloading needs to be examined in each regulatory space and part by part rather than as a whole.

math.HO↗

Will AI kill us all---or just make mathematicians obsolete?

AI's recent advances have fueled predictions of human intellectual obsolescence and fears for the future of mathematics. I argue that, impressive as these achievements are, they do not establish AI's capacity to invent new concepts and theories or sustain autonomous recursive self-improvement. Human intelligence also involves judgment, imagination, and embodied experience that standard measures fail to capture. Mathematics extends beyond proving theorems: its creative core lies in conceptual discovery and understanding. AI can strengthen this enterprise, but realizing its promise requires protecting attribution, open exchange, confidentiality, and mathematical training. I propose an academic AI consortium to provide powerful research tools with enforceable guarantees safeguarding unpublished ideas.

math.HO↗

A Vector-Algebraic Reconstruction of the Medieval Arab Formula for the Shadow of a Gnomon

We present a modern reconstruction of the classical formula, first derived by medieval Arab astronomers, that describes the trajectory of the tip of a gnomon's shadow during the day as a function of latitude, solar declination, and gnomon height. Unlike the traditional derivations based on spherical trigonometry, our approach uses only elementary vector algebra and rotation matrices. The same vector framework naturally extends to other classical relations used in sundial construction.

math.HO↗