Related papers: Pythagorean Triples and a New Pythagorean Theorem
In this article we use the Desargues' theorem and its reciprocal to solve two problems.
The main result of this paper is that the categories of (right) hypergroups over the group and of triples, consisting of a group, its subgroup and a (right) transversal to this subgroup, are equivalent.
Euclid uses an undefined notion of "equal figures", to which he applies the common notions about equals added to equals or subtracted from equals. When (in previous work) we formalized Euclid Book~I for computer proof-checking, we had to…
We examine a class of geometric theorems on cyclic 2n-gons. We prove that if we take n disjoint pairs of sides, each pair separated by an even number of polygon sides, then there is a linear combination of the angles between those sides…
Triangles with integer length sides and integer area are known as Heron triangles. Taking rescaling freedom into account, one can apply the same name when all sides and the area are rational numbers. A perfect triangle is a Heron triangle…
We prove that there exist infinitely many rationals a, b and c with the property that a^2-1, b^2-1, c^2-1, ab-1, ac-1 and bc-1 are all perfect squares. This provides a solution to a variant of the problem studied by Diophantus and Euler.
A well-known conjecture asserts that there are infinitely many primes $p$ for which $p - 1$ is a perfect square. We obtain upper and lower bounds of matching order on the number of pairs of distinct primes $p,q \le x$ for which $(p - 1)(q -…
In their paper "Pythagorean Boxes", Raymond A.Beauregard and E.R.Suryanarayan define the concept or notion of Pythagorean Rectangle as one with sidelengths and integer diagonal lengths(see [1]);they also introduce the concept of a…
We prove inequalities involving intrinsic and extrinsic radii and diameters of tetrahedra.
An interpretation of selected parts of Newton's Principia, with modern notation and methods. Keplers Laws are derived from an inverse square law using Newton's methods.
We explore a novel link between two seemingly disparate mathematical concepts: Egyptian fractions and fractals. By examining the decomposition of rationals into sums of distinct unit fractions, a practice rooted in ancient Egyptian…
Scientific calculations involving multiplication, division, exponents, inverse exponents of real numbers, geometric mean, reciprocal, Euler number, logarithm, and antilogarithm are generally carried out using battery operated electronic…
We provide an algorithm that, given any order $O$ in a quaternion algebra over a global field, computes representatives of all right equivalence classes of right $O$-ideals, including the non-invertible ones. The theory is developed for a…
We consider the problem of finding 4 rational squares, such that the product of any two plus the sum of the same two always gives a square. We give some historical background and exhibit one such quadruple.
Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves, for the first we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group of…
For the ternary quadratic form Q(x) = x^2 + y^2 - z^2 and a non-zero Pythagorean triple x_0 in Z^3 lying on the cone Q(x) = 0, we consider an orbit O = x_0 Gamma of a finitely generated subgroup Gamma < SO_Q(Z) with critical exponent…
Given a trapezoid dissected into triangles, the area of any triangle determined by either diagonal of the trapezoid is integral over the ring generated by the areas of the triangles in the dissection. Given a parallelogram dissected into…
This thesis contains some new results on the uniform rationality of Poincar\'e series of p-adic equivalence relations and Igusa's conjecture on exponential sums
We define spherical Heron triangles (spherical triangles with "rational" side-lengths and angles) and parametrize them via rational points of certain families of elliptic curves. We show that the congruent number problem has infinitely many…
A procedure that generates parallelograms from any quadrilateral is presented. If the original quadrilateral is itself a parallelogram, then the procedure gives squares. Hence, when applied two times, this procedure generates squares from…