http://arxiv.org/api/yIxtgZF+WsEm3JsQDauulbHJIE4 2025-04-22T00:00:00-04:00 3862 30 15 http://arxiv.org/abs/2403.20207v2 2025-03-24T18:45:56Z 2024-03-29T14:41:18Z

Consider the rectangular triangle with sides with length 1 and 1, then the oblique side has length square root of 2. Now construct on top of the oblique side, a new rectangular triangle with the oblique side as rectangle side and a second rectangle side of length 1. Continue this process indefinitely, what you get is called "the spiral of Theodorus". Now the question is: Can there be two hypothenusa (oblique sides) which lie on the same line? Apparently there can't. A proof of this proposition was given in 1958, but to our knowledge no other proofs are available. Since we had no access to the journal, we wanted to prove it again.

Frederik Stouten The proof in the paper contains an error which I do not know how to correct. Therefore a replacement version will not be available. The error occurs at the last line of the proof where the imaginary part is computed http://arxiv.org/abs/2503.17889v1 2025-03-23T00:05:25Z 2025-03-23T00:05:25Z

Suppose you drop a coin from 10 feet above the ground. How long does it take to reach the ground? This routine exercise is well-known to every AP physics and calculus student: the answer is given by a formula that assumes constant acceleration due to gravity. But what if you ask the same question in the more realistic scenario of non-constant acceleration following an inverse square law? In this article, we explain the analysis of this realistic scenario using freshman-level calculus and examine some implications. As a bonus, we also answer the following intriguing question: Suppose the Earth were to instantaneously collapse to a mathematical point at its center. How long would it take for us surface dwellers to fall to the center?

Anindya Sen Sunil Chebolu 10.1080/07468342.2024.2419794 8 pages, to appear in The College Mathematics Journal http://arxiv.org/abs/2503.16684v1 2025-03-20T20:02:45Z 2025-03-20T20:02:45Z

In this paper, we reconstruct Euclid's theory of similar triangles, as developed in Book VI of the \textit{Elements}, along with its 20th-century counterparts, formulated within the systems of Hilbert, Birkhoff, Borsuk and Szmielew, Millman and Parker, as well as Hartshorne. In the final sections, we present recent developments concerning non-Archimedean fields and mechanized proofs. Thales' theorem (VI.2) serves as the reference point in our comparisons. It forms the basis of Euclid's system and follows from VI.1 the only proposition within the theory of similar triangles that explicitly applies the definition of proportion. Instead of the ancient proportion, modern systems adopt the arithmetic of line segments or real numbers. Accordingly, they adopt other propositions from Euclid's Book VI, such as VI.4, VI.6, or VI.9, as a basis. In {\S}\,10, we present a system that, while meeting modern criteria of rigor, reconstructs Euclid's theory and mimics its deductive structure, beginning with VI.1. This system extends to automated proofs of Euclid's propositions from Book VI. Systems relying on real numbers provide the foundation for trigonometry as applied in modern mathematics. In {\S}\,9, we prove Thales' theorem in geometry over the hyperreal numbers. Just as Hilbert managed to prove Thales' theorem without referencing the Archimedean axiom, so do we by applying the arithmetic of the non-Archimedean field of hyperreal numbers.

Piotr Błaszczyk Anna Petiurenko http://arxiv.org/abs/2410.03702v2 2025-03-17T15:51:13Z 2024-09-24T13:45:27Z

One of the central topics in extremal graph theory is the study of the function $ex(n,H)$, which represents the maximum number of edges a graph with $n$ vertices can have while avoiding a fixed graph $H$ as a subgraph. Tur{\'a}n provided a complete characterization for the case when $H$ is a complete graph on $r$ vertices. Erd{\H o}s, Stone, and Simonovits extended Tur{\'a}n's result to arbitrary graphs $H$ with $\chi(H) > 2$ (chromatic number greater than 2). However, determining the asymptotics of $ex(n, H)$ for bipartite graphs $H$ remains a widely open problem. A classical example of this is Zarankiewicz's problem, which asks for the asymptotics of $ex(n, K_{t,t})$. In this paper, we survey Zarankiewicz's problem, with a focus on graphs that arise from geometry. Incidence geometry, in particular, can be viewed as a manifestation of Zarankiewicz's problem in geometrically defined graphs.

Shakhar Smorodinsky http://arxiv.org/abs/2503.13293v1 2025-03-17T15:40:12Z 2025-03-17T15:40:12Z

This note is the transcription of an interview with Professor Luigi Rodino, on the occasion of the ISAAC-ICMAM Conference of Analysis in Developing Countries (December 2, 2024 - Bogot\`a), that was dedicated to him. Luigi Rodino is at present Emeritus Professor at the University of Turin, and a member of the Accademia delle Scienze di Torino.

Fabio Nicola 7 pages, 3 figures http://arxiv.org/abs/2502.14811v2 2025-03-16T16:57:20Z 2025-02-20T18:34:04Z

Abraham Robinson's philosophical stance has been the subject of several recent studies. Erhardt following Gaifman claims that Robinson was a finitist, and that there is a tension between his philosophical position and his actual mathematical output. We present evidence in Robinson's writing that he is more accurately described as adhering to the philosophical approach of Formalism. Furthermore, we show that Robinson explicitly argued {against} certain finitist positions in his philosophical writings. There is no tension between Robinson's mathematical work and his philosophy because mathematics and metamathematics are distinct fields: Robinson advocates finitism for metamathematics but no such restriction for mathematics. We show that Erhardt's analysis is marred by historical errors, by routine conflation of the generic and the technical meaning of several key terms, and by a philosophical {parti pris}. Robinson's Formalism remains a viable alternative to mathematical Platonism.

Mikhail G. Katz Karl Kuhlemann Sam Sanders David Sherry 10.1007/s10838-025-09726-8 29 pages. To appear, in abridged form, in the Journal for General Philosophy of Science http://arxiv.org/abs/2503.13536v1 2025-03-15T14:48:51Z 2025-03-15T14:48:51Z

This paper provides an overview of Lawvere's Fixed-Point Theorem in category theory and aims to detail the universal framework underlying self-reference and recursive structures. First, we rigorously define fundamental concepts - such as terminal objects, products, Cartesian Closed Categories, exponential objects, evaluation maps, currying, and point-surjective morphisms - and explain their intuitive meanings through concrete examples and commutative diagrams. Based on these foundational notions, we derive key lemmas (the universality of currying, the diagonal lemma, and the fixed-point construction lemma) and integrate them to develop a proof of Lawvere's Fixed-Point Theorem. Furthermore, we discuss the impact of this theorem on fixed-point combinators in programming languages, type theory, and homotopy type theory, as well as current research trends and open problems. In doing so, we clarify how the abstract principle of self-reference contributes to a wide range of applications in both mathematics and computational theory.

Joaquim Reizi Barreto 29 pages, 1 figure, and supplementary appendices http://arxiv.org/abs/2503.22694v1 2025-03-14T08:59:22Z 2025-03-14T08:59:22Z

We examine connections between the mathematics behind methods of drawing geographical maps due, on the one hand to Marinos and Ptolemy (1st-2nd c. CE) and Delisle and Euler (18th century). A recent work by the first two authors of this article shows that these methods are the best among a collection of geographical maps we term ``conical''. This is an example of an instance where after practitioners and craftsmen (here, geographers) have used a certain tool during several centuries, mathematicians prove that this tool is indeed optimal. Many connections among geography, astronomy and geometry are highlighted.The fact that the Marinos-Ptolemy and the Delisle-Euler methods of drawing geographical maps share many non-trivial properties is an important instance of historical continuity in mathematics.

Hideki Miyachi IRMA Ken'Ichi Ohshika IRMA Athanase Papadopoulos IRMA http://arxiv.org/abs/2503.10320v1 2025-03-13T12:54:49Z 2025-03-13T12:54:49Z

Cellular Automata (CA) are commonly investigated as a particular type of dynamical systems, defined by shift-invariant local rules. In this paper, we consider instead CA as algebraic systems, focusing on the combinatorial designs induced by their short-term behavior. Specifically, we review the main results published in the literature concerning the construction of mutually orthogonal Latin squares via bipermutive CA, considering both the linear and nonlinear cases. We then survey some significant applications of these results to cryptography, and conclude with a discussion of open problems to be addressed in future research on CA-based combinatorial designs.

Luca Manzoni Luca Mariot Giuliamaria Menara 35 pages, 8 figures http://arxiv.org/abs/2503.22690v1 2025-03-13T10:38:34Z 2025-03-13T10:38:34Z

Elementary school students sometimes exhibit deplorable behaviors when faced with arithmetic problems. These behaviors may result from certain teaching practices and could be mitigated by a few actions that are relatively easy to implement in the classroom. We propose four avenues focusing on the choice and formulation of problems and the clarification of elements of the didactical contract.

Magali Hersant CREN, Nantes univ - INSPE Yves Thomas in French language Grand N, Revue de math{\'e}matiques, de sciences et technologie pour les ma{\^i}tres de l'enseignement primaire, 2024, 114, pp.27-43 http://arxiv.org/abs/2501.01193v2 2025-03-13T10:34:29Z 2025-01-02T11:04:31Z

We contribute to the lively debate in current scholarship on the Leibnizian calculus. In a recent text, Arthur and Rabouin argue that non-Archimedean continua are incompatible with Leibniz's concepts of number, quantity and magnitude. They allege that Leibniz viewed infinitesimals as contradictory, and claim to deduce such a conclusion from an analysis of the Leibnizian definition of quantity. However, their argument is marred by numerous errors, deliberate omissions, and misrepresentations, stemming in a number of cases from flawed analyses in their earlier publications. We defend the thesis, traceable to the classic study by Henk Bos, that Leibniz used genuine infinitesimals, which he viewed as fictional mathematical entities (and not merely shorthand for talk about more ordinary quantities) on par with negatives and imaginaries.

Mikhail G. Katz Karl Kuhlemann 10.32381/GB.2022.45.1.4 38 pages; to appear in Ganita Bharati Ganita Bharati 35 (2023), no. 1, 77-112 http://arxiv.org/abs/2503.07134v1 2025-03-10T10:04:07Z 2025-03-10T10:04:07Z

This paper is dedicated to the elementary proof of Pontryagin's maximum principle for problems with free right end point. The proof for the standard problem is taken from the monography of Ioffe and Tichomirov. We assume piecewise continuous controls and the proof turns out to be very simple. We generalize the concept to the problem of optimal multiprocesses, to control problems with delays and to the control of Volterra integral equations. Furthermore, we discuss the problem on infinite horizon. Moreover, we state Arrow type sufficiency conditions. The optimality conditions are demonstrated on illustrative examples.

Nico Tauchnitz in german. arXiv admin note: substantial text overlap with arXiv:1610.02829 http://arxiv.org/abs/2503.19919v1 2025-03-10T09:41:11Z 2025-03-10T09:41:11Z

We present an extension of the Prouhet-Tarry-Escott problem by demonstrating that signed sums of noninteger powers of consecutive integers can be made arbitrarily close to zero.

David Treeby Edward Wang 10.1080/00029890.2024.2419799 4 pages, 1 figure The American Mathematical Monthly 2024, 132(2), 171-174 http://arxiv.org/abs/2409.17304v2 2025-03-06T19:54:28Z 2024-09-25T19:28:12Z

Signal Processing (SP) and Machine Learning (ML) rely on good math and coding knowledge, in particular, linear algebra, probability, trigonometry, and complex numbers. A good grasp of these relies on scalar algebra learned in middle school. The ability to understand and use scalar algebra well, in turn, relies on a good foundation in basic arithmetic. Because of various systemic barriers, many students are not able to build a strong foundation in arithmetic in elementary school. This leads them to struggle with algebra and everything after that. Since math learning is cumulative, the gap between those without a strong early foundation and everyone else keeps increasing over the school years and becomes difficult to fill in college. In this article we discuss how SP faculty, students, and professionals can play an important role in starting, and participating in, university-run, or other, out-of-school math support programs to supplement students' learning. Two example programs run by the authors, CyMath at Iowa State and Algebra by 7th Grade (Ab7G) at Purdue, and one run by the Actuarial Foundation, are described. We conclude with providing some simple zero-cost suggestions for public schools that, if adopted, could benefit a much larger number of students than what out-of-school programs can reach.

Namrata Vaswani Mohamed Y. Selim Renee Serrell Gibert Under submission to IEEE Signal Processing Magazine http://arxiv.org/abs/2503.04313v1 2025-03-06T10:58:17Z 2025-03-06T10:58:17Z

Infinitesimals have seen ups and downs in their tumultuous history. In the 18th century, d'Alembert set the tone by describing infinitesimals as chimeras. Some adversaries of infinitesimals, including Moigno and Connes, picked up on the term. We highlight the work of Cauchy, No\"el, Poisson and Riemann. We also chronicle reactions by Moigno, Lamarle and Cantor, and signal the start of a revival with Peano.

Mikhail G. Katz 10.1080/26375451.2025.2474811 17 pages. To appear in British Journal for the History of Mathematics