The Full Pythagorean Theorem

Charles Frohman

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

2010-01-01

History and Overview

Abstract:We motivate and then prove a generalized pythagorean theorem for parallelepipeds in Euclidean space.

What problem does this paper attempt to address?

A calculus-assisted proof of the Pythagorean theorem

José A. Villaseñor

DOI: https://doi.org/10.1080/0020739X.2022.2098861

2022-07-25

International Journal of Mathematical Education in Science and Technology

Abstract:This note presents a calculus proof of the famous Pythagorean theorem, which has been proved in more than 350 different ways by using geometric arguments since the first proof given by Pythagoras (565-495 BC). The proof presented here also involves function concepts in such a way that it provides a rather straightforward argument.
A Non-Existence Property of Pythagorean Triangles with a 3-D Application

Konstantine Zelator

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

2009-03-07

Abstract:After the introduction, in section 2 we state the well known parametric formulas that describe the entire family of Pythagorean triples. In section 3, we list four well known results from number theory, used later in the paper. in section 2, we prove two propositions. Proposition 1 says that the diophantine equation z^2=x^4+4y^4, has no solutions in positive integers x,y, and z. We then use Proposition 1, to prove the insolvability of a certain four-variable diophantine system, which is Proposition 2. In Section 5, we present some examplesof pairs of Pythagorean triangles with a common hypotenuse. In Section 6, we use Proposition 2 to prove Theorem 1: There exists no pair of Pythagorean triangles such that the leg of largest length in the first triangle is the hypotenuse of the second triangle; and in addition, with the leg of smallest length in the first triangle; having the same length as a leg in the second triangle. in Section 7, we present information on Pythagorean boxes, and we describe how to generate infinitely many Pythagorean boxes with a face diagonal of integral length. Finally, in Section 8, we apply Proposition 2 to prove Theorem 2: There exists no Pythagorean box with a pair of congruent (or opposite) faces being squares. And with the four diagonals of equal length in another pair of opposite faces, also having integral length.

General Mathematics
Theory of heating of hot magnetized plasma by Alfven waves. Application for solar corona

T.M. Mishonov,M.V. Stoev,Y.G. Maneva

DOI: https://doi.org/10.48550/arXiv.astro-ph/0701554

2007-02-13

Abstract:The heating of magnetized plasma by propagation of Alfven waves is calculated as a function of the magnetic field spectral density. The results can be applied to evaluate the heating power of the solar corona at known data from satellites' magnetometers. This heating rate can be incorporated in global models for heating of the solar corona and creation of the solar wind. The final formula for the heating power is illustrated with a model spectral density of the magnetic field obtained by analysis of the Voyager 1 mission results. The influence of high frequency dissipative modes is also taken into account and it is concluded that for evaluation of the total coronal heating it is necessary to know the spectral density of the fluctuating component of the magnetic field up to the frequency of electron-proton collisions.

Astrophysics
A Pythagorean Theorem for Volume

Fredric D. Ancel

2023-05-14

Abstract:Lebesgue measurable subsets A and B of parallel or identical k-dimensional affine subspaces of Euclidean n-space E^n satisfy The Product Formula for Volume: Vol_k(A)Vol_k(B) = \sum_{J \in S(n,k)} Vol_k({\pi}_J(A))Vol_k({\pi}_J(B)). Here Vol_k denotes k-dimensional Lebesgue measure; S(n,k) denotes the set of all k-element subsets of {1,2,..., n}; and for J \in S(n,k), E^J = {(x_1,x_2,...,x_n) \in E^n : x_i = 0 for all i \notin J} and {\pi}_J : E^n \rightarrow E^J is the projection that sends the i^{th} coordinate of a point of E^n to 0 whenever i \notin J. Setting B = A, we obtain the corollary: The Pythagorean Theorem for Volume: Vol_k(A)^2 = \sum_{J \in S(n,k)} (Vol_k({\pi}_J(A)))2.

Metric Geometry
A Pythagorean theorem for partitioned matrices

Jean-Christophe Bourin,Eun-Young Lee

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

2020-11-26

Abstract:We establish a Pythagorean theorem for the absolute values of the blocks of a partitioned matrix. This leads to a series of remarkable operator inequalities.

Functional Analysis
Physics and the Pythagorean Theorem

James Overduin,Richard Conn Henry

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

2020-05-21

History and Philosophy of Physics

Abstract:Pythagoras' theorem lies at the heart of physics as well as mathematics, yet its historical origins are obscure. We highlight a purely pictorial, gestalt-like proof that may have originated during the Zhou Dynasty. Generalizations of the Pythagorean theorem to three, four and more dimensions undergird fundamental laws including the energy-momentum relation of particle physics and the field equations of general relativity, and may hint at future unified theories. The "pre-mathematical" nature of this theorem lends support to the Eddingtonian view that "the stuff of the world is mind-stuff."
Pythagorean Theorem, Law of Sines and Law of Cosines: alternative proofs via shape derivatives

Lorenzo Cavallina

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

2023-08-05

Abstract:We provide an alternative unified approach for proving the Pythagorean theorem (in dimension $2$ and higher), the law of sines and the law of cosines, based on the concept of shape derivative. The idea behind the proofs is very simple: we translate a triangle along a specific direction and compute the resulting change in area. Equating the change in area to zero yields the statements of the three aforementioned theorems.

History and Overview
Herbrand's theorem and non-Euclidean geometry

Michael Beeson,Pierre Boutry,Julien Narboux

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

2014-10-07

Logic

Abstract:We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a very old and basic theorem of logic together with some simple properties of ruler-and-compass constructions to give a short, simple, and intuitively appealing proof.
On Routh-Steiner Theorem and Generalizations

Elias Abboud

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

2014-03-22

Abstract:Following Coxeter we use barycentric coordinates in affine geometry to prove theorems on ratios of areas. In particular, we prove a version of Routh-Steiner theorem for parallelograms.

Metric Geometry
Pythagorean triangles within Pythagorean triangles

Konstantine Zelator

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

2010-07-30

Abstract:In this work, we investigate the following question. Given a Pythagorean triangle BCA, with the right angle at C, let P be a point on the hupotenuse BA; and let D and E be the perpendicular projections of the point P onto the sides BC and CA <a class="link-external link-http" href="http://respectively.When" rel="external noopener nofollow">this http URL</a> is either of the right triangles BDP and PEA Pythagorean? As it turns out, according to Theorem1, they are either both Pythagorean, or neither of them <a class="link-external link-http" href="http://is.When" rel="external noopener nofollow">this http URL</a> they are both Pythagorean,a complete parametric description of these two triangles is given; in terms of the parameters that describe the Pythagorean triangle BCA. Later in the paper, we offer a complete analysis of three special cases:the case wherein the point P is the midpoint M of the hypotenuse BA; the case when P is the foot I of the 90 degree angle bisector;and the case in ehich the point P is the foot F of the perpendicular drawn from the vertex C to the hypotenuse. After that, some other cases are investigated as <a class="link-external link-http" href="http://well.Specifically" rel="external noopener nofollow">this http URL</a>, we consider the case in which not only the triangles BDP and PEA are Pythagorean;but the four congruent right triangles DCP,DEP,DCE,and CEP,are Pythagorean as <a class="link-external link-http" href="http://well.Precise" rel="external noopener nofollow">this http URL</a> conditions in order for this to occur, are given in Theorem7. Also,in Theorem 2, part(i), we show that if the triangle BCA is a primitive Pythagorean triangle, there exists no point P along the hypotenuse BA, for which both right triangles BDP and PEA are Pythagorean.

General Mathematics
The Story of the Parallelogram

Robert C. Yates

DOI: https://doi.org/10.5951/mt.33.7.0301

1940-11-01

The Mathematics Teacher

Abstract:Recently I made a poll of a large number of students on the status of the rather uninteresting parallelogram. Discounting the defining statement that it has equal opposite sides, I could find no information at large other than “its diagonals bisect each other.” Somehow this rather unpretentious figure has been laid aside to rust and I propose here to apply a bit of polish to see if its lustre cannot be brought forth in true brilliance. I think you will agree in the end that it does possess some memorable qualities which, although interesting, we are asked to establish equivalence of two plane polygons of equal area by imposing one upon another. If these polygons are not identical in size and shape, then it follows that we should be able to create partial polygons from each given figure in such a way that these partial polygons will be congruent in pairs. In this transformation from one given polygon to another by dissection the parallelogram plays a central role that is highly important.
Formulas generalizing Pappus and Desargues

Roger D. Maddux

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

2020-11-25

Abstract:The Theorems of Pappus and Desargues are generalized by two special formulas that hold in the three-dimensional vector space over a field.

Algebraic Geometry
Imaginary triangles, Pythagorean theorems, and algebraic geometry

Sergiy Koshkin

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

2017-12-18

Abstract:We extend the notion of triangle to "imaginary triangles" with complex valued sides and angles, and parametrize families of such triangles by plane algebraic curves. We study in detail families of triangles with two commensurable angles, and apply the theory of plane Cremona transformations to find "Pythagorean theorems" for them, which are interpreted as the implicit equations of their parametrizing curves.

Metric Geometry
Geometrization in Geometry

Izabella Muraro de Freitas,Álvaro Krüger Ramos

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

2022-10-18

Abstract:So far, the most magnificent breakthrough in mathematics in the 21st century is the Geometrization Theorem, a bold conjecture by William Thurston (generalizing Poincaré's Conjecture) and proved by Grigory Perelman, based on the program suggested by Richard Hamilton. In this survey article, we will explain the statement of this result, also presenting some examples of how it can be used to obtain interesting results in differential geometry.

Differential Geometry,Geometric Topology
Generalized Dissections and Monsky's Theorem

Aaron Abrams,Jamie Pommersheim

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

2020-06-08

Abstract:Monsky's celebrated equidissection theorem follows from his more general proof of the existence of a polynomial relation $f$ among the areas of the triangles in a dissection of the unit square. More recently, the authors studied a different polynomial $p$, also a relation among the areas of the triangles in such a dissection, that is invariant under certain deformations of the dissection. In this paper we study the relationship between these two polynomials. We first generalize the notion of dissection, allowing triangles whose orientation differs from that of the plane. We define a deformation space of these generalized dissections and we show that this space is an irreducible algebraic variety. We then extend the theorem of Monsky to the context of generalized dissections, showing that Monsky's polynomial $f$ can be chosen to be invariant under deformation. Although $f$ is not uniquely defined, the interplay between $p$ and $f$ then allows us to identify a canonical pair of choices for the polynomial $f$. In many cases, all of the coefficients of the canonical $f$ polynomials are positive. We also use the deformation-invariance of $f$ to prove that the polynomial $p$ is congruent modulo 2 to a power of the sum of its variables.

Metric Geometry,Algebraic Geometry
Heron's Formula in Higher Dimensions

Timothy F. Havel,Havel, Timothy F.

DOI: https://doi.org/10.1007/s00006-023-01305-8

2024-02-18

Advances in Applied Clifford Algebras

Abstract:This paper shows how geometric algebra can be used to derive a novel generalization of Heron's classical formula for the area of a triangle in the plane to higher dimensions. It begins by illustrating some of the many ways in which the conformal model of three-dimensional Euclidean space yields provocative insights into some of our most basic intuitive notions of solid geometry. It then uses this conceptual framework to elucidate the geometric meaning of Heron's formula in the plane, and explains in detail how it extends naturally to the volumes of tetrahedra in space. The paper closes by outlining a proof of a previously conjectured extension of the formula to the hyper-volumes of simplices in all dimensions.

mathematics, applied,physics, mathematical
Congruences for Generalized Frobenius Partitions of Nonzero Row Difference

Kelsey Scott

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

2019-09-23

Abstract:We extend George Andrew's general principle for counting generalized Frobenius partitions to include arrays with nonzero row difference and establish some congruences for these arrays.

Combinatorics
New model of non-Euclidean plane

Piotr Błaszczyk,Anna Petiurenko

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

2023-02-20

History and Overview

Abstract:We present a new model of a non-Euclidean plane, in which angles in a triangle sum up to $\pi$. It is a subspace of the Cartesian plane over the field of hyperreal numbers $\mathbb{R}^*$. The model enables one to represent the negation of equivalent versions of the parallel axiom, such as the existence of the circumcircle of a triangle, and Wallis' or Lagendre's axioms, as well as the difference between non-Euclidean and hyperbolic planes. The model has unique educational advantages as expounding its crucial ideas requires only the basics of Cartesian geometry and non-Archimedean fields.
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
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

The Full Pythagorean Theorem

A calculus-assisted proof of the Pythagorean theorem

A Non-Existence Property of Pythagorean Triangles with a 3-D Application

Theory of heating of hot magnetized plasma by Alfven waves. Application for solar corona

A Pythagorean Theorem for Volume

A Pythagorean theorem for partitioned matrices

Physics and the Pythagorean Theorem

Pythagorean Theorem, Law of Sines and Law of Cosines: alternative proofs via shape derivatives

Herbrand's theorem and non-Euclidean geometry

On Routh-Steiner Theorem and Generalizations

Pythagorean triangles within Pythagorean triangles

The Story of the Parallelogram

Formulas generalizing Pappus and Desargues

Imaginary triangles, Pythagorean theorems, and algebraic geometry

Geometrization in Geometry

Generalized Dissections and Monsky's Theorem

Heron's Formula in Higher Dimensions

Congruences for Generalized Frobenius Partitions of Nonzero Row Difference

New model of non-Euclidean plane

Trigonometry of partially truncated triangles and tetrahedra

The Triangle Altitudes Theorem in Hyperbolic Plane Geometry