Ptolemy's Theorem

Lukas Bulwahn

DOI: https://doi.org/10.3840/001707

Abstract:This entry provides an analytic proof to Ptolemy’s Theorem using polar form transformation and trigonometric identities. In this formalization, we use ideas from John Harrison’s HOL Light formalization [1] and the proof sketch on the Wikipedia entry of Ptolemy’s Theorem [3]. This theorem is the 95th theorem of the Top 100 Theorems list [2].

Mathematics,Computer Science

What problem does this paper attempt to address?

Heron's Formula and Ptolemy's Theorem

Marco Riccardi

DOI: https://doi.org/10.2478/v10037-008-0014-2

2008-01-01

Formalized Mathematics

Abstract:The goal of this article is to formalize some theorems that are in the [17] on the web. These are elementary theorems included in every handbook of Euclidean geometry and trigonometry: the law of cosines, the Heron's formula, the isosceles triangle theorem, the intersecting chords theorem and the Ptolemy's theorem.MML identifier: EUCLID 6, version: 7.8.09 4.97.1001 The goal of this article is to formalize some theorems that are in the [17] on the web. These are elementary theorems included in every handbook of Euclidean geometry and trigonometry: the law of cosines, the Heron's formula, the isosceles triangle theorem, the intersecting chords theorem and the Ptolemy's theorem. MML identifier: EUCLID 6, version: 7.8.09 4.97.1001
Global Torelli Theorem for Teichmuller Spaces of Polarized Calabi-Yau manifolds

Kefeng Liu,Xiaofeng Sun,Andrey Todorov,Shing–Tung Yau

DOI: https://doi.org/10.48550/arxiv.0912.5239

2009-01-01

Abstract:The result of this paper is proved in arXiv:1112.1163
The Triangle Altitudes Theorem in Hyperbolic Plane Geometry

Nicholas Phat Nguyen

DOI: https://doi.org/10.48550/arXiv.1912.11707

2019-12-24

Abstract:We provide a new formulation and proof of the triangle altitudes theorem in hyperbolic plane geometry, together with an easily computed discriminant to distinguish between different basic configurations of the altitudes of such a triangle.

History and Overview,Metric Geometry
On the numerology of trigonometric polynomials

Hans-Christian Herbig,Mateus de Jesus Gonçalves

DOI: https://doi.org/10.48550/arXiv.2311.13604

2023-11-20

Abstract:This note is about the observation that the various transition formulas between bases of trigonometric polynomials can be expressed in terms binomial coefficients. More specifically, we write the entries of the Chebyshev matrices $ T$ and $ U$ in terms of binomial coefficients. We remark that the inverses of certain submatrices of the Chebyshev matrix $ T$ correspond to classical power reduction formulas for trigonometric functions. Therefore the entries of $ T^{-1}$ are expressible in terms of binomial coefficients and powers of two. The inverses of certain submatrices of the Chebyshev matrix $ U$ appear in power reduction formulas involving the Catalan triangles. We could not spot them in the literature. As a corollary the Catalan triangles are interpreted as inverses of rather natural matrices of binomial coefficients. We explain the matrix inversions in terms of Riordan arrays. We solve the integral $ \int _{0}^{2\pi }\cos^{2m}( x)\sin^{2n}( x) dx$ and deduce a hypergeometric identity from the Fourier expansion of $\cos^{2m}(x)$ and $ \sin^{2n}( x)$. As a corollary we prove that super Catalan numbers are integers. We emphasize that from the point of view of these base changes between the trigonometric polynomials it is more natural to work with $2\cos(x)$ and $2\sin(x)$ instead of $\cos(x)$ and $\sin(x)$, since the transition matrices become invertible over the integers. We do a similar analysis for the spread polynomials. This enables us to make a conjecture of Goh and Wildberger more precise. In this exposition we give a mostly self-contained account of the matter, the prerequisites just being four semesters of calculus, linear algebra, elementary complex variables and the residue theorem.

History and Overview
Trigonometry of partially truncated triangles and tetrahedra

Jason DeBlois

2024-03-07

Abstract:The first main results of this note establish forms of the hyperbolic laws of cosines and sines for certain classes of quadrilaterals and pentagons in the hyperbolic plane, having at least one ideal vertex and right angles at non-ideal vertices, in which the length of a horocyclic cross-section at an ideal vertex plays the role filled by the dihedral angle in the usual versions of these laws. The final main result bounds the transversal length of a truncated tetrahedron in three-dimensional hyperbolic space, meaning the distance from a designated internal edge to its opposite, in terms of the tetrahedron's entire collection of internal edge lengths. All main results are established using the unifying perspective of the hyperboloid model and Lorentzian geometry. A thorough introduction to this perspective is provided, with references as appropriate.

Geometric Topology,Metric Geometry
Formalizing Pick's Theorem in Isabelle/HOL

Sage Binder,Katherine Kosaian

2024-05-03

Abstract:We formalize Pick's theorem for finding the area of a simple polygon whose vertices are integral lattice points. We are inspired by John Harrison's formalization of Pick's theorem in HOL Light, but tailor our proof approach to avoid a primary challenge point in his formalization, which is proving that any polygon with more than three vertices can be split (in its interior) by a line between some two vertices. We detail the approach we use to avoid this step and reflect on the pros and cons of our eventual formalization strategy. We use the theorem prover Isabelle/HOL, and our formalization involves augmenting the existing geometry libraries in various foundational ways (e.g., by adding the definition of a polygon and formalizing some key properties thereof).

Logic in Computer Science
On Lobachevsky's trigonometric formulae

Athanase Papadopoulos

DOI: https://doi.org/10.48550/arXiv.1311.6034

2013-11-23

History and Overview

Abstract:We elaborate on some important ideas contained in Lobachevsky's Pangeometry and in some of his other memoirs. The ideas include the following: (1) The trigonometric formulae, which express the dependence between angles and edges of triangles, are not only tools, but they are used as the basic elements of any geometry. In fact, Lobachevsky developed a large set of analytical and geometrical theorems in non-Euclidean geometry using these formulae. (2) Differential and integral calculus are developed in hyperbolic space without the use of any Euclidean model of hyperbolic space. (3) There exist models of spherical and of Euclidean geometry within hyperbolic geometry, and these models are used to prove the hyperbolic trigonometry formulae. (4) If hyperbolic geometry were contradictory, then either Euclidean or spherical geometry would be contradictory. We shall also see that some of these ideas were rediscovered by later mathematicians.
When Four Cyclic Antipodal Pairs Are Ordered Counterclockwise in Euclidean and Hyperbolic Geometry

Abraham A. Ungar

DOI: https://doi.org/10.3390/sym16060729

2024-06-12

Symmetry

Abstract:A cyclic antipodal pair of a circle is a pair of points that are the intersection of the circle with the diameter of the circle. In this article, a recent proof of Ptolemy's Theorem—simultaneously in both (i) Euclidean geometry and (ii) the relativistic model of hyperbolic geometry (also known as the Klein model)—motivates the study of four cyclic antipodal pairs of a circle, ordered arbitrarily counterclockwise. The translation of results from Euclidean geometry into hyperbolic geometry is obtained by means of hyperbolic trigonometry, called gyrotrigonometry, to which Einstein addition gives rise. Identities that extend the Pythagorean identity in both Euclidean and hyperbolic geometry are obtained.

multidisciplinary sciences
Polynomial Interpretation of Multipole Vectors

Gabriel Katz,Jeffrey Weeks

DOI: https://doi.org/10.1103/PhysRevD.70.063527

2004-06-02

Abstract:Copi, Huterer, Starkman and Schwarz introduced multipole vectors in a tensor context and used them to demonstrate that the first-year WMAP quadrupole and octopole planes align at roughly the 99.9% confidence level. In the present article the language of polynomials provides a new and independent derivation of the multipole vector concept. Bezout's Theorem supports an elementary proof that the multipole vectors exist and are unique (up to rescaling). The constructive nature of the proof leads to a fast, practical algorithm for computing multipole vectors. We illustrate the algorithm by finding exact solutions for some simple toy examples, and numerical solutions for the first-year WMAP quadrupole and octopole. We then apply our algorithm to Monte Carlo skies to independently re-confirm the estimate that the WMAP quadrupole and octopole planes align at the 99.9% level.

Astrophysics
Pythagorean theorem from Heron's formula: Another proof

Bikash Chakraborty

DOI: https://doi.org/10.1007/s12045-016-0369-6

2022-09-15

Abstract:In this article using elementary school level Geometry we observe an alternative proof of Pythagorean Theorem from Heron's Formula.

History and Overview
Joseph Wolstenholme and the Trigonometry of Tetrahedra

Daniil Rudenko

2024-01-24

Abstract:We describe the results in the trigonometry of tetrahedra obtained by Joseph Wolstenholme in the last few years of his life. 'The late Professor Wolstenholme, M.A., Sc.D., shortly before his death, handed to me a scrap of paper, on which he had hastily scratched the following equation in tetrahedra, saying he had proved it ...' (Richardson, 1897).

History and Philosophy of Physics,Algebraic Geometry,History and Overview,Metric Geometry
Proof of Riemann hypothesis by topological and analytical methods

Farhad Ghaboussi

2024-11-27

Abstract:We introduce a differential topological proof and an analytical proof of Riemann hypothesis according to the saddle point method because Riemann calculated the integral representation of zeta function on the critical line by this method. This topological proof of RH proves that the existence of integral representation of zeta functions requires certain differential topological conditions on its integrand according to which the zeta function vanishes on the critical line. The analytical proof of RH is the local implementation of topological proof or its coordinate representation.

General Physics
Ehrhart theory of cosmological polytopes

Justus Bruckamp,Lina Goltermann,Martina Juhnke,Erik Landin,Liam Solus

2024-12-02

Abstract:The cosmological polytope of a graph $G$ was recently introduced to give a geometric approach to the computation of wavefunctions for cosmological models with associated Feynman diagram $G$. Basic results in the theory of positive geometries dictate that this wavefunction may be computed as a sum of rational functions associated to the facets in a triangulation of the cosmological polytope. The normalized volume of the polytope then provides a complexity estimate for these computations. In this paper, we examine the (Ehrhart) $h^\ast$-polynomial of cosmological polytopes. We derive recursive formulas for computing the $h^\ast$-polynomial of disjoint unions and $1$-sums of graphs. The degree of the $h^\ast$-polynomial for any $G$ is computed and a characterization of palindromicity is given. Using these observations, a tight lower bound on the $h^\ast$-polynomial for any $G$ is identified and explicit formulas for the $h^\ast$-polynomials of multitrees and multicycles are derived. The results generalize the existing results on normalized volumes of cosmological polytopes. A tight upper bound and a combinatorial formula for the $h^\ast$-polynomial of any cosmological polytope are conjectured.

Combinatorics
The Transcendence of $π$ and the Squaring of the Circle -- Die Transzendenz von $π$ und die Quadratur des Kreises

Lorenz Milla

DOI: https://doi.org/10.48550/arXiv.2003.14035

2020-05-24

Abstract:In this paper we prove the transcendence of $\pi$ using Hilbert's method. We also prove that all points constructible with compass and straightedge have algebraic coordinates. Thus we give a self-contained proof that squaring the circle is impossible, requiring only basic linear algebra, analysis and Cauchy's Integral Theorem. -- In diesem Aufsatz beweisen wir mit Hilberts Methode, dass $\pi$ transzendent ist. Weiter beweisen wir, dass alle mit Zirkel und Lineal konstruierbaren Punkte algebraische Koordinaten haben. Somit beweisen wir, dass die Quadratur des Kreises unmöglich ist. Der vorliegende Beweis ist in sich abgeschlossen und setzt nur grundlegende lineare Algebra und Analysis und den Cauchy'schen Integralsatz voraus.

History and Overview,Number Theory
A Proof of ζ(2)=π2/6 Involving a Fourier–Legendre Expansion

John M. Campbell

DOI: https://doi.org/10.1080/00029890.2023.2293624

2024-01-06

American Mathematical Monthly

Abstract:We give a new proof of Euler's famous formula ζ(2)=π2/6 using a 1954 result by M. O. González which expands the complete elliptic integral of the first kind in terms of Legendre polynomials.

mathematics
Note on a simple trigonometric equality

J.-P. Allouche

DOI: https://doi.org/10.1007/s11139-024-00840-7

2024-03-25

The Ramanujan Journal

Abstract:In a recent paper Vinay, Shweta, and Harshitha use Ramanujan's theta functions to prove several trigonometric equalities. Elementary proofs for some of these equalities were given by the author and Zeilberger, then for all but one by Berndt, Kim, and Zaharescu. The remaining equality was proved in the same paper of Berndt, Kim, and Zaharescu in a non-totally elementary way, in that it uses a result of Gauss in cyclotomy: here we give an elementary proof of the same equality. Also we show how to use automated tools to discover and prove some generalizations.

mathematics
$Ω$-theorem for short trigonometric sum

Jan Moser

DOI: https://doi.org/10.48550/arXiv.1406.6775

2014-06-26

Abstract:We obtain in this paper new application of the classical E.C. Titchmarsh' discrete method (1934) in the theory of the Riemann $\zf$ - function. Namely, we shall prove the first localized $\Omega$-theorem for short trigonometric sum. This paper is the English version of the work of reference \cite{4}.

Classical Analysis and ODEs
A kernel-based method for fast and accurate computation of PHT in polar coordinates

Khalid M. Hosny,Mohamed M. Darwish

DOI: https://doi.org/10.1007/s11554-016-0622-y

2016-07-21

Abstract:A novel kernel-based method is proposed for fast, highly accurate and numerically stable computations of polar harmonic transforms (PHT) in polar coordinates. Euler formula is used to derive a novel trigonometric formula where the later one is used in the kernel generation. The simplified radial and angular kernels are used in efficient computation PHTs. The proposed method removes the numerical approximation errors involved in conventional methods and provides highly accurate PHTs coefficients which results in highly improved image reconstruction capabilities. Numerical experiments are performed where the results are compared with those of the recent existing methods. In addition to the tremendous reduction in computational times, the obtained results of the proposed method clearly show a significant improvement in rotational invariance.

computer science, artificial intelligence,engineering, electrical & electronic,imaging science & photographic technology
A short ODE proof of the Fundamental Theorem of Algebra

Ramona Anton,Nicolae Mihalache,François Vigneron

2023-09-22

Abstract:We propose a short proof of the Fundamental Theorem of Algebra based on the ODE that describes the Newton flow and the fact that the value $|P(z)|$ is a Lyapunov function. It clarifies an idea that goes back to Cauchy.

Classical Analysis and ODEs
On Huh's conjectures for the polar degree

Dirk Siersma,Joseph Steenbrink,Mihai Tibar

DOI: https://doi.org/10.48550/arXiv.1805.08175

2018-05-21

Algebraic Geometry

Abstract:We prove a precise version of a general conjecture on the polar degree stated by June Huh. We confirm Huh's conjectural list of all projective hypersurfaces with isolated singularities and polar degree equal to 2.

Ptolemy's Theorem

Heron's Formula and Ptolemy's Theorem

Global Torelli Theorem for Teichmuller Spaces of Polarized Calabi-Yau manifolds

The Triangle Altitudes Theorem in Hyperbolic Plane Geometry

On the numerology of trigonometric polynomials

Trigonometry of partially truncated triangles and tetrahedra

Formalizing Pick's Theorem in Isabelle/HOL

On Lobachevsky's trigonometric formulae

When Four Cyclic Antipodal Pairs Are Ordered Counterclockwise in Euclidean and Hyperbolic Geometry

Polynomial Interpretation of Multipole Vectors

Pythagorean theorem from Heron's formula: Another proof

Joseph Wolstenholme and the Trigonometry of Tetrahedra

Proof of Riemann hypothesis by topological and analytical methods

Ehrhart theory of cosmological polytopes

The Transcendence of $π$ and the Squaring of the Circle -- Die Transzendenz von $π$ und die Quadratur des Kreises

A Proof of ζ(2)=π2/6 Involving a Fourier–Legendre Expansion

Note on a simple trigonometric equality

$Ω$-theorem for short trigonometric sum

A kernel-based method for fast and accurate computation of PHT in polar coordinates

A short ODE proof of the Fundamental Theorem of Algebra

On Huh's conjectures for the polar degree