arXiv:1608.02703v1 [math.NT] 9 Aug 2016
The exact order of the number of lattice points
visible from the origin
Wataru Takeda
Department of Mathematics,
Kyoto University,
Kitashirakawa Oiwake-cho, Sakyo-ku, Kyoto 606-8502, Japan
1
Introduction
The counting and probability problem of the visible lattice points is well known.
Here a lattice point X = (x1 , ..., xm ) ∈ Zm is said to be visible from the origin,
if gcd(x1 , ..., xm ) = 1. In other word, there are no other lattice point on the line
segment from the origin O to X.
Let
Vm = {x = (x1 , . . . , xm ) ∈ Zm | x is visible from the origin}.
In [1], J. E. Nymann showed that if m ≥ 3, the cardinality of the set Vm ∩
{(x1 , ..., xm ) ∈ Zm | 0 < xi ≤ r (1 ≤ i ≤ m)} is
(2r)m
+ O(rm−1 ).
ζ(m)
In this article, as a generalization of the result of Nymann, we study the
number of elements of
Vm ∩ {(x1 , ..., xm ) ∈ Zm | |xi | ≤ r (1 ≤ i ≤ m)}.
Let Vm (r) denote |Vm ∩ {(x1 , ..., xm ) ∈ Zm | |xi | ≤ r (1 ≤ i ≤ m)}|. Then
we obtain a generating function of Vm (r) and the exact order of Vm (r), where
m ≥ 3. More precisely, we prove
Theorem 1.1. If m ≥ 3,
Vm (r) =
2m m
r + Ω(rm−1 ).
ζ(m)
In short, the exact order of the magnitude of Vm (r) is rm−1 for all m ≥ 3.
1
2
Generalization of Euler totient function ϕ(n)
In [2], it is proved that
V2 (r) = 8
X
ϕ(n).
n≤r
We follow this way and introduce ϕm (n) to obtain the value of Vm (r).
Definition 2.1. For m ≥ 1 we define
ϕm (n) :=|{(x1 , ..., xm ) ∈ Zm | gcd(x1 , ..., xm , n) = 1, 1 ≤ xi ≤ n (1 ≤ i ≤ m)}|.
For m = 0 we define
1 (n = 1)
ϕ0 (n) :=
0 (n 6= 1)
Since ϕ1 (n) = |{x1 ∈ Z | gcd(x1 , n) = 1, 1 ≤ x1 ≤ n}| = ϕ(n), we regard
ϕm (n) as a generalization of ϕ(n).
The Euler totient function ϕ(n) satisfies
Y X
1
n
,
1−
µ(d) = n
ϕ(n) =
d
p
p|n
p:prime
d|n
where µ(d) is Möbius function. As well as this, ϕm (n) satisfies following lemma.
n m
Y
X
.
= nm
µ(d)
Lemma 2.2. ϕm (n) =
d
p|n
p:prime
d|n
Proof. It suffices to show that nm =
X
ϕm (d), because the Möbius inversion
d|n
formula gives the assertion. Let S denote {(x1 , ..., xm ) ∈ Zm | 1 ≤ xi ≤ n (1 ≤
i ≤ m)}. Let S(d) be {(x1 , ..., xm ) ∈ Zm | gcd(x1 , ..., xm , n) = d, 1[≤ xi ≤
S(d).
n (1 ≤ i ≤ m)}, where d divides n. Then S is the disjoint union S =
d|n
n
xm n gcd(x1 , ..., xm , n) = d if and only if gcd
= 1, so |S(d)| = ϕm
.
, ...,
,
d
d d
d
Hence we can write
n X
X
X
ϕm
|S(d)| =
nm = |S| =
ϕm (d).
=
d
x
1
d|n
d|n
d|n
The equality on the left in Lemma follows.
Let us prove the other equality. If n = 1 the product is empty and assigned
to be the value 1.
And if n ≥ 2, we can observe that
X µ(d)
Y 1
1
−
.
=
dm
pm
d|n
p|n
p:prime
Thus the other equality in Lemma also follows.
2
Generating function of Vm (r)
3
Theorem 3.1. Generating function of Vm (r) is the following.
∞
X
um
1 (2X+1)u
Vm (r) =
(e
− e(2X−1)u )
m!
2u
m=0
and
∞
X
um+1 Vm (r) =
m=0
where i
X
1
1 − (2X − 1)u
log
,
2
1 − (2X + 1)u
ϕi−1 (n) is replaced by X i when i ≥ 1, and X 0 are assigned to be the
n≤r
value 0.
Proof. It suffices to show that
Vm (r) =
1
{(2X + 1)m+1 − (2X − 1)m+1 }.
2(m + 1)
Let Vm+ (r) denote |Vm ∩ {(x1 , ..., xm ) | 0 < xi ≤ r (1 ≤ i ≤ m)}| for m ≥ 1.
Considering the sign of component, we have
m−1
X m
+
2m−i Vm−i
(r).
Vm (r) =
i
i=0
+
+
Let A+
m (n) = Vm (n) − Vm (n − 1), then
X
Vm+ (r) =
A+
m (n) + 1.
2≤n≤r
We compute A+
m (n) in a combinatorial way as follows.
Fix i with 0 ≤ i ≤ m. Fix I ⊂ {1, . . . , m} such that |I| = m − i, and let
V = {(x1 , . . . , xm ) ∈ Vm | xj = n for all j ∈ I, 0 < xj < n for all j 6∈ I}.
m
Then |V | = ϕi (n). There are
ways to choose I ⊂ {1, . . . , m} with
m−i
|I| = m − i. So the number of points (x1 , . . . , xm ) ∈ V such that |{i | xi = n}| ≥
m − i is
m
ϕi (n).
m−i
k
But we count same point (x1 , . . . , xm ) ∈ V such that |{i | xi = n}| = k,
m−i
times each i (m − k ≤ i ≤ m − 1).
3
We can show that (−1)m−1
m−1
X
(−1)i
i=m−k
k
m−i
= 1, so we can count all
points in V without repetition and obtain that A+
m (n) =
m−1
X
(−1)m−1−j
j=0
m
ϕj (n).
j
Thus we get
Vm+ (r) =
m−i−1
X
X
(−1)m−i−1−j
2≤n≤r
j=0
m−i
ϕj (n) + 1,
j
and
Vm (r) =

m m−i  X
2
i
m−1
X
i=0
2≤n≤r
For j ≥ 1, X j is defined by j
X
m−i−1
X
j=0

m
−
i
ϕj (n) + 1 .
(−1)m−i−1−j
j
ϕj−1 (n). To use this notation, we add the
n≤r
term n = 1 to above sum. By the definition of ϕj (n), we get ϕj (1) = 1 for all j.
m−i−1
X
m−i
= 1 by applying the binomial theorem.
(−1)m−i−1−j
And we get
j
j=0
Using this we have


m−i−1
m
−
i
m m−i  X X
ϕj (n) .
2
(−1)m−i−1−j
Vm (r) =
j
i
i=0
n≤r j=0


X
m−1
m−i−1
X m
X
m
−
i
2m−i 
=
(−1)m−i−1−j
ϕj (n) .
i
j
i=0
j=0
m−1
X
n≤r
By the definition of X j , we find
m − i + 1 X j+1
m−i X
1
,
ϕj (n) =
m−i+1
j+1
j+1
j
n≤r
this gives
=
m−i−1
X
1
m m−i
m−i−1−j m − i + 1
X j+1 .
(−1)
2
j+1
m − i + 1 j=0
i
m−1
X
i=0
Replacing the index j + 1 by j, we obtain
=
m−1
X
i=0
m−i
X
1
m m−i
m−i+1
2
Xj.
(−1)m−i−j
i
j
m − i + 1 j=1
4
Because the term i = m and m + 1 and j = 0 of above sum are a constant times
X 0 , we get


m+1
m−i+1
X m
X
1
m−i+1
X m−i+1 −
2m−i
Vm (r) =
Xj .
(−1)m−i+1−j
i
j
m
−
i
+
1
i=0
j=0
Applying the binomial theorem by repetition, we get
m+1
X
m−i+1
1
m m−i
2
X
− (X − 1)m−i+1 ,
=
m−i+1
i
i=0
m+1
X m + 1 1
(2X)m+1 + (2X − 2)m+1 ,
=
2(m + 1) i=0
i
=
1
(2X + 1)m+1 + (2X − 1)m+1 .
2(m + 1)
This proves the theorem.
4
X
The value of
ϕi−1(n)
n≤r
Lemma 4.1. Let {x} be the fractional part of x. If m ≥ 2,
r m n r o
X
= Ω(rm ).
µ(d)
d
d
d≤r
X µ(d) n r o
Proof. It suffices to show that
d≤r
of r and some negative M .
dm
d
≤ M < 0 for infinity many values
If m ≥ 4 and r is odd integer and greater than or equal to 3,
X µ(d) n r o
d≤r
dm
Since µ(d) = 1.0. − 1 and
d
=−
nro
d
1
2m+1
+
X µ(d) n r o
.
dm d
3≤d≤r
≤ 1,
≤−
=−
1
2m+1
1
2m+1
5
+
X
3≤d≤r
1
,
dm
+ ζ(m) − 1 −
1
< 0,
2m
since when m ≥ 4, ζ(m) <
1
2m+1
.
So for m ≥ 4 the lemma follows.
Y
Suppose that m = 2 or m = 3 and r = k
p, where the product is
p≤100
extended over all odd primes less than 100 and k isn’t a multiple of 2 and p.
Then,
X µ(d) n r o
dm
d≤r
d
Since µ(d) = 1.0. − 1 and
≤
100
X
µ(d) n r o
d=1
nro
≤−
Y
d
∞
X
µ(d) n r o
.
dm d
d=101
≤ 1,
d
Because we defined r = k
dm
+
1
2m+1
+
100
X
µ(d) n r o
d=3
dm
d
+
∞
X
d=101
1
.
dm
p, we obtain
p≤100
100
X
µ(d) n r o
d=3
dm
d
47
X
1 1 1
=
−
m 2
(2p)
2
p=prime
<
∞
X
d=101
d≤r
1
1
1
1
1
+ m+ m+ m+ m
30m
42
66
78
70
2
1
×
5 10m−1
From this result and
X
µ(d)
1
1
≤
, we find
m
d
100m−1
1
2
1
1
1 nro
≤ − m+1 + × m−1 +
dm d
2
5 10
100m−1
<−
1
,
20
so for m = 2 or m = 3 the lemma follows. This completes the proof of the
lemma.
Lemma 4.2. If i ≥ 3, X i =
1 i
r + Ω(ri−1 )
ζ(i)
6
Proof. For i ≥ 3, X i is defined by i
X
ϕi−1 (n).
n≤r
From Lemma 2.2 we know that ϕi−1 (n) =
X
µ(d)
d|n
Xi = i
XX
µ(d)
n≤r d|n
n i−1
d
n i−1
d
,
.
We write n = dq and sum over all pair of positive integers d, q with dq ≤ r, thus
Xi = i
X
µ(d)q i−1
dq≤r
Changing the order of summation,
Xi = i
X
µ(d)
X
q i−1
r
q≤ d
d≤r
1
Applying the relationship between Bernoulli numbers B0 , B1 (= ), B2 , . . . and
2
n
i−1 X
1X i
a sum 1k + 2k + · · · + nk , that is,
q i−1 =
Bj ni−j ,
i
j
q=1
j=0
Xi = i
X
µ(d)
d≤r
i−1 h r ii−j
1X i
Bj
,
i j=0 j
d
where [x] is the greatest integer less than or equal to x. Now we use a relation
[x] = x − {x},
Xi =
X
d≤r
µ(d)
i−1 X
i
j=0
j
Bj
r
d
−
n r oi−j
d
.
We note that
X
o
n
k
µ(d) r X 1
ζ(m) + O(r1−m ) (m ≥ 2)
≤
=
m
m
log(r) + γ + o(1) (m = 1)
d d
d≤r d
d≤r
,where γ is Euler’s constant, defined by the equation
!
n
X
1
− log n .
γ = lim
n→∞
k
k=1
7
Combining this result with Lemma 4.1 and
X µ(d)
d≤r
i > 1, we get
X i = ri
X µ(d)
d≤r
di
di
=
1
+O
ζ(i)
, where
i−1
1
r
+ Ω(ri−1 ).
1 i
=
r + Ω(ri−1 )
ζ(i)
This proved the lemma.
5
The exact order of magnitude of Vm (r)
Theorem 5.1. If m ≥ 3,
Vm (r) =
2m m
r + Ω(rm−1 ).
ζ(m)
In short, the exact order of magnitude of Vm (r) is rm−1 , for all m ≥ 3.
Proof.
From Theorem 3.1,
Vm (r) =
1
{(2X + 1)m+1 − (2X − 1)m+1 },
2(m + 1)
= (2X)m + O(X m−2 ).
Applying Lemma 4.1 and 4.2, we find
Vm (r) =
2m m
r + Ω(rm−1 ).
ζ(m)
This prove that the exact order of magnitude of Vm (r) is rm−1 , for all m ≥ 3.
References
[1] J. E. Nymann, On the probability that k positive integers are relatively
prime, J. Number Theory 4 (1972) 469–473.
[2] T. M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag,
New York, 1976.
8