# ANNALES DE L'INSTITUT FOURIER

Tilings of convex polygons
Annales de l'Institut Fourier, Volume 47 (1997) no. 3, pp. 929-944.

Call a polygon rational if every pair of side lengths has rational ratio. We show that a convex polygon can be tiled with rational polygons if and only if it is itself rational. Furthermore we give a necessary condition for an arbitrary polygon to be tileable with rational polygons: we associate to any polygon $P$ a quadratic form $q\left(P\right)$, which must be positive semidefinite if $P$ is tileable with rational polygons.

The above results also hold replacing the rationality condition with the following: a polygon $P$ is coordinate-rational if a homothetic copy of $P$ has vertices with rational coordinates in ${ℝ}^{2}$.

Using the above results, we show that a convex polygon $P\in ℂ$ with angles multiples of $\pi /n$ and an edge from $0$ to $1$ can be tiled with triangles having angles multiples of $\pi /n$ if and only if vertices of $P$ are in the field $ℚ\left[{e}^{2\pi i/n}\right]$.

Un polygone est appelé rationnel si les rapports des longueurs d’arêtes sont rationnels. On démontre qu’un polygone convexe est pavable par des polygones rationnels si et seulement s’il est lui-même rationnel. À tout polygone $P$ on associe une forme quadratique $q\left(P\right)$, qui est positive semi-définie si $P$ est pavable par des polygones rationnels.

On démontre qu’un polygone convexe $P$ d’angles multiples de $\pi /n$ est pavable par des triangles d’angles multiples de $\pi /n$ si et seulement si $P$ est semblable à un polygone dont les sommets sont dans $ℚ\left[{e}^{2\pi i/n}\right]$.

@article{AIF_1997__47_3_929_0,
author = {Kenyon, Richard},
title = {Tilings of convex polygons},
journal = {Annales de l'Institut Fourier},
pages = {929--944},
publisher = {Association des Annales de l{\textquoteright}institut Fourier},
volume = {47},
number = {3},
year = {1997},
doi = {10.5802/aif.1586},
mrnumber = {98h:52037},
zbl = {0873.52020},
language = {en},
url = {https://aif.centre-mersenne.org/articles/10.5802/aif.1586/}
}
TY  - JOUR
TI  - Tilings of convex polygons
JO  - Annales de l'Institut Fourier
PY  - 1997
DA  - 1997///
SP  - 929
EP  - 944
VL  - 47
IS  - 3
PB  - Association des Annales de l’institut Fourier
UR  - https://aif.centre-mersenne.org/articles/10.5802/aif.1586/
UR  - https://www.ams.org/mathscinet-getitem?mr=98h:52037
UR  - https://zbmath.org/?q=an%3A0873.52020
UR  - https://doi.org/10.5802/aif.1586
DO  - 10.5802/aif.1586
LA  - en
ID  - AIF_1997__47_3_929_0
ER  - 
%0 Journal Article
%T Tilings of convex polygons
%J Annales de l'Institut Fourier
%D 1997
%P 929-944
%V 47
%N 3
%I Association des Annales de l’institut Fourier
%U https://doi.org/10.5802/aif.1586
%R 10.5802/aif.1586
%G en
%F AIF_1997__47_3_929_0
Kenyon, Richard. Tilings of convex polygons. Annales de l'Institut Fourier, Volume 47 (1997) no. 3, pp. 929-944. doi : 10.5802/aif.1586. https://aif.centre-mersenne.org/articles/10.5802/aif.1586/

[1] C. Bavard, E. Ghys, Polygones du plan et polyèdres hyperboliques., Geometriae Dedicata, 43 (1992), 207-224. | MR | Zbl

[2] J.H. Conway, J.C. Lagarias, Tilings with polyominoes and combinatorial group theory, J. Combin. Theory Ser. A., 53 (1990), 183-206. | MR | Zbl

[3] M. Laczkovich, Tilings of polygons with similar triangles, Combinatorica, 10 (1990), 281-306. | MR | Zbl

[4] R. Kenyon, A group of paths in ℝ2, Trans. A.M.S., 348 (1996), 3155-3172. | MR | Zbl

[5] W.P. Thurston, Shapes of polyhedra, Univ. of Minnesota, Geometry Center Research Report GCG7.

[6] W.T. Tutte, The dissection of equilateral triangles into equilateral triangles, Proc. Camb. Phil. Soc., 44 (1948), 463-482. | MR | Zbl

Cited by Sources: