Abstract
We say that a triangle T tiles a polygon A, if A can be dissected into finitely many nonoverlapping triangles similar to T. We show that if \(N>42\), then there are at most three nonsimilar triangles T such that the angles of T are rational multiples of \(\pi \) and T tiles the regular N-gon. A tiling into similar triangles is called regular, if the pieces have two angles, \(\alpha \) and \(\beta \), such that at each vertex of the tiling the number of angles \(\alpha \) is the same as that of \(\beta \). Otherwise the tiling is irregular. It is known that for every regular polygon A there are infinitely many triangles that tile A regularly. We show that if \(N>10\), then a triangle T tiles the regular N-gon irregularly only if the angles of T are rational multiples of \(\pi \). Therefore, the number of triangles tiling the regular N-gon irregularly is at most three for every \(N>42\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Dissections of regular polygons appear in several popular puzzles (see [1]). Some of these dissections, such as Langford’s dissections of the regular pentagon [7], Freese’s dissection of the regular octagon [1, Fig. 17.1], or Kürschák’s dissection of the regular 12-gon [2, Fig. 2.6.4], consist of triangles of two different shapes.
In this paper we consider dissections of the regular polygons using triangles of one single shape but not necessarily of the same size. What we are interested in is the existence of tilings, independently of the rearrangement of the pieces (which is the usual motivation for the puzzles mentioned). We confine our attention to triangles having angles that are rational multiples of \(\pi \). Our aim is to show that if N is large enough, then there are at most three nonsimilar triangles T in this class such that the regular N-gon can be dissected into similar copies of T.
1.1 Main Results
By a dissection (or tiling) of a polygon A we mean a decomposition of A into finitely many nonoverlapping polygons. No other conditions are imposed on the tilings. In particular, it is allowed that two pieces have a common boundary point, but do not have a common side. We say that a triangle T tiles a polygon A, if A can be dissected into finitely many nonoverlapping triangles similar to T. Our main result is the following.
Theorem 1.1
Suppose that a triangle with angles \(\alpha ,\beta ,\gamma \) tiles the regular N-gon, where \(N\ge 25\) and \(N\ne 30, 42\). If \(\alpha ,\beta ,\gamma \) are rational multiples of \(\pi \), then, after a suitable permutation of \(\alpha ,\beta ,\gamma \), one of the following statements is true:
-
(i)
\(\alpha =(N-2)\pi /N\) and \(\beta =\gamma =\pi /N\),
-
(ii)
\(\alpha =\beta =(N-2)\pi /(2N)\) and \(\gamma =2\pi /N\), or
-
(iii)
\(\alpha =(N-2)\pi /(2N)\), \(\beta =\pi /N\), and \(\gamma =\pi /2\).
Let \(R_N\) and \(\delta _N\) denote the regular N-gon and its angle; that is, let \(\delta _N =(N-2)\pi /N\). Connecting the center of \(R_N\) with the vertices of \(R_N\) we obtain a dissection of \(R_N\) into N congruent isosceles triangles with angles listed in (ii). Bisecting each of these triangles into two right angled triangles, we get a dissection of \(R_N\) into 2N congruent triangles with angles listed in (iii).
Thus the triangles with angles listed in (ii) and (iii) tile \(R_N\), even with congruent copies. This is also true for the triangle with angles listed in (i) if \(N=3\), 4, or 6. (As for \(N=6\), see Fig. 1.) If N is different from 3, 4, or 6, then dissections of \(R_N\) with congruent copies of a triangle with angles \(\alpha =\delta _N\) and \(\beta =\gamma =\pi /N\) do not exist (see [5, Lem. 3.5]). It is not clear, however, if \(R_N\) can be dissected into similar triangles of angles \(\alpha =\delta _N\) and \(\beta =\gamma = \pi /N\) for every N. If \(N=5\), 8, 10, or 12, then such tilings exist (see [6]).
Suppose there is a tiling of \(R_N\) with triangles of angles \(\alpha ,\beta , \gamma \), and let \(V_1 ,\ldots ,V_M\) be an enumeration of the vertices of the tiles such that \(V_1 ,\ldots ,V_N\) are the vertices of \(R_N\). Let \(p_j , q_j ,r_j\) denote the number of angles \(\alpha \), \(\beta \), resp. \(\gamma \) meeting at the vertex \(V_j\). Then \(p_j, q_j, r_j\), \(j=1,\ldots ,M\), are nonnegative integers such that
where \(\sigma _j =\delta _N\) if \(1\le j\le N\), and \(\sigma _j =\pi \) or \(2\pi \) depending on whether \(V_j\) is on the boundary or in the interior of \(R_N\) if \(N< j\le M\). The integers \(p_j, q_j, r_j\) must also satisfy
since each sum must be equal to the number of tiles. We call (1) the equation at the vertex \(V_j\). Theorem 1.1 will be proved through the following results.
Theorem 1.2
Suppose a tiling of \(R_N\) with triangles of angles \(\alpha ,\beta ,\gamma \) is given, where \(\alpha ,\beta ,\gamma \) are rational multiples of \(\pi \). If \(N\ne 6\), then each angle of \(R_N\) is packed with at most two tiles.
Theorem 1.3
Suppose a tiling of \(R_N\) with triangles of angles \(\alpha ,\beta ,\gamma \) is given, where \(\alpha ,\beta ,\gamma \) are rational multiples of \(\pi \) and \(N>6\). Then the equations at the vertices \(V_1 ,\ldots ,V_N\) are the same. More precisely, after a suitable permutation of \(\alpha ,\beta ,\gamma \), one of the following is true:
-
(i)
The equation at every vertex of \(R_N\) is \(\alpha =\delta _N\).
-
(ii)
The equation at every vertex of \(R_N\) is \(\alpha +\beta =\delta _N\).
-
(iii)
The equation at every vertex of \(R_N\) is \(2\alpha =\delta _N\).
Theorem 1.4
Suppose a tiling of \(R_N\) with triangles of angles \(\alpha ,\beta ,\gamma \) is given, where \(\alpha ,\beta ,\gamma \) are rational multiples of \(\pi \) and \(N>5\). If the equation at every vertex of \(R_N\) is \(\alpha =\delta _N\), then we have \(\beta =\gamma =\pi /N\).
Theorem 1.5
Suppose a tiling of \(R_N\) with triangles of angles \(\alpha ,\beta ,\gamma \) is given, where \(\alpha ,\beta ,\gamma \) are rational multiples of \(\pi \) and \(N>10\). If the equations at the vertices of \(R_N\) are \(\alpha +\beta =\delta _N\), then we have \(\alpha =\beta =\delta _N /2\) and \(\gamma =2\pi /N\).
Theorem 1.6
Suppose a tiling of \(R_N\) with triangles of angles \(\alpha ,\beta ,\gamma \) is given, where \(\alpha ,\beta ,\gamma \) are rational multiples of \(\pi \) and \(N\ge 25\) with \(N\ne 30,42\). If the equations at the vertices of \(R_N\) are \(2\alpha =\delta _N\), then we have either \(\alpha =\gamma =\delta _N/2\) and \(\beta =2\pi /N\), or \(\alpha =\delta _N/2\), \(\beta =\pi /N\), and \(\gamma =\pi /2\).
It is clear that Theorem 1.1 follows from Theorems 1.3–1.6.
Remark 1.7
As Fig. 1 shows, the statements of Theorems 1.2 and 1.3 are not true for \(N=6\).
The lower bound in Theorem 1.4 is also sharp, moreover, the statement of the theorem is false for every \(N\le 5\). One can show, using the ideas of [6] that the triangle with angles \(\alpha =6\pi /10\), \(\beta =\pi /10\), and \(\gamma =3\pi /10\) tiles \(R_5\) so that the equation at each vertex of \(R_5\) is \(\alpha =\delta _5\) (but \(\beta \ne \gamma \)).
As for \(N=4\), Fig. 2 shows a tiling of the square ABCD with 12 right triangles of angles \(\alpha =\pi /2\), \(\beta =\pi /12\), and \(\gamma =5\pi /12\). If the side length of the square is 4 then we have \(\overline{AE}=\overline{FC}=2-\sqrt{3}\) and \(\overline{EB}=\overline{DF}=2+\sqrt{3}\). Note that in this tiling \(\alpha =\delta _4\) at each vertex of the square, but \(\beta \ne \gamma \).
It is easy to see that the regular triangle can be decomposed into eight congruent triangles with angles \(\alpha =\pi /3\), \(\beta =\pi /6\), and \(\gamma =\pi /2\) such that the equation at each vertex of \(R_3\) is \(\alpha =\delta _3\).
As for the sharpness of the bounds appearing in Theorems 1.5 and 1.6 we refer to Remark 1.11 below.
1.2 Regular and Irregular Tilings
A tiling into similar triangles is called regular, if the pieces have two angles, \(\alpha \) and \(\beta \), such that at each vertex V of any of the tiles, the number of tiles having angle \(\alpha \) at V is the same as the number of tiles having angle \(\beta \) at V. Otherwise the tiling is irregular. It is known that the number of triangles that tile a given polygon irregularly is always finite (see [4, Thm. 4]). On the other hand, for every \(N\ge 3\) there are infinitely many triangles that tile the regular N-gon regularly (see [4, Thm. 2]).
The problem of listing all triangles that tile a given polygon is difficult; it is unsolved even for the regular triangle. In fact, the problem is solved only for the square; see [3, 8]. (See also [5], where the tilings of convex polygons with congruent triangles are considered.) As for irregular tilings of \(R_N\), \(N>10\), we have the following corollary of Theorems 1.3–1.5.
Theorem 1.8
Suppose a triangle T with angles \(\alpha ,\beta ,\gamma \) tiles \(R_N\), where \(N>10\). Then there is an irregular tiling of \(R_N\) with pieces similar to T if and only if \(\alpha ,\beta ,\gamma \) are rational multiples of \(\pi \).
Proof
Suppose there is an irregular tiling of \(R_N\) with pieces similar to T. Let \(V_1 ,\ldots ,V_M\) denote the vertices of the tiles, where \(M\ge N\) and \(V_1 ,\ldots ,V_N\) are the vertices of \(R_N\). If the number of angles \(\alpha ,\beta , \gamma \) meeting at \(V_j\) is \(p_j ,q_j ,r_j\), respectively, then (1) and (2) are satisfied. The irregularity of the tiling means that there are indices i, j, k such that \(p_i \ne q_i\), \(p_j \ne r_j\), and \(q_k \ne r_k\).
Consider all systems of nonnegative integers \(s_j ,t_j ,u_j\), \(j=1,\ldots ,m\), \(m\ge N\), such that
-
(i)
\(s_j \alpha +t_j \beta +u_j \gamma =\sigma _j\), \(j=1,\ldots ,m\), where \(\sigma _j =\delta _N\) if \(1\le j\le N\) and \(\sigma _j =\pi \) or \(2\pi \) if \(N< j\le m\),
-
(ii)
\(\sum \limits _{j=1}^m s_j =\sum \limits _{j=1}^m t_j =\sum \limits _{j=1}^m u_j\), and
-
(iii)
there are indices i, j, k such that \(s_i \ne t_i\), \(s_j \ne u_j\), and \(t_k \ne u_k\).
Fix a system with these properties such that the value from (ii) is minimal. By [4, Lem. 10], these conditions imply that there are indices \(i<j\) such that the determinant
is nonzero. Then the corresponding system of equations
determines \(\alpha ,\beta ,\gamma \). Applying Cramer’s rule, we find that \(\alpha ,\beta ,\gamma \) are rational multiples of \(\pi \).
Next let \(\alpha ,\beta , \gamma \) be rational multiples of \(\pi \). Since \(N>10\), one of (i)–(iii) of Theorem 1.3 holds. If (i) or (ii) holds, then it follows from Theorems 1.4 and 1.5 that T is isosceles. Suppose \(\alpha =\beta \), and consider a tiling of \(R_N\) with pieces similar to T. If the tiling is irregular, we are done. If, however, it is regular, then changing the labels \(\alpha \) and \(\beta \) in one of the pieces we obtain an irregular tiling.
Now suppose that (iii) of Theorem 1.3 holds. We prove that in this case every tiling with similar copies of T must be irregular. Suppose this is not true, and consider a regular tiling. Let (1) be the equation at the vertex \(V_j\), \(j=1,\ldots ,M\). We put \(v_j =\sigma _j /\pi \), then \(v_j =1\) or 2 for every \(N<j\le M\). Since the equation at each vertex of \(R_N\) is \(2\alpha =\delta _N\), it follows that \(q_j =r_j \) for every j. Then there must be an equation with \(p_j <q_j =r_j\), since in the equations at the vertices of \(R_N\) we have \(p_j >q_j =0\). For this equation we have
hence \((q_j -p_j )(1/2+1/N)=v_j -p_j\) and \((N+2)(q_j -p_j )=2N(v_j -p_j )\). Since \(q_j -p_j \) is a positive integer, we have \((N+2) \,|\, 2N(v_j -p_j )\) and \((N+2) \,|\, 4(v_j -p_j )\). Now \(v_j -p_j\) is positive, since \((N+2)(q_j -p_j )>0\). Then \(0<v_j -p_j \le 2\), \(0<4(v_j -p_j )\le 8\), and thus \((N+2) \,|\,4(v_j -p_j )\) implies \(N\le 6\), which is impossible. \(\square \)
Comparing Theorem 1.8 with Theorem 1.1 we obtain the following.
Corollary 1.9
If \(N>42\), then there are at most three triangles that tile the regular N-gon irregularly.
1.3 Conditions (K) and (E)
The main tool in the proof of Theorems 1.2–1.6 is the next result.
Lemma 1.10
Suppose \(R_N\) can be dissected into finitely many triangles with angles \(\alpha =(a/n)\pi \), \(\beta =(b/n)\pi \), \(\gamma =(c/n)\pi \), where a, b, c, n are positive integers with \(a+b+c=n\). Let the equation at the vertices of \(R_N\) be \(p_j \alpha +q_j \beta +r_j \gamma =\delta _N\), \(j=1,\ldots ,N\). If k is prime to nN and \(\{ k/N\} <1/2\), then we have
for every \(j=1,\ldots ,N\).
We say that the angles \(\alpha =(a/n)\pi \), \(\beta =(b/n)\pi \), \(\gamma = (c/n)\pi \) satisfy condition (K), if the conclusion of the lemma above holds; that is, if (3) and (4) hold true for every k such that \(\mathrm{gcd} \, (k, nN)=1\) and \(\{ k/N\} <1/2\). As we shall see in the next section, condition (K) is deduced from the properties of conjugate tilings.
If a tiling exists with triangles of angles \(\alpha ,\beta ,\gamma \), then the angles have to satisfy another necessary condition: there must exist nonnegative integers \(p_j,q_j,r_j\), \(j=1,\ldots ,M\), \(M\ge N\), such that (1) and (2) hold. We say that the angles \(\alpha ,\beta ,\gamma \) satisfy condition (E), if there are nonnegative integers \(p_j, q_j , r_j\) satisfying (1) and (2).
In the proof of Theorems 1.2–1.6 we only use conditions (K) and (E) on the angles \(\alpha ,\beta ,\gamma \). In fact, we are not aware of any other necessary condition that must be satisfied by the angles of a tiling, if they are rational multiples of \(\pi \). Perhaps it would be hasty to conjecture that whenever the angles of a triangle satisfy conditions (K) and (E), then a tiling must exist. Still, it should be remarked that tilings of \(R_N\) with triangles of angles \(\alpha =\delta _N\) and \(\beta =\gamma =\pi /N\) were found for \(N=5\), 8, 10, and 12 in [6]. In this context we also mention Szegedy’s remarkable tilings of the square with right triangles, found ten years after the necessary conditions were established [8].
Remark 1.11
We do not know if the lower bounds in Theorems 1.5 and 1.6 are sharp or not. We show, however, that if we only use conditions (K) and (E), then these bounds cannot be improved. As for Theorem 1.5, consider the triangle T with angles
Then the existence of a tiling of \(R_{10}\) with similar copies of T cannot be disproved by only using conditions (K) and (E). Suppose that the equation at each vertex of \(R_{10}\) is \(\alpha +\beta =\delta _{10}\). Then condition (K) is satisfied. Indeed, the only k with \(1<k<10\), \(\mathrm{gcd} \, (k,10)=1\), and \(\{ k/10\} <1/2\) is \(k=3\), and it is easy to check that both (3) and (4) are satisfied if \((a/n,b/n,c/n)=(7/10,1/10,2/10)\) and \(k=3\). Condition (E) is also satisfied: take 10 equations \(\alpha +\beta =\delta _{10}\) and an equation \(10\gamma =2\pi \).
In the case of Theorem 1.6, consider the triangle with angles
and let the equation at each vertex of \(R_{42}\) be \(2\alpha =\delta _{42}\). Then condition (K) is satisfied. Indeed, if \(1<k<42\), \(\mathrm{gcd} \, (k,42)=1\), and \(\{ k/42\} <1/2\), then k is one of 5, 11, 13, 17, 19. It is easy to check that both (3) and (4) are satisfied if \((a/n,b/n,c/n)=(20/42,10/42,12/42)\) and if k is any of these values. Condition (E) is also satisfied: take 42 equations \(2\alpha =\delta _{42}\), 8 equations \(7\gamma =2\pi \), and 28 equations \(3\beta +\gamma =\pi \).
Similarly, if \(N=30\), then the triple
satisfies both conditions (K) and (E). As for the latter, take 30 equations \(2\alpha =\delta _{30}\), 20 equations \(3\gamma =\pi \), and 12 equations \(5\beta =\pi \).
1.4 Further Lemmas
Since condition (K) is of arithmetical nature, it can be expected that in the arguments involving condition (K) we need some facts from elementary number theory. These facts are collected in the next lemmas. Their proofs, being independent of the rest of the paper, are postponed to the last three sections.
Lemma 1.12
Let \(a,n,N,N'\) be positive integers such that \(\mathrm{gcd} \, (a,n)=1\) and \(\mathrm{gcd} \, (N,N')=1\). Then one of the following statements is true.
-
(i)
There exists an integer k such that \(\mathrm{gcd} \, (k,nN)=1\), \(k\equiv N'\) (mod N), and \(\{ ka/n\} \ge 1/3\).
-
(ii)
N is odd and \(n\,|\,2N\).
-
(iii)
N is even and \(n\,|\,N\).
Lemma 1.13
Let a, b, n, N be positive integers and p, q be nonnegative integers such that \(a+b<n\), \(N\ge 3\), \(N\ne 6\), and
for every integer k satisfying \(\mathrm{gcd} \, (k,nN)=1\) and \(\{ k/N\} <1/2\). Then we have \(p+q\le 2\).
Note that Theorem 1.2 is a consequence of Lemmas 1.10 and 1.13. Indeed, suppose a tiling of \(R_N\) with triangles of angles \(\alpha ,\beta ,\gamma \) is given, where \(\alpha ,\beta ,\gamma \) are rational multiples of \(\pi \). Then \(\alpha =(a/n)\pi \), \(\beta =(b/n)\pi \), and \(\gamma =(c/n)\pi \), where a, b, c, n are positive integers with \(a+b+c=n\). Let (1) be the equation at the vertex \(V_j\), \(j=1,\ldots ,M\). By Lemma 1.10, we have (4) for every \(j=1,\ldots ,N\), whenever k is prime to nN and \(\{ k/N\} <1/2\).
Let \(j\le N\) be fixed. Then \(\min (p_j ,q_j, r_j )=0\), since \(\sigma _j =\delta _N <\pi \). By symmetry we may assume \(r_j=0\). Then (5) holds with \(p=p_j\) and \(q=q_j\) for every k such that \(\mathrm{gcd} \, (k,nN)=1\) and \(\{ k/N\} <1/2\). If \(N\ne 6\) then, by Lemma 1.13, we obtain that \(p_j +q_j \le 2\). Therefore, the number of angles meeting at the vertex \(V_j\) is \(p_j +q_j \le 2\); that is, the angle of \(R_N\) at the vertex \(V_j\) is packed with at most two tiles.
Lemma 1.14
-
(i)
For every even integer \(N\ge 26\) there are integers \(k, k'\) such that \(N/4< k,k'<N/2\), \(\mathrm{gcd} \, (k,N)=\mathrm{gcd} \, (k',N)=1\), \(k\equiv 1\) (mod 4), and \(k'\equiv 3\) (mod 4).
-
(ii)
For every \(N\ge 43\) there exists an integer k such that \(N/6< k<N/4\) and \(\mathrm{gcd} \, (k,2N)=1\).
The following simple observation will be used frequently.
Proposition 1.15
Let u, v, n be nonzero integers. If \(\mathrm{gcd} \, (u,v)=1\), then there exists an integer j such that \(u+jv\) is prime to n.
Proof
Let j be the product of those primes that divide n but do not divide u. (We put \(j=1\) if there is no such prime.) Then every prime divisor of n divides exactly one of u and jv, and thus \(\mathrm{gcd} \, (u+jv,n)=1\). \(\square \)
The paper is organised as follows. In the next five sections we prove Lemma 1.10 and Theorems 1.3–1.6, in this order. Then we prove Lemmas 1.12–1.14 in Sects. 7–9.
2 Proof of Lemma 1.10
Suppose \(R_N\) is tiled with the triangles \(\Delta _1 ,\ldots ,\Delta _t\) with angles \(\alpha =(a/n)\pi \), \(\beta =(b/n)\pi \), \(\gamma =(c/n)\pi \), where a, b, c, n are positive integers with \(a+b+c=n\). Let the vertices of \(R_N\) be the \(N^{\text {th}}\) roots of unity; that is, let \(V_j =e^{2{\pi }{ji}{/}{N}}\) for every \(j=0,\ldots ,N-1\). First we assume that \(4N\,|\,n\). Let \(\zeta \) denote the first \(n^{\mathrm{th}}\) root of unity, and let F denote the field of real elements of the cyclotomic field \({{\mathbb {Q}}}(\zeta )\). Then the coordinates of the vertices of \(R_N\) belong to F, since \(\cos 2j \pi /N =(\zeta ^{nj/N} +\zeta ^{-nj/N})/2\) and \(\sin 2j \pi /N =(\zeta ^{nj/N} -\zeta ^{-nj/N})/(2\zeta ^{n/4})\) for every integer j. Also, \(\cot \alpha ,\cot \beta ,\cot \gamma \) belong to F, since
for every j. In [3, Thm. 1] it is proved that if a polygon P is decomposed into the non-overlapping triangles \(\Delta _1,\ldots ,\Delta _t\), then the coordinates of the vertices of each \(\Delta _j\) belong to the field generated by the coordinates of the vertices of P and the cotangents of the angles of the triangles \(\Delta _j\). In our case this implies that the coordinates of the vertices of the triangles \(\Delta _j\) belong to F.
Let k be an integer prime to n, and let \(\phi :{{\mathbb {Q}}}(\zeta ) \rightarrow {{\mathbb {C}}}\) be the isomorphism of \({{\mathbb {Q}}}(\zeta )\) satisfying \(\phi (\zeta )=\zeta ^k\). Then \(\phi \) commutes with complex conjugation, and thus \(\phi \) restricted to F is also an isomorphism. It is easy to check that
for every integer j. We define \(\Phi (x,y)=(\phi (x),\phi (y))\) for every \(x,y\in F\). Then \(\Phi \) is a collineation defined on \(F\times F\). In particular, \(\Phi \) is defined on the set of vertices of the tiles \(\Delta _j\), \(j=1,\ldots ,t\). We denote by \(\Delta '_j\) the triangle with vertices \(\Phi ( V_{j,1}) ,\Phi ( V_{j,2}) ,\Phi ( V_{j,3} ) \), where \(V_{j,1},V_{j,2},V_{j,3}\) are the vertices of \(\Delta _j \).
Let the points \(x_i =(a_i ,b_i )\), \(i=1,2,3\), be the vertices of a triangle \(\Delta \), where \(a_i ,b_i \in F\), \(i=1,2,3\), and let \(\Delta '\) denote the triangle with vertices \(\Phi (x_i )\), \(i=1,2,3\). Let \(\alpha _i\) and \(\alpha '_i\), \(i=1,2,3\), denote the angles of \(\Delta \) and of \(\Delta '\), respectively. A simple computation shows that \(\cot \alpha _i '= \varepsilon \phi (\cot \alpha _i )\) holds for \(i=1,2,3\), where \(\varepsilon =1 \) if the map \(\Phi \) does not change the orientation of \(\Delta \), and \(\varepsilon =-1\) otherwise (see [3, Lem. 6]).
Put \(\varepsilon _j=1\) if \(\Phi \) does not change the orientation of \(\Delta _j\) and \(\varepsilon _j =-1\) otherwise. If the angles of \(\Delta ' _j\) are \(\alpha '_j,\beta '_j,\gamma '_j\), then, by the result above, we have
and, similarly,
Note that at least two of the numbers \(\cot \alpha '_j ,\cot \beta '_j ,\cot \gamma '_j\) are positive for every j. Since the integers a, b, c, n, k are fixed, this implies that the value of \(\varepsilon _j\) is the same for every \(j=1,\ldots ,t\). Therefore, the orientation of the triangles \(\Delta '_j\) is the same, and the angles of each \(\Delta '_j\) are
if \(\varepsilon \cdot (-1)^{(k-1)/2}=1\), and
if \(\varepsilon \cdot (-1)^{(k-1)/2}=-1\), where \(\varepsilon \) is the common value of \(\varepsilon _j\), \(j=1,\ldots ,t\).
Note that by \(4\,|\,n\) we have \(i=\zeta ^{n/4} \in {{\mathbb {Q}}}(\zeta )\) and \(\phi (i)=\zeta ^{kn/4}=(-1)^{(k-1)/2}i\). If we identify \({{{\mathbb {R}}}}^2\) with \({{\mathbb {C}}}\) then we find that for every \(z=x+iy \in {{\mathbb {Q}}}(\zeta )\), \(\Phi (z)= \phi (x)+i\phi (y)=\phi (z)\) if \((-1)^{(k-1)/2}=1\), and \(\Phi (z)= \overline{\phi (z)}\) if \((-1)^{(k-1)/2}=-1\).
Clearly, \(\Phi (V_1 ),\ldots ,\Phi (V_N )\) are the vertices of a star polygon \(R'_N\). By the previous observation, the order of the vertices of \(R'_N\) is \(1,\zeta ^{kn/N} ,\ldots ,\zeta ^{(N-1)kn/N}\) or \(1,\zeta ^{-kn/N} ,\ldots ,\zeta ^{-(N-1)kn/N}\), depending on the sign of \((-1)^{(k-1)/2}\).
Suppose \(\{ k/N \} <1/2\). Then the angles of \(R'_N\) at the vertices equal \((1-2\{ k/N\} )\pi \), and the orientation of \(R'_N\) is positive or negative according to the sign of \((-1)^{(k-1)/2}\).
Let w(x; P) denote the winding number of a closed polygon P at a point \(x\notin P\); that is, \(w(x;P)=(1/(2\pi i)) \int _P dz/(z-x)\). Since the boundary \(\partial R'_N\) of \(R'_N\) as an oriented cycle equals the sum of the boundaries \(\partial \Delta '_j\), we have
If x does not belong to the boundaries of \(\Delta ' _j\), then we have either \(w(x;\partial \Delta '_j ) =\varepsilon \) or \(w(x;\partial \Delta '_j ) =0\) for every j. Therefore, if \(w(x;R'_N)=\pm 1\), then x belongs to exactly one of the triangles \(\Delta '_j\). Now, for each vertex \(V'_j\), \(j=1,\ldots ,N\), there is an angular domain \(D_j\) of angle \((1-2\{ k/N\} )\pi \), and there is a neighbourhood \(U_j\) of \(V'_j\) such that \(w(x;R'_N)=(-1)^{(k-1)/2}\) if \(x\in U_j \cap D_j\) and \(w(x;R'_N)=0\) if \(x\in U_j \setminus D_j\). This implies that \(\varepsilon =(-1)^{(k-1)/2}\), the triangles having a vertex at \(V'_j\) are nonoverlapping, and their union in \(U_j\) equals \(U_j \cap D_j \). Therefore, the angles \(\alpha ',\beta ', \gamma '\) are given by (6), and thus (3) and (4) hold. This proves the theorem in the case when \(4N\,|\,n\).
In the general case we put \(m=4Nn\). Then we have \(\alpha =(4Na/m)\pi \), \(\beta =(4Nb/m)\pi \), \(\gamma =(4Nc/m)\pi \).
Let k be prime to nN, and suppose \(\{ k/N\} <1/2\). Then \(k+snN\) is prime to m for a suitable s by Proposition 1.15. Since \(\{ (k+snN)/N\} =\{ k/N\} <1/2\), and \(\{ (k+snN)\cdot 4Na/m\} =\{ ka/n\}\), etc., we obtain (3) and (4).
3 Proof of Theorem 1.3
In the next two sections we write \(\delta \) for \(\delta _N\). By Theorem 1.2, the equation at each vertex of \(R_N\) equals one of \(\alpha =\delta \), \(\beta =\delta \), \(\gamma =\delta \), \(\alpha +\beta =\delta \), \(\alpha +\gamma =\delta \), \(\beta +\gamma =\delta \), \(2\alpha =\delta \), \(2\beta =\delta \), \(2\gamma =\delta \).
First suppose that \(\alpha =\delta \) is one of the equations. If \(\beta =\delta \) is another, then \(\alpha +\beta <\pi \) gives \(2\delta <\pi \), \(2(N-2)/N <1\), and \(N<4\), which is impossible. We have the same conclusion if \(\gamma =\delta \). It is clear that \(\alpha +\beta =\delta \) or \(\alpha +\gamma =\delta \) is impossible. If \(\beta +\gamma =\delta \), then \(2\delta =\alpha +\beta +\gamma =\pi \), \(\delta =\pi /2\), and \(N=4\), which is impossible. Clearly, \(2\alpha =\delta \) is impossible. If \(2\beta =\delta \), then \(\alpha +\beta <\pi \) gives \(\alpha +\beta =3\delta /2 =3\pi /2 -3\pi /N<\pi \) and, \(N<6\), which is impossible. We have the same conclusion if \(2\gamma =\delta \). We find that if \(\alpha =\delta \) is one of the equations, then each of the equations is \(\alpha =\delta \), and we have (i). Therefore, we may assume that the equation at each vertex \(V_j\) equals one of \(\alpha +\beta =\delta \), etc., \(2\alpha =\delta \), etc.
Suppose that \(\alpha +\beta =\delta \) is one of the equations. If \(\alpha +\gamma =\delta \) is another, then \(\beta =\gamma \), \(\alpha =\pi -2\beta \), \(\delta =\pi -\beta \), \(\beta =\gamma =2\pi /N\), \(\alpha =(N-4)\pi /N\). Let
Then \(\mathrm{gcd} \, (k,N)=1\) and \(0<k<N/2\). By Lemma 1.10, this implies that (3) holds, hence \(4k/N=\{ 2k/N\} +\{ 2k/N\} <1\) and \(k<N/4\). If N is odd, then this implies \((N-1)/2<N/4\), which is impossible. If \(4\,|\,N\), then \(N/2-1<N/4\) is also impossible. If \(N\equiv 2\) (mod 4), then we get \(N/2-2<N/4\), \(N<8\), \(N=6\), which is excluded. We have the same conclusion if \(\beta +\gamma =\delta \). If \(2\gamma =\delta \) is another equation, then \(\pi =\alpha +\beta +\gamma =3\delta /2\), \(3(N-2)/(2N)=1\), and \(N=6\), which is impossible.
We find that if \(\alpha +\beta =\delta \) is one of the equations, then either each of the equations is \(\alpha +\beta =\delta \), that is, (ii) holds, or each of the other equations is one of \(\alpha +\beta =\delta \), \(2\alpha =\delta \) and \(2\beta =\delta \), and at least one of \(2\alpha =\delta \) and \(2\beta =\delta \) must occur. Then we have \(\alpha =\beta =\delta /2\), and the tiles are isosceles. It is easy to check that in this case we can exchange the labels of the angles \(\alpha \) and \(\beta \) in some of the tiles so that each equation at the vertices becomes \(\alpha +\beta =\delta \), and thus (ii) holds. Therefore, we may assume that the equation at each vertex \(V_j\) equals one of \(2\alpha =\delta \), \(2\beta =\delta \), and \(2\gamma =\delta \). If all of these equations occur, then \(\alpha =\beta =\gamma =\pi /3\), \(\delta =2\pi /3\), and \(N=6\), which is excluded. If two of them, say \(2\alpha =\delta \) and, \(2\beta =\delta \) occur, then we have \(\alpha = \beta =\delta /2\), and the tiles are isosceles. Then, as above, we can exchange the labels of the angles \(\alpha \) and \(\beta \) in some of the tiles so that each equation at the vertices becomes \(\alpha +\beta =\delta \), and thus (ii) holds. Finally, if only \(2\alpha =\delta \) occurs, then we have (iii).
4 Proof of Theorem 1.4
We have \(\alpha =\delta \) and \(\beta +\gamma =2\pi /N\). If \(\beta =\gamma \), then we have \(\beta =\gamma =\pi /N\), and we are done. Therefore, we may assume \(\gamma >\beta \) by symmetry.
Let \(\alpha =(a/n)\pi \), \(\beta =(b/n)\pi \), \(\gamma =(c/n)\pi \), where a, b, c, n are positive integers such that \(a+b+c=n\). Let \(b/n =b_2 /n_2\) and \(c/n = c_3 /n_3\), where \(\mathrm{gcd} \, (b_2 ,n_2 )=\mathrm{gcd} \, (c_3 ,n_3 )=1\). Then
We apply Lemma 1.12 with \(c_3\) in place of a, \(n_3\) in place of n and with \(N'=1\). Then we find that one of the following statements is true.
-
(i)
There is a k prime to \(n_3 N\) and such that \(k\equiv 1\) (mod N) and \(\{ kc_3 /n_3 \} \ge 1/3\);
-
(ii)
N is odd and \(n_3 \,|\,2N\);
-
(iii)
N is even and \(n_3 \,|\,N\).
Suppose (i). Replacing k by \(k+jn_3 N\) with a suitable j, we may assume that k is prime to nN. By Lemma 1.10 we have (3) and \(\{ ka/n\} +\{ kc/n\} <1\). Since \(\{ ka/n\} =\{ k(N-2)/N\} =\{ (N-2)/N\} =(N-2)/N\) and \(\{ kc/n\} \ge 1/3\), we have \((N-2)/N <2/3\) and \(N<6\), which is impossible.
Next suppose (ii). Then (7) gives \(n_2 \,|\,2N\). Now we have \((b_2 /n_2 )+(c_3 /n_3 )=2/N=4/(2N)\), and thus we have \(c_3 /n_3 =3/(2N)\) and \(b_2 /n_2 =1/(2N)\) by \(c_3 /n_3 > b_2 /n_2\). Since \(k=N+2\) is prime to 2N and \(\{ k/N\} =2/N<1/2\), it follows from (3) that
which is absurd.
Finally, suppose (iii). Then (7) gives \(n_2\,|\,N\). Thus \(b_2 /n_2\ge 1/N\) and \(c_3 /n_3 \ge 1/N\). Since \(b_2 /n_2+c_3 /n_3=2/N\) and \(c_3 /n_3 > b_2 /n_2\), this is impossible.
5 Proof of Theorem 1.5
We put
Then \(\mathrm{gcd} \, (N,N')=1\) and \(\{ N'/N\} <1/2\).
Let \(\alpha = a_1 \pi /n_1\), where \(\mathrm{gcd} \, (a_1 ,n_1 )=1\). By Lemma 1.12, at least one of the following statements is true:
-
(i)
there exists a k such that \(k\equiv N'\) (mod N), \(\mathrm{gcd} \, (k,n_1 N)=1\), and \(\{ ka_1 /n_1 \} \ge 1/3\);
-
(ii)
N is odd and \(n_1 \,|\,2N\); and
-
(iii)
N is even and \(n_1 \,|\,N\).
If (i) holds then we may assume that k also satisfies \(\mathrm{gcd} \, (k,nN)=1\). Indeed, if k satisfies the conditions of (i), then so does \(k+jn_1 N\) for every j. Replacing k by \(k+jn_1 N\) with a suitable j, we find that \(\mathrm{gcd} \, (k,nN)=1\) will also hold. Therefore, by (4) of Lemma 1.10, we obtain
and \(N'<N/3\), which is impossible by \(N> 10\).
Next suppose that N is odd and \(n_1 \,|\, 2N\) (case (ii)). Let \(b/n=b_2 /n_2\), where \(\mathrm{gcd} \, (b_2 ,n_2 )=1\). Since \(\beta =(\alpha +\beta )-\alpha = (N-2)\pi /N -\alpha \), we have
and thus \(n_2 \,|\,2N\). Then \(c_3 /n_3 =1-a_1 /n_2-b_2 /n_2\) gives \(n_3 \,|\,2N\). Therefore, we may assume \(n=2N\). We put \(k=N'\) if \(N'\) is odd and \(k=N'+N\) if \(N'\) is even. Then \(\mathrm{gcd} \, (k,2N)=1\) and \(\{ k/N\} <1/2\), and thus (4) of Lemma 1.10 gives
Since \(\{ ka/(2N)\}\) and \(\{ kb/(2N)\}\) are positive integer multiples of 1/(2N), (9) gives \(\{ ka/(2N)\} = \{ kb/(2N)\} =1/(2N)\). Then \(ka\equiv kb \equiv 1\) (mod 2N). By \(\mathrm{gcd} \, (k,2N) =1\) this implies \(a\equiv b\) (mod 2N), \(a=b\), and \(\alpha =\beta =(1/2-1/N)\pi \). That is, the statement of the theorem is true in this case.
Finally, suppose that \(2\,|\,N\) and \(n_1\,|\,N\) (case (iii)). Then we may assume \(n=N\) by (8). Then (4) of Lemma 1.10 gives
The value of \(N'/N\) is \(1/2-1/N\) if \(4\,|\,N\), and \(1/2-2/N\) if \(N\equiv 2\) (mod 4). Thus \(1-2N'/N\) equals either 2/N or 4/N. Since \(\{ N'a/N\}\) and \(\{ N'b/N\}\) are positive integer multiples of 1/N, we have the following possibilities: \(\{ N'a/N\} = \{ N'b/N\} =1/N\), \(\{ N'a/N\} = \{ N'b/N\} =2/N\), or \(\{ \{ N'a/N\} ,\{ N'b/N\} \} = \{ 1/N, 3/N\}\). In the third case we may assume, by symmetry, that \(\{ N'a/N\} =1/N\).
In the first two cases we have \(N'a\equiv N'b\) (mod N), \(a\equiv b\) (mod N), \(a=b\), \(\alpha =\beta =(1/2-1/N)\pi \), and we are done. Therefore, we may assume that \(N\equiv 2\) (mod 4) and \(\{ N'a/N\} =1/N\); that is, \(N'a\equiv 1\) (mod N). Since N is even, a must be odd. Now N/2 is odd either, and thus \(Na/2\equiv N/2\) (mod N). Then, by \(N'=N/2-2\) we obtain
and \(2a+1\equiv N/2\) (mod N). Since \(0<a<N\), we have either \(2a+1=N/2\), that is, \(a=N/4-1/2\), or \(2a+1=3N/2\), that is, \(a=3N/4-1/2\). We consider these two cases separately.
Case 1: \(a=N/4-1/2\). By (i) of Lemma 1.14, if \(N\ge 26\), then there is a k such that \(N/4<k<N/2\), \(\mathrm{gcd} \, (k,N)=1\), and \(k\equiv 3\) (mod 4). Then
On the other hand, (4) of Lemma 1.10 gives
a contradiction. If \(N=14\), then \(a=N/4-1/2=3\) and \(b=N-2-a=9\). In this case \(k=3\) is prime to 14, \(3/14<1/2\), but
a contradiction. If \(N=18\), then \(a=4\) and \(b=12\). Then \(k=7\) is prime to 18, \(7/18<1/2\), but
a contradiction. If \(N=22\), then \(a=5\) and \(b=15\). Then \(k=7\) is prime to 22, \(7/22<1/2\), but
a contradiction. Therefore, the case \(a=N/4-1/2\) is impossible if \(N>10\).
Case 2: \(a=3N/4-1/2\). By (i) of Lemma 1.14, if \(N\ge 26\), then there is a k such that \(N/4<k<N/2\), \(\mathrm{gcd} \, (k,N)=1\), and \(k\equiv 1\) (mod 4). Then
a contradiction. If \(N=14\), then \(a=3N/4-1/2=10\) and \(b=N-2-a=2\). In this case \(k=5\) is prime to 14, \(5/14<1/2\), but
a contradiction. If \(N=18\), then \(a=13\) and \(b=3\). Then \(k=5\) is prime to 18, \(5/18<1/2\), but
a contradiction. If \(N=22\), then \(a=16\) and \(b=4\). Then \(k=5\) is prime to 22, \(5/22<1/2\), but
a contradiction. Therefore, the case \(a=3N/4-1/2\) is also impossible if \(N>10\). This completes the proof of the theorem.
Note that in the proof of Theorem 1.8 we only used Theorems 1.3–1.5. Therefore, as the proofs of Theorems 1.3–1.5 are completed, Theorem 1.8 is also proved (subject to the number theoretic Lemmas 1.12–1.14).
6 Proof of Theorem 1.6
By Theorem 1.8, we may assume that the tiling is irregular. By symmetry, we may assume \(\beta \le \gamma \). Then, by \(\alpha /\pi =(N-2)/(2N)\) we have
It follows that in every equation \(p\alpha +q\beta +r\gamma =v\pi \) we have \(r\le 7\). Note that in every equation we have \(p\le 4\), as \(\alpha >2\pi /5\) by \(N>10\).
By the irregularity of the tiling, there exists an equation \(p_0 \alpha +q_0 \beta +r_0\gamma =v_0 \pi \) such that \(v_0 =1\) or 2 and \(q_0<r_0\). We may assume \(\min (p_0 ,q_0 )=0\), since otherwise we turn to the equation \((p_0 -m)\alpha +(q_0 -m)\beta +(r_0 -m)\gamma =(v_0 -m)\pi \), where \(m=\min (p_0 ,q_0 )\). We have
We put
Note that \(-6\le u\le 4\) and \(1\le s\le 7\) by \(p_0 \le 4\) and \(q_0 <r_0 \le 7\). It is clear that \(t\le 4\). By \(u\alpha +s\gamma =(v_0 -q_0) \pi \) we obtain
Since \(\beta >0\), we get \((s-t)N>2(u-s) =2(p_0 -r_0 )\ge -14\). Thus \(s\ge t\), as \(s-t<0\) would imply \(N<14\). Next we show \(s\le 2t\). Suppose \(s>2t\). Then
hence \(1\le 2(2u-s)/N\), \(N\le 2( 2u-s)\le 14\), which is impossible. Thus \(s\le 2t\), which also implies \(t\ge 1\).
Summing up: we have
So the angles \(\beta \) and \(\gamma \) can only have a finite number (more precisely, at most \(11\cdot 7\cdot 4 =308\)) of possible values for every N. We show that if \(N \ge 25\) and \(N\ne 30, 42\), then only \(\gamma =\pi /2\) and \(\gamma =(1/2-1/N)\pi \) are possible, as the other cases do not satisfy conditions (K) and (E). We distinguish between two cases.
Case I: \(t=s\). By (11), this implies \(2v_0 =p_0 +r_0\). Then (12) and (13) give
Then \(\beta >0\) gives \(s>u\); that is, \(r_0 >p_0\). Thus the nonnegative integers \(p_0 ,q_0 ,r_0 ,v_0\) satisfy the following conditions: \(v_0 =1\) or 2, \(\min (p_0 ,q_0 )=0\), \(2v_0 =p_0 +r_0\), \(p_0 <r_0\), and \(q_0 <r_0\). It is easy to check that the quadruples \((p_0 ,q_0 ,r_0 ,v_0 )\) satisfying these conditions are the following:
The values of \((s-u)/s =(r_0 -p_0 )/(r_0 -q_0 )\) obtained in these cases are 1, 2, 4, 2/3, and 4/3. That is, the possible values of \(\beta \) are \(\pi /N\), \(2\pi /N\), \(4\pi /N\), \(2\pi /(3N)\), and \(4\pi /(3N)\). The first two cases give the triples listed in the theorem.
Suppose \(\beta =4\pi /N\). Then \(\gamma = (1/2-3/N)\pi \). If \(N\ge 43\), (ii) of Lemma 1.14 gives an integer k such that \(N/6< k<N/4\) and \(\mathrm{gcd} \, (k, 2N )=1\). Then \(\{ kb/n\} =\{ 4k/N\} > 2/3\) and
since \(1/2<3k/N<3/4\). Thus the triple \((\alpha ,\beta ,\gamma )\) does not satisfy condition (K). It is easy to check that for every \(25\le N <42\) the triple \((\alpha ,\beta ,\gamma )=((1/2-1/N)\pi , 4\pi /N, (1/2-3/N)\pi )\) does not satisfy condition (K).Footnote 1 Therefore, the case \(\beta =4\pi /N\) is impossible if \(N\ge 25\) and \(N\ne 42\).
Next suppose \(\beta =2\pi /(3N)\). Then \(\gamma =(1/2+1/(3N))\pi \). Let
Then \(\mathrm{gcd} \, (k,6N)=1\), and \(\{ k/N\} <1/2\). We have \(\{ kb/n \} = \{ 2k/(3N) \} >2/3\) and
since \(1/3<\{ k/(3N)\} <1/2\). Thus \((\alpha ,\beta ,\gamma )\) does not satisfy condition (K), and the case \(\beta = 2\pi /(3N)\) is impossible.
Finally, suppose \(\beta =4\pi /(3N)\). Then \(\gamma = 1/2-1/(3N)\). We put \(k=2N+1\) if \(N \not \equiv 1\) (mod 3), and \(k=2N+3\) if \(N \equiv 1\) (mod 3). Then \(\mathrm{gcd} \, (k,6N)=1\) and \(\{ k/N\} <1/2\). We have \(\{kb/n\} =\{ 4k/(3N)\} > 2/3\), since \(8/3< 4k/(3N)<3\). On the other hand,
since \(2/3< k/(3N)<3/4\). Thus \((\alpha ,\beta ,\gamma )\) does not satisfy condition (K). Therefore, the case \(\beta =4\pi /(3N)\) is also impossible.
Case II: \(t<s\). First suppose \(N>500\). Then, by (13) we have
This implies that \(q<30\) holds in every equation \(p\alpha +q\beta +r\gamma =v\pi \). Consider any of these equations. Substituting (12) and (13) into \(p\alpha +q\beta +r\gamma =v\pi \) we obtain
and \(A\cdot N=2\cdot (-ps+q(s-u)+ru)\), where \(A=2sv-(ps+q(s-t)+rt)\). If \(A\ne 0\), then
which is impossible. Therefore, we have \(A=0\), hence \(-ps+q(s-u)+ru =0\).
We proved that \(-ps+q(s-u)+ru =0\) holds for every equation \(p\alpha +q\beta +r\gamma =v\pi \). Let K denote the number of the tiles. Taking the sum of the equations \(-ps+q(s-u)+ru =0\) we obtain \(0=-(K -2N)s +K(s-u) +Ku =2Ns\), a contradiction. Therefore, case II is impossible if \(N>500\).
If \(N\le 500\), then we check for every possible triple \((\alpha ,\beta ,\gamma )\) whether or not it satisfies conditions (K) and (E). If N is given, then \(\beta \) and \(\gamma \) are determined by (13) and (12). As these formulae show, we may take \(n=2sN\). We check, for every choice of u, s, t satisfying (14) and also \(t<s\), whether or not (3) holds for every k such that \(\mathrm{gcd} \, (k,nN)=1\) and \(\{ k/N\} <1/2\).
A computer search shows that in the range \(60 <N\le 500\) only \(N=78\) produces triples \((\alpha ,\beta ,\gamma )\) satisfying condition (K). More precisely, for \(N=78\) there is just one such triple, namely
However, the only equations \(p\alpha +q\beta +r\gamma =v\pi \) in this case are \(\alpha +\beta +\gamma =\pi \) and \(2\alpha +2\beta +2\gamma =2\pi \). Thus (2) of condition (E) is not satisfied, since we have \(p>q\) in the equations at the vertices of \(R_N\). Thus the case \(N=78\) cannot occur.
In the range \(42 <N\le 60\) only \(N=60\) produces triples \((\alpha ,\beta ,\gamma )\) satisfying condition (K). For \(N=60\) there are two such triples, namely
In the first case the only equations \(p\alpha +q\beta +r\gamma =v\pi \) are \(5\beta =\pi \), \(10\beta =2\pi \), \(\alpha +\beta +\gamma =\pi \), \(2\alpha +2\beta +2\gamma =2\pi \), and \(\alpha +6\beta +\gamma =2\pi \). We can see that \(q\ge r\) holds in each of these equations. Then (2) of condition (E) can hold only if the equations with \(q>r\) do not occur in the tiling. The remaining equations are \(\alpha +\beta +\gamma =\pi \) and \(2\alpha +2\beta +2\gamma =2\pi \). Thus condition (E) is not satisfied, since we have \(p>q\) in the equations at the vertices of \(R_N\). So this case is impossible.
If \((\alpha ,\beta ,\gamma )\) equals the second triple of (16), then the equations \(p\alpha +q\beta +r\gamma =v\pi \) are the following: \(3\gamma =\pi \), \(6\gamma =2\pi \), \(\alpha +\beta +\gamma =\pi \), \(2\alpha +2\beta +2\gamma =2\pi \), \(\alpha +\beta +4\gamma =2\pi \), and \(3\alpha +3\beta =2\pi \). We can see that \(p=q\) holds in each of these equations. Since \(p>q\) holds in the equations at the vertices of \(R_N\), condition (E) is not satisfied, and this case is also impossible.
In the range \(24<N\le 42\) only \(N=30\) and \(N=42\) produce triples \((\alpha ,\beta ,\gamma )\) satisfying condition (K). This completes the proof of the theorem.
7 Proof of Lemma 1.12
We may assume \(\mathrm{gcd} \, (N',2nN)=1\), since otherwise we replace \(N'\) by \(N'+jN\) with a suitable j. Suppose there is an odd prime p such that \(p\,|\,n\) and . Let P denote the product of primes dividing n and different from p. (Put \(P=1\) if there is no such prime.) Let \(NPa/n=M/m\), where \(\mathrm{gcd} \, (M,m)=1\). Since and \(p\,|\,n\), we have \(p\,|\,m\), and thus \(m\ge p\ge 3\).
Let s be such that \(s M\equiv 1\) (mod m). Then , as \(p\,|\,m\). Put \(k_i =N' +isNP\) for every integer i. Then \(k_i\) is not divisible by any prime divisor of nN except perhaps p. But if \(p\,|\,k_i\), then , since . Thus either \(k_{i}\) is prime to nN or both of \(k_{i-1} ,k_{i+1}\) are prime to nN. Now
This implies, by \(m\ge 3\), that there are two consecutive i’s with \(\{ k_i a/n\} \ge 1/3\). For at least one of them, \(k_i\) is prime to nN. We find that (i) holds.
Next suppose that every odd prime divisor of n divides N. Suppose N is odd. Then \(k_i =N' +2iN\) is prime to nN for every i. Now \(k_i a/n=N'a/n +2iN/n\) and thus, if , then for a suitable i we have \(\{ k_i a/n\} \ge 1/2\). That is, we have either (i) or (ii) in this case.
If N is even, then \(k_i =N' +iN\) is prime to nN for every i. Since \(k_i a/n = N'a/n +iN/n\), we find that if , then for a suitable i we have \(\{ k_i a/n\} \ge 1/2\). That is, we have either (i) or (iii) in this case. This completes the proof.
8 Proof of Lemma 1.13
By symmetry, we may assume \(p\ge q\). Let \(a/n=a_1 /n_1\) and \(b/n=b_2 /n_2\), where \(\mathrm{gcd} \, (a_1 ,n_1 )=\mathrm{gcd} \, (b_2 ,n_2 ) =1\). Applying (5) with \(k=1\) we obtain
We consider three cases.
Case I: N is odd. Then \(N'=(N-1)/2\) is prime to N. Suppose \(n_1\,|\,2N\). For a suitable j, \(k_1 =(N-1)/2+jN\) is prime to nN. By (5) we obtain
where \(\varepsilon =q\cdot \{ k_1 b/n\}\). Therefore, we have \(p\le 2\). If \(p=2\), then \(\varepsilon =0\) and \(q=0\). If \(p\le 1\), then \(q\le 1\), and we have \(p+q\le 2\) in both cases.
Therefore, we may assume that \(n_1\) does not divide 2N. Then, applying Lemma 1.12, we find that (i) of Lemma 1.12 holds with \(a_1\) and \(n_1\) in place of a and n. That is, there is a k prime to \(n_1 N\) such that \(k\equiv (N-1)/2\) (mod N) and \(\{ ka_1 /n_1 \}\ge 1/3\). For a suitable j, \(k_2 =k+jn_1 N\) will be prime to nN. Then (5) gives
\(p\le 1\), and we are done.
Case II: \(4\,|\,N\). Then \(N'=N/2-1\) is prime to N. Suppose \(n_1\,|\,N\). For a suitable j, \(k_3 =N/2-1 +jN\) is prime to nN. By (5) we obtain
where \(\varepsilon =q\cdot \{ k_3 b/n\}\). From this we obtain \(p+q\le 2\) as in case I. If , then applying Lemma 1.12, we find that (i) of Lemma 1.12 holds with \(a_1\) and \(n_1\) in place of a and n. That is, there is a k prime to \(n_1 N\) such that \(k\equiv N/2-1\) (mod N) and \(\{ ka_1 /n_1 \}\ge 1/3\). For a suitable j, \(k_4 =k+jn_1 N\) will be prime to nN. Then (5) gives
where \(\varepsilon =q\cdot \{ k_4 b/n\}\). From this inequality we obtain \(p+q\le 2\) as above.
Case III: N is even and N/2 is odd. Then \(N'=N/2-2\) is prime to N. Note that the first possible value of N is 10, as \(N=6\) is excluded.
Case IIIa: \(n_1 \,|\,N\). Then \(a/n=u/N\), where \(0<u<N\) is an integer. Suppose \(p\ge 2\). For a suitable j, \(k_5 =N/2-2 +jN\) is prime to nN. By (5) we obtain
Since \(\{ k_5 u/N\}\) is a positive integer multiple of 1/N and \(p\ge 2\), we have \(\{ k_5 u/N\} =1/N\) or 2/N. If \(\{ k_5 u/N\} =2/N\), then (18) gives \(p=2\), \(q=0\), and we are done. If \(\{k_5u/N\}=1/N\), then \(k_5 u\equiv 1\) (mod N), u is odd, \(uN/2\equiv N/2\) (mod N), \(k_5 u\equiv (N/2-2)u \equiv N/2-2u \equiv 1\) (mod N), and \(u\equiv (N/2-1)/2\) (mod N/2). Now \(2u/N=2a/n<1\) by (17), and thus \(u=(N/2-1)/2=(N-2)/4\).
Since \(N\ge 10\), \(N/2-4\) is also prime to N. For a suitable j, \(k_6 =N/2-4+jN\) is prime to nN. Then we have
and thus \(\{ k_6 u/N\} \le 4/N\). However, we have
and \(\{ k_6 u/N\} =(N+4)/(2N)>1/2>4/N\), a contradiction. Therefore, we have \(p\le 1\) and \(p+q\le 2\).
Case IIIb: . By Lemma 1.12, there is a k prime to \(n_1 N\) with \(k\equiv N/2-2\) (mod N) and \(\{ ka_1 /n_1 \}\ge 1/3\). For a suitable j, \(k_7 =k+jn_1 N\) will be prime to nN. Then (5) gives
Thus \(p\le 1\), \(p+q\le 2\), and the proof is complete.
9 Proof of Lemma 1.14
Lemma 9.1
Let u, m, N be integers such that \(m,N>0\) and \(\mathrm{gcd} \, (u,m)=1\). Let \(p_1 ,\ldots ,p_s\) be those primes that divide N but not m. If \(c>0\) and
then for every real number a there is an integer k such that \(a\le k<a+cN\), \(k\equiv ~u~\mathrm{{(mod~m)}}\), and \(\mathrm{gcd} \, (k,N)=1\).
Proof
Let \(A_d\) denote the set of integers k such that \(a\le k<a+cN\), \(k \equiv u\) (mod m), and \(d\,|\,k\). If \(\mathrm{gcd} \, (d,m)=1\), then there is a \(j_0\) such that \(j_0 m\equiv -u\) (mod d), and then \(A_d\) equals the set of numbers \(u+j_0m+jmd\) such that \(a\le u+j_0m+jmd<a+cN\). Thus \(|A_d|\) equals the number of integers j with \(b\le j<b+cN/(md)\), where \(b=(a-u-j_0 m)/(md)\). Therefore, we have \(|A_d |=cN/(md)+\varepsilon _d\), where \(|\varepsilon _d |<1\).
If S denotes the number of integers k such that \(a\le k<a+cN\), \(k\equiv u\) (mod m), and \(\mathrm{gcd} \, (k,N)=1\), then
If (19) is true, then \(S>0\), which proves the lemma. \(\square \)
Proof of (i) of Lemma 1.14
Let \(p_1 ,\ldots ,p_s\) be the odd prime divisors of the even number N. By Lemma 9.1, statement (i) of Lemma 1.14 is true, if
If \(s\ge 4\), then
and thus the statement is true. Therefore, we may assume \(s\le 3\). If \(N>480\), then
and then the statement is true again. Finally, it is easy to check that for every even integer \(N\in [26 ,480]\) there are integers \(k, k'\) with the required properties. \(\square \)
Proof of (ii) of Lemma 1.14
Let \(p_1 ,\ldots ,p_s\) be the odd prime divisors of N. Applying Lemma 9.1 with \(m=2\) and \(u=1\) we obtain that statement (ii) of Lemma 1.14 is true, if
If \(s\ge 4\), then
and thus the statement is true. Therefore, we may assume \(s\le 3\). If \(N>720\), then
and then the statement is true again. Finally, it is easy to check that for every integer \(N\in [43 ,720]\) there is an integer k with the required properties.
Notes
In this computation and also in the computer search needed in the proof of the next theorem I applied GNU Octave (https://www.gnu.org/software/octave/).
References
Frederickson, G.N.: Dissections. Plane & Fancy. Cambridge University Press, Cambridge (1997)
Grünbaum, B., Shephard, G.C.: Tilings and Patterns. W.H. Freeman and Company, New York (1987)
Laczkovich, M.: Tilings of polygons with similar triangles. Combinatorica 10(3), 281–306 (1990)
Laczkovich, M.: Tilings of polygons with similar triangles. II. Discrete Comput. Geom. 19(3), 411–425 (1998)
Laczkovich, M.: Tilings of convex polygons with congruent triangles. Discrete Comput. Geom. 48(2), 330–372 (2012)
Laczkovich, M.: Tilings of the regular \(N\)-gon with triangles of angles \(\pi /N\), \(\pi /N\), \((N-2)\pi /N\) for \(N=5\), \(8\), \(10\) and \(12\). Comput. Geom. 92, \(\#\) 101690101690 (2021)
Langford, C.D.: Tiling patterns for regular polygons. Math. Gazette 44(348), 105–110 (1960)
Szegedy, B.: Tilings of the square with similar right triangles. Combinatorica 21(1), 139–144 (2001)
Funding
Open access funding provided by the Eötvös Loránd University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: János Pach
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was supported by the Hungarian National Foundation for Scientific Research, Grant No. K124749.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Laczkovich, M. Irregular Tilings of Regular Polygons with Similar Triangles. Discrete Comput Geom 66, 1239–1261 (2021). https://doi.org/10.1007/s00454-021-00297-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-021-00297-1