Cercle De Ford

Cercle de Ford

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.

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.

Propriétés

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 soit 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.

Les cercles de Ford forment un sous-ensemble des cercles d'Apollonius généré par les droites y = 0 et y = 1 et le cercle C[0/1].

Voir aussi

• Théorème de Descartes

Liens externes

• http://mathworld.wolfram.com/FordCircle.html
• http://www.spectrum.ieee.org/publicaccess/1195vis4.html - article de Clifford A. Pickover
• http://www.josleys.com/creatures41.htm - art et graphiques basés sur les cercles de Ford

Ce document provient de « Cercle de Ford ».