Géométrie synthétiqueLa géométrie synthétique ou géométrie pure est fondée sur une approche axiomatique (donc, « purement logique ») de la géométrie. Elle constitue une branche de la géométrie étudiant diverses propriétés et divers théorèmes uniquement par des méthodes d'intersections, de transformations et de constructions. Elle s'oppose à la géométrie analytique et refuse systématiquement l'utilisation des propriétés analytiques des figures ou l'appel aux coordonnées. Ses concepts principaux sont l'intersection, les transformations y compris par polaires réciproques, la logique.
Pavage du planthumb|Pavage constitué de triangles équilatéraux et d'hexagones, dit pavage trihexagonal. thumb|Pavage hexagonal de tomettes provençales en terre cuite. Un pavage du plan est un ensemble de portions du plan, par exemple des polygones, dont l'union est le plan tout entier, sans recouvrement. Plus précisément, c'est une partition du plan euclidien par des éléments d'un ensemble fini, appelés « carreaux » (plus précisément, ce sont des compacts d’intérieur non vide).
