Cercle de Ford

Un article de Wikipédia, l'encyclopédie libre.

$Cercles de Ford : Un cercle est posé sur chaque fraction irréductible. Ceux-ci sont pour les fractions 0/1, 1/1, 1/2, 1/3, 2/3, 1/4, 3/4, 1/5, 2/5, 3/5, 4/5. Chaque cercle sera tangent à la droite et aux cercles voisins. Les fractions avec le même dénominateur ont des cercles de même taille.$

Cercles de Ford : Un cercle est posé sur chaque fraction irréductible. Ceux-ci sont pour les fractions 0/1, 1/1, 1/2, 1/3, 2/3, 1/4, 3/4, 1/5, 2/5, 3/5, 4/5. Chaque cercle sera tangent à la droite et aux cercles voisins. Les fractions avec le même dénominateur ont des cercles de même taille.

En mathématiques, le cercle de Ford est le cercle de centre $\left(\frac p q , \frac1{2q^2}\right)$ et de rayon $\frac1{2q^2}$ associé à la fraction irréductible $\frac p q$ , une fractions sous forme simplifiée, c'est-à-dire composée d'entiers premiers entre eux.

[modifier] Histoire

Les cercles de Ford sont nommés ainsi en l'honneur du mathématicien américain Lester Ford (père), qui les a décrits dans un article publié dans American Mathematical Monthly en 1938.

[modifier] Propriétés

Cercles de Ford

Le cercle de Ford associé à la fraction irréductibe p/q est noté C[p/q] ou C[p, q]. Par extension, la droite d'équation y = 1 est considérée comme un cercle de Ford — elle peut être assimilée à un cercle de Ford associé à l'infini, avec dans ce cas, p = 1, q = 0.

Deux cercles de Ford associés à deux fractions distinctes sont soit disjoints ou tangents. D'autre part, tout cercle de Ford est tangent à l'axe des abscisses. Si la fraction irréductible p/q est comprise entre 0 et 1, les cercles de Ford qui sont tangents à C[p/q] sont précisément ceux associés aux fractions qui sont les voisines de p/q dans certaines suites de Farey.

Les cercles de Ford peuvent aussi être assimilés à des courbes dans le plan complexe. Le groupe modulaire des transformations du plan complexe transforme les cercles de Ford en d'autres cercles de Ford.

En interprétant la moitié supérieure du plan complexe comme un modèle du plan hyperbolique (le modèle du demi-plan de Poincaré), les cercles de Ford peuvent aussi être interprétés comme un pavage du plan hyperbolique. Deux cercles de Ford quelconques sont congrus en géométrie hyperbolique. Si C[p/q] et C[r/s] sont des cercles de Ford tangents, alors le demi-cercle joignant (p/q, 0) et (r/s, 0) qui est perpendiculaire à l'axe des abscisses est une droite hyperbolique qui passe aussi par le point où les deux cercles sont tangents à un autre.