Pavages de régions du plan

TIPE 2023
Perrin Armand
46676
Contexte, définitions
Outils sur les groupes
Méthode de Conway
Application : Le probleme du triangle
Positionnement du probleme
Lien avec le thème
Le groupe Libre

Soit n un entier naturel,

Soit X un ensemble de taille n, noté :

X = {x1,...,xn}
Presentation d'un groupe
Graphe de Cayley

On définit le graphe Cayley d'un

groupe G de présentation finie
<g1,..gn |r1,...,rn> avec pour ensemble
de sommets les éléments de G et
pour tout i dans [1,n], x dans G une
arête entre x et x.g_i
Le Réseau Z^2

Le réseau Z^2 est le sous groupe de (R^2,+)

engendré par (1,0) (0,1)

Une cellule est une partie de R^2 de la forme

[a,a+1]x[b,b+1] ou a,b sont dans Z

On note G le graphe orienté dont l'ensemble des

sommets est Z^2 et l'ensemble des aretes les
couples de points de Z^2 dont la distance vaut 1
Chemin valide dans G
Région du plan

Soit R une région

On considère dR sa frontiere topologique,

on constate que l'on peut faire
correspondre dR a un ensemble d'arêtes de
G que l'on note [dR]

A est dite simplement connexe si R et R^2\

sont connexes par arcs et si [dR] peut etre
ordonné comme un cycle valide de G.
Un gaphe de Cayley

On peut alors voir G comme graphe

de cayley de <a,b| ab(a^-1)(b^-1)>
Méthode de Conway

Théoreme (Conway):
Soit R une région du plan simplement
connexe,
Si pave R alors [dR] est contenue dans
Idée de la preuve

On peut montrer le théoreme par réccurence :