En mathématiques, un cercle de Carlyle (du nom de son inventeur Thomas Carlyle) est un cercle associé à une équation du second degré, dans un plan muni d'un repère orthonormé. Le cercle a la propriété de construire les solutions de l'équation comme les intersections du cercle avec l'axe des abscisses. Les cercles de Carlyle sont notamment utilisés dans la construction à la règle et au compas de polygones réguliers.

Définition thumb|300px|Cercle de Carlyle de l'équation du second degré . Soit l'équation du second degré

Le cercle dans le plan affine muni d'un repère cartésien admettant le segment passant par les points A(0, 1) et B(s, p) comme diamètre est appelé le cercle de Carlyle de l'équationE. John Hornsby, Jr.: Geometrical and Graphical Solutions of Quadratic Equations. The College Mathematics Journal, Vol. 21, No. 5 (Nov., 1990), pp. 362-369 (JSTOR) (JSTOR).

Propriété-définition La propriété définissant le cercle de Carlyle peut être établie ainsi : l'équation du cercle avec le segment AB comme diamètre est

Les abscisses des points où le cercle intersecte l'axe des abscisses sont les racines de l'équation (obtenus en fixant dans l'équation du cercle)

Construction de polygones réguliers 300px|thumb|Construction d'un pentagone régulier avec des cercles de Carlyle 300px|thumb|Construction d'un heptadécagone régulier avec des cercles de Carlyle 500px|thumb|Construction d'un 257-gone régulier avec des cercles de Carlyle

Pentagone régulier

Le problème de la construction d'un pentagone régulier est équivalent au problème de construction des racines de l'équation

Une racine de cette équation est qui correspond au point . En réduisant l'équation pour supprimer cette solution, il reste à déterminer les zéros de l'équation

Ces racines sont complexes et peuvent être représentées sous la forme , , , avec , correspondant aux points , , , . En notant

on a, par calcul direct et en utilisant le fait que et

Donc et sont les racines de l'équation quadratique

Le cercle de Carlyle associé à cette équation du second degré a donc un diamètre d'extrémités (0, 1) et (-1, -1), avec son centre en (-1/2, 0). Les cercles de Carlyle sont utilisés pour construire et . Des définitions de et , il suit également

Dès lors, on peut construire les points , , et .

On peut suivre la procédure suivante pour construire un pentagone régulier avec des cercles de Carlyle: Tracer un cercle qui sera circonscrit au pentagone et noter son centre O. Tracer une ligne horizontale passant par O. Noter une des intersections avec le cercle comme le point B. Tracer une ligne verticale passant par O. Noter une des intersections avec le cercle comme le pointA. Construire le point M, milieu de O et B. Tracer un cercle centré en M passant par A. Ce cercle est le cercle de Carlyle pour . Marquer l'intersection avec la ligne horizontale à l'intérieur du cercle comme le point W et son intersection hors du cercle comme le point V. Ce sont les points d'abscisses et . Tracer un cercle de rayon OA et de centre W. Les deux intersections avec le cercle originel sont des sommets du pentagone. Tracer un cercle de rayon OA et de centre V. Les deux intersections avec le cercle originel sont aussi des sommets du pentagone. Le cinquième sommet est l'intersection de l'axe horizontal avec le cercle original.

Heptadécagones réguliers

Il existe une méthode similaire avec des cercles de Carlyle pour construire des heptadécagones réguliers.

257-gone

Pour construire un 257-gone régulier avec des cercles de Carlyle, il faut construire 24 cercles de Carlyle. L'un d'eux sert par exemple à résoudre l'équation .

65 537-gone régulier

Il existe une méthode avec des cercles de Carlyle pour la construction du 65 537-gone régulier. Il y a cependant des problèmes pratiques pour l'implémentation d'une telle procédure ; en effet, un des cercles de Carlyle à construire est lié à l'équation .

Histoire thumb|Solution de Carlyle au problème de Leslie. Le segment en noir est divisé en deux segments de telle façon que les deux segments forment un rectangle (en vert) d'aire égale à un autre rectangle donné (en rouge).

Selon Howard Eves (1911–2004), le mathématicien John Leslie (1766-1832) décrit la construction géométrique de racines d'une équation du second degré avec un cercle dans son livre et remarque que cette idée a été donnée par son ancien étudiant Thomas Carlyle (1795–1881)Voir par exemple Hornsby, DeTemple ou . Cependant, si la description dans le livre de Leslie contient une construction de cercle analogue, elle n'est présentée qu'en termes géométriques élémentaires sans notion de système de coordonnées cartésiennes ou de racines d'équation quadratique. Les premières éditions ne contenaient pas le commentaire sur Carlyle (1809, 1811).:

En 1867, l'ingénieur autrichien Eduard Lill publie une méthode graphique pour déterminer les racines d'un polynôme (orthogone de Lill). Appliquée à un polynôme du second degré, on obtient la figure de trapèze de la solution de Carlyle au problème de Leslie avec un des côtés étant le diamètre du cercle de Carlyle. Dans un article de 1925, G. A. Miller ajoute qu'une petite modification dans la méthode de Lill appliquée à une fonction quadratique normée mène à un cercle qui permet la construction géométrique des racines de cette fonction et donne une définition explicite de ce qui sera appelé par la suite cercle de Carlyle.

Eves utilise le cercle dans un de ses exercices de son livre (1953) et fait le lien avec les travaux de Leslie et Carlyle. Des publications ultérieures introduisent les noms de cercle de Carlyle, méthode de Carlyle ou algorithme de Carlyle, mais on parle plutôt dans les pays germanophones de cercle de Lill (). DeTemple utilise en 1989 et 1991 des cercles de Carlyle pour la construction à la règle et au compas de polygones réguliers, notamment les exemples donnés dans l'article. Ladislav Beran décrit en 1999, comment le cercle de Carlyle peut être utilisé pour construire les racines complexes d'une fonction quadratique normée

Références

Catégorie:Géométrie euclidienne Catégorie:Polygone Catégorie:Équation polynomiale