Triangles with prime hypotenuse
Sam Chow, Carl Pomerance

TL;DR
This paper investigates the distribution of odd and even legs in right triangles with integer sides and prime hypotenuse, establishing that their density tends to zero and providing bounds using advanced number theory techniques.
Contribution
It introduces new bounds on the density of such triangles' legs, combining sieve methods, Gaussian prime distribution, and Hardy--Ramanujan inequality, advancing understanding of their rarity.
Findings
Upper density of such triangles is zero with logarithmic decay.
Provides a nontrivial lower bound for the sequence.
Uses advanced sieve and prime distribution techniques.
Abstract
The sequence consists of odd legs in right triangles with integer side lengths and prime hypotenuse. We show that the upper density of this sequence is zero, with logarithmic decay. The same estimate holds for the sequence of even legs in such triangles. We expect our upper bound, which involves the Erd\H{o}s--Ford--Tenenbaum constant, to be sharp up to a double-logarithmic factor. We also provide a nontrivial lower bound. Our techniques involve sieve methods, the distribution of Gaussian primes in narrow sectors, and the Hardy--Ramanujan inequality.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAnalytic Number Theory Research · Limits and Structures in Graph Theory · Advanced Mathematical Identities
Triangles with prime hypotenuse
Sam Chow
The Mathematical Sciences Research Institute, 17 Gauss Way, Berkeley, CA 94720-5070, USA; Department of Mathematics, University of York, Heslington, York, YO10 5DD, UK
and
Carl Pomerance
The Mathematical Sciences Research Institute, 17 Gauss Way, Berkeley, CA 94720-5070, USA; Department of Mathematics, Dartmouth College, Hanover, NH 03755, USA
Abstract.
The sequence consists of odd legs in right triangles with integer side lengths and prime hypotenuse. We show that the upper density of this sequence is zero, with logarithmic decay. The same estimate holds for the sequence of even legs in such triangles. We expect our upper bound, which involves the Erdős–Ford–Tenenbaum constant, to be sharp up to a double-logarithmic factor. We also provide a nontrivial lower bound. Our techniques involve sieve methods, the distribution of Gaussian primes in narrow sectors, and the Hardy–Ramanujan inequality.
Key words and phrases:
Gaussian primes, Pythagorean triples
2010 Mathematics Subject Classification:
Primary 11N25; Secondary 11N05, 11N36
1. Introduction
The sequence OEIS A281505 concerns odd legs in right triangles with integer side lengths and prime hypotenuse. By the parametrisation of Pythagorean triples, these are positive integers of the form , where and is prime. Even legs are those of the form , where and is an odd prime. Let be the set of odd legs, and the set of even legs that occur in such triangles. Consider the quantities
[TABLE]
as .
Let denote the set of primes. By a change of variables, observe that
[TABLE]
Additionally, note that
[TABLE]
where
[TABLE]
We estimate , which is equivalent to estimating and similar to estimating .
Let
[TABLE]
be the Erdős–Ford–Tenenbaum constant. This constant is related to the number of distinct products in the multiplication table, and also arises in other contexts, for example, see [2], [3], and [9].
Theorem 1.1**.**
We have
[TABLE]
Since every prime is representable as with integral, we have unbounded. In fact, using the maximal order of the divisor function, we have as . We obtain a strengthening of this lower bound.
Theorem 1.2**.**
We have, as ,
[TABLE]
Note that . Since , we obtain the same bounds for . By essentially the same proofs, one can also deduce these bounds for .
To motivate the outcome, consider the following heuristic. There are typically divisors of , which follows from the normal number of prime factors of , a result of Hardy and Ramanujan [7]. Moreover, given a factorisation , the “probability” of being prime is roughly . Since , we expect the proportion to decay logarithmically. In the presence of biases and competing heuristics, this prima facie prediction should be taken with a few grains of salt. We use Brun’s sieve and the Hardy–Ramanujan inequality to formally establish our bounds. In addition, for Theorem 1.2 we use a result of Harman and Lewis [8] on the distribution of Gaussian primes in narrow sectors of the complex plane.
We write for the set of primes. We use Vinogradov and Landau notation. As usual, we write for the number of distinct prime divisors of , and for the number of prime divisors of counted with multiplicity. The symbols and are reserved for primes, and denotes a large positive real number.
Acknowledgments and a dedication
The authors were supported by the National Science Foundation under Grant No. DMS-1440140 while in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the Spring 2017 semester. The authors thank John Friedlander and Roger Heath-Brown for helpful comments and Tomasz Ordowski for suggesting the problem.
This year (2017) is the 100th anniversary of the publication of the paper On the normal number of prime factors of a number , by Hardy and Ramanujan, see [7]. Though not presented in such terms, their paper ushered in the subject of probabilistic number theory. Simpler proofs have been found, but the original proof contains a very useful inequality, one which we are happy to use yet again. We dedicate this note to this seminal paper.
2. An upper bound
In this section, we establish Theorem 1.1. The Hardy–Ramanujan inequality [7] states that there exists a positive constant such that uniformly for and we have
[TABLE]
By Mertens’s theorem and the fact that the sum of the reciprocals of prime powers higher than the first power converges, there is a positive constant such that
[TABLE]
Let be a parameter in the range , to be specified in due course. We begin by bounding the size of the exceptional set
[TABLE]
where
[TABLE]
By the Hardy–Ramanujan inequality, we have
[TABLE]
where , and therefore
[TABLE]
Note that we have used here the elementary inequality , which holds for all positive integers and follows instantly from the Taylor series for . Thus,
[TABLE]
For an integer , write for the largest prime factor of , and let . By de Bruijn [1, Eq. (1.6)] we may bound the size of the exceptional set
[TABLE]
by for all sufficiently large numbers . (Actually, the denominator may be taken as any fixed power of .)
Next, we estimate
[TABLE]
For counted by , we see by symmetry that we have for some with prime and prime. Thus
[TABLE]
where
[TABLE]
We turn our attention to . We may assume that is even and , for otherwise . Observe that
[TABLE]
where
[TABLE]
To bound this from above, we apply Brun’s sieve [5, Corollary 6.2] with
[TABLE]
and with the completely multiplicative density function defined by
[TABLE]
For this to be valid, we need to check that
[TABLE]
where
[TABLE]
and . We begin by noting that if then the congruence
[TABLE]
has solutions . Observe that any divisor of must be squarefree; thus, by the Chinese remainder theorem, the congruence
[TABLE]
has solutions . By periodicity, we now have
[TABLE]
where . This confirms (2.5), since and .
We also need to check that
[TABLE]
where , and where
[TABLE]
This follows from the inequalities
[TABLE]
Now [5, Corollary 6.2] tells us that
[TABLE]
(Note that we might equally have used the version of Brun’s sieve in [6, p. 68], which is less precise, but somewhat easier to utilise.) Substituting this into (2.4) yields
[TABLE]
where
[TABLE]
It follows from the multinomial theorem that
[TABLE]
Letting , the binomial theorem now gives
[TABLE]
where is as in (2.1). In view of (2.2), we now have
[TABLE]
Substituting this into (2.6) yields
[TABLE]
By (2.3), our estimate for , and (2.7), we have
[TABLE]
where
[TABLE]
We now choose so as to maximise . One might guess that this solves
[TABLE]
and indeed does maximise on the interval . With this choice of , we have
[TABLE]
completing the proof of Theorem 1.1.
3. A lower bound
In this section, we establish Theorem 1.2. Let
[TABLE]
Writing for the largest prime factor of , and , put
[TABLE]
Let be a small positive real number, and let
[TABLE]
Finally, write
[TABLE]
As we seek a lower bound, we are free to discard some inconvenient elements of . Thus, by the Cauchy–Schwarz inequality, we have
[TABLE]
where is the number of quadruples such that
[TABLE]
We first show that
[TABLE]
For this, we use existing work counting Gaussian primes in narrow sectors. For convenience, we state the relevant result [8, Theorem 2].
Theorem 3.1** (Harman–Lewis).**
Let be a large positive real number, and let be real numbers in the ranges
[TABLE]
Then
[TABLE]
The implied constant is absolute.
For positive integers , we apply this with
[TABLE]
By Jordan’s inequality
[TABLE]
observe that if , and then
[TABLE]
Thus
[TABLE]
confirming (3.2).
Next, we show that ().
Lemma 3.2**.**
We have .
Proof.
By de Bruijn [1, Eq. (1.6)], we have
[TABLE]
Thus, by symmetry, we have . ∎
Lemma 3.3**.**
We have
[TABLE]
Proof.
As , we need only show this for . Taking out a prime factor of , we have
[TABLE]
where
[TABLE]
As in the last section, Brun’s sieve implies that
[TABLE]
Therefore
[TABLE]
where
[TABLE]
As in the prior section, the multinomial theorem implies that
[TABLE]
Since , using this estimate in (3.3) completes the proof of the lemma. ∎
Combining (3.2) with Lemmas 3.2 and 3.3 gives
[TABLE]
Lemma 3.4**.**
If then
[TABLE]
Proof.
One component of the count is when . This is the diagonal case, and it is easily estimated. By the sieve, the number of pairs with is at most
[TABLE]
which is negligible. (Note that this estimate shows that (3.5) is essentially tight.)
For the nondiagonal case we imitate §2. If is counted by , put
[TABLE]
so that
[TABLE]
Recall (3.4), and let be the set of such that
[TABLE]
As , we see by symmetry that
[TABLE]
where
[TABLE]
The fact that ensures that there are three primality conditions defining . To bound from above, we may assume without loss that is even, and that the variables are pairwise coprime, for otherwise . Paralleling §2, an application of Brun’s sieve reveals that
[TABLE]
Substituting (3.7) into (3.6) yields
[TABLE]
where
[TABLE]
and is as in (3.4). With , it follows from the multinomial theorem that
[TABLE]
and a further application of the multinomial theorem gives
[TABLE]
As , we now have
[TABLE]
Substituting this into (3.8) yields
[TABLE]
As , we may choose to give . ∎
Combining (3.1) and (3.5) with Lemma 3.4 establishes Theorem 1.2.
4. A final comment
We conjecture that Theorem 1.1 holds with equality. For a lower bound, one might restrict attention to those pairs with . The upper bound for the second moment is analysed as in the paper, getting ; we expect that a more refined analysis would give
[TABLE]
here. The difficulty is in obtaining this same estimate as a lower bound for the first moment. This would follow if we had an analogue of Theorem 3.1 in which have a restricted number of prime factors. Such a result holds for the general distribution of Gaussian primes, at least if one restricts only one of , see [4].
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] N. G. de Bruijn, On the number of positive integers ⩽ x absent 𝑥 \leqslant x and free of prime factors > y absent 𝑦 >y . Nederl. Acad. Wetensch. Proc. Ser. A. 54 (1951), 50–60.
- 2[2] K. Ford, The distribution of integers with a divisor in a given interval , Ann. of Math. 168 (2008), 367–433.
- 3[3] K. Ford, F. Luca, and C. Pomerance, The image of Carmichael’s λ 𝜆 \lambda -function , Algebra and Number Theory 8 (2014), 2009-2025.
- 4[4] E. Fouvry and H. Iwaniec, Gaussian primes , Acta Arith. 79 (1997), 249–287.
- 5[5] J. B. Friedlander and H. Iwaniec, Opera de Cribro , American Mathematical Society Colloquium Publications 57, American Mathematical Society, Providence, RI, 2010.
- 6[6] H. Halberstam and H.-E. Richert, Sieve Methods , London Mathematical Society Monographs, No. 4. Academic Press [A subsidiary of Harcourt Brace Jovanovich, Publishers], London-New York, 1974.
- 7[7] G. H. Hardy and S. Ramanujan, The normal number of prime factors of a number n 𝑛 n , Quarterly J. Math. 48 (1917), 76–92.
- 8[8] G. Harman and P. Lewis, Gaussian primes in narrow sectors , Mathematika 48 (2001), 119–135.
