Nombre constructible

Soit E un sous-ensemble du plan euclidien, qu'on assimile ici à ℝ². On dit qu'un point P = (x, y) est constructible en une étape à partir de E si P est un point de E ou si P est dans l'intersection de deux objets distincts parmi :

• l'ensemble des droites qui passent par deux éléments distincts de E ;
• l'ensemble des cercles centrés en un point de E et dont le rayon est la distance de deux quelconques points de E.

On note C₁(E) l'ensemble des points constructibles en une étape à partir de E.

On peut remarquer que si E est fini, alors, C₁(E) l'est aussi.

Partant des mêmes données, on définit, naturellement et par récurrence, l'ensemble C_n(E) des points constructibles en n étapes à partir de E. Pour n = 1, c'est la construction précédente. Sinon, on pose :

${\displaystyle C_{n+1}(E)=C_{1}\left(C_{n}(E)\right).}$

Enfin, l'ensemble des points constructibles à partir de E, qu'on note C(E), est la réunion (croissante) des C_n(E), c'est-à-dire : un point P est dit constructible à partir de E s'il existe n tel que P soit constructible en n étapes.

${\displaystyle C(E)=\bigcup _{n=1}^{\infty }C_{n}(E).}$

On se place dans le même cadre, c'est-à-dire le plan euclidien assimilé à ℝ² ; on se donne E un sous-ensemble de ℝ².

Un nombre réel est dit constructible à partir de E s'il est l'abscisse d'un point constructible à partir de E.

Un nombre constructible est un nombre qui est constructible à partir de l'ensemble { (0,0), (0,1) }[1].

L'addition et la soustraction ne nécéssite que deux opérations : tracer un segment de droite de longueur x puis un segment de longueur y, aligné au premier ; en le traçant dans le même sens, on obtient un segment de longueur x + y, et dans le sens opposé, à condition que x > y, cela donne un segment de longueur x – y.

• 
  Somme
• 
  Différence

À partir d'un point A, on trace une droite passant par A et on y place E tel que AE = 1, et B tel que AB = b. Sur une droite passant par E non confondue avec la première, on place C tel que CE = a et on trace la droite AC. On trace enfin la parallèle à EC passant par B, qui croise AC en D. Alors BD = a×b.

En effet, une simple utilisation du théorème de Thalès permet de montrer que BD est égal au produit des distances AB et CE.

C'est l'opération réciproque de la précédente, s'appuyant également sur le théorème de Thalès.

Ces observations permettent de dire que l'ensemble des nombres constructibles (si on accepte les distances négatives) est un corps commutatif. Les Grecs ont ainsi pu établir que tous les nombres rationnels positifs étaient constructibles. Mais leur première surprise est venue de la dernière opération.

Construction de √p.

On peut utiliser le théorème de la moyenne géométrique qui établit que, dans un triangle AFD rectangle en F, si B est le pied de la hauteur issue de F, on a

BD×BA = FB²

C'est une conséquence immédiate du fait que les triangles ABF et FBD sont semblables.

Pour construire la racine carrée d'un nombre p, on trace donc un segment [AD] dont la longueur est égale à p + 1, puis un demi-cercle de diamètre AD, ensuite le point B sur [AD] tel que DB soit égal à 1, enfin la perpendiculaire à (AD) menée par B, qui rencontre le demi-cercle en un point F. D'après le théorème de Thalès sur le cercle, le triangle AFD est rectangle en F. On en déduit l'égalité FB² = 1×p, qui assure que BF=√p.

Les racines carrées sont donc constructibles.

• Addition de a et b
• Différence de a et b
• Produit de a et b
• Division de a par b
• Racine carrée de p

Des points de bases étant donnés, un point est constructible à la règle s'il est point d'intersection de deux droites, chacune de ces deux droites passant par deux points qui sont des points de base ou des points déjà construits.

Les propriétés d'une figure constructible sont conservées par projection centrale. Ce n'est pas le cas pour les milieux, les parallèles ou les symétries.

Il est démontré qu'il est impossible avec uniquement une règle de construire le milieu d'un segment, ou de mener par un point une parallèle à une droite.

Cependant, le théorème de Poncelet-Steiner énonce que, si on se donne un cercle et son centre, alors il est possible avec la règle seule de construire tout point constructible à la règle et au compas. Il en est de même si on se donne deux cercles sécants sans leur centre, ou bien trois cercles non sécants. Ainsi, les centres de deux cercles sécants peuvent être déterminés avec la règle seule.

L'empan permet uniquement de reporter des segments de longueur unité sur une droite. Au moyen de la règle et de l'empan, on est capable de mener une parallèle à une droite donnée, passant par un point P donné, ce qu'on ne peut faire avec la règle seule[5].

Construction d'une parallèle avec la règle et l'empan

Soit A un point quelconque de la droite, [AB] et [BC] égaux à l'empan sur cette droite. Soit D un point de (AP). On trace (DB) et (PC) qui se coupent en E. On trace (AE) et (DC) qui se coupent en F. (PF) est la parallèle cherchée.

Sachant tracer des parallèles, on sait également compléter un parallèlogramme à partir de trois de ces points et donc reporter un segment de longueur quelconque sur une droite parallèle. Plus généralement, on sait reporter un segment de longueur donnée sur une droite quelconque donnée.

Report d'un segment sur une droite avec la règle et l'empan

Soit le segment [AB] à reporter sur la droite (AC). On trace D et E tels que AD et AE soient égaux à l'empan. On trace la droite (DE) puis la parallèle (BC) à (DE) passant par B. Le segment [AC] est le report cherché.

Il en résulte que les constructions à la règle et à l'empan sont équivalentes aux constructions à la règle et au compas à pointes sèches, traitées dans le paragraphe suivant.

Le compas à pointes sèches est un instrument permettant de reporter des longueurs sur des droites, mais non de tracer des cercles. L'ensemble des nombres constructibles à la règle et au compas à pointes sèches est strictement inclus dans l'ensemble des nombres constructibles à la règle et au compas[6]. Il s'agit du plus petit corps contenant les rationnels et stable par la fonction ${\displaystyle \scriptstyle x\to {\sqrt {1+x^{2}}}}$. Ses éléments sont les nombres constructibles à la règle et au compas qui sont totalement réels[7]. Les nombres √2 et ${\displaystyle \scriptstyle {\sqrt {2+{\sqrt {2}}}}}$ sont constructibles à la règle et au compas à pointes sèches, mais ${\displaystyle \scriptstyle {\sqrt {1+{\sqrt {2}}}}}$ ne l'est pas, alors qu'il est constructible à la règle et au compas. Il en résulte que, si on peut construire avec la règle et le compas à pointes sèches un triangle rectangle dont on donne les longueurs des deux côtés de l'angle droit, on ne sait pas nécessairement construire un triangle rectangle dont on connaît la longueur d'un côté et de l'hypoténuse. Autrement dit, la règle et le compas à pointes sèches permettent de construire la racine carrée de la somme de deux carrés, mais pas la racine carrée de la différence de deux carrés.

Les polygones réguliers constructibles à la règle et au compas le sont également à la règle et au compas à pointes sèches.

Les nombres constructibles à la règle et au compas à pointes sèches sont également ceux que l'on peut construire avec une règle et un bissecteur d'angle (y compris de l'angle plat), ou encore en utilisant les axiomes 1), 2), 3) et 4) des origamis.

Voici quelques exemples de constructions.

Construction d'une bissectrice avec la règle et l'empan

Soit à tracer une bissectrice de (AB) et (AC). On porte les points D et E tels que AD = AE. On trace les parallèles à (AB) et (AC) passant par D et E (ce qu'on sait faire). L'intersection de ces deux parallèles donne un point F tel que (AF) est bissectrice.

Construction d'une perpendiculaire avec la règle et l'empan

Soit à construire une perpendiculaire à une droite donnée. On prend A, B et C sur cette droite de façon que AB = BC. On trace également deux segments [BD] et [BE] de longueur égale à AB. Soit F l'intersection de (AD) et (CE). ADC est rectangle en D, et AEC en E, de sorte que (AE) et (CD) sont deux hauteurs du triangle ACF. Si H est l'intersection de (AE) et (CD), il suffit de tracer (FH) pour avoir la troisième hauteur. On peut alors, quitte à tracer une parallèle à la perpendiculaire précédemment construite, tracer la perpendiculaire à la droite passant par un point donné.

Le théorème de Mohr-Mascheroni, montré par Georg Mohr, puis par Lorenzo Mascheroni en 1797, affirme que si une construction géométrique est possible à la règle et au compas, alors elle est possible au compas seul.

Voir aussi le problème de Napoléon qui consiste à construire au compas seul le centre d'un cercle donné, ainsi que la construction du carré au compas seul.

Les constructions par origami sont les constructions géométriques par pliages de papier. Dans leur développement le plus complet, ces constructions permettent de construire tous les nombres constructibles à la règle et au compas, mais également de trisecter un angle ou de dupliquer un cube. Les constructions par origami sont équivalentes aux constructions utilisant la règle et les coniques de foyer, de directrice et d'excentricité constructibles.

La règle graduée est une règle munie de deux graduations dont l'écart figure l'unité de longueur. Jointe au compas, la règle graduée est plus puissante que les méthodes utilisant les intersections de coniques utilisées par les Grecs anciens pour résoudre les problèmes dits solides. Les deux instruments permettent de construire tous les points du plan complexe obtenus à partir des rationnels en itérant résolution d'équation du deuxième ou du troisième degré, et de résoudre certains problèmes faisant intervenir des équations du cinquième ou du sixième degré. Ils résolvent en particulier les problèmes de la trisection de l'angle et de la duplication du cube et permettent par exemple la construction de l'heptagone régulier, de l'ennéagone régulier et des polygones réguliers de 11[8], 13, 19 ou 27 côtés. Ils ne permettent pas de construire les polygones réguliers de 23, 29, 43 ou 47 côtés. La question reste ouverte pour les polygones réguliers de 25, 31, 41 ou 61 côtés[9].

Voici par exemple comment on construit la racine cubique d'un nombre d inférieur à 1.

Racine cubique à la règle graduée et au compas

Soit OA = d, OF = 3d. On construit le triangle rectangle OAG de façon que AG soit égale à l'unité, longueur séparant les deux graduations de la règle. On trace la parallèle (AH) à (FG) passant par A. Toutes ces constructions se font à la règle et au compas. On utilise alors la règle graduée en la faisant passer par G, l'une des graduations devant être sur (AH), l'autre graduation sur (OA). Une fois cette disposition atteinte, AB est égal à 2d^1/3.

La règle graduée permet des constructions par ajustement (ou neusis). On peut la faire passer par un point pendant qu'une des graduations parcourt une courbe (droite ou cercle) donnée, jusqu'à ce que l'autre graduation atteigne une autre courbe donnée. Cette deuxième graduation parcourt alors une conchoide de la première courbe, et l'utilisation de la règle graduée revient à accepter comme constructibles les intersections de conchoïde et de cercle, ou de conchoïde et de droite. Cependant, il n'y a pas de possibilité de tracer la conchoïde et la règle graduée ne permet pas de construire l'intersection de deux conchoïdes.

Voici par exemple comment on peut construire un angle de 2π/7. On construit à la règle et au compas le cercle de centre (18/5, –2√7/5) et de rayon √337/5. On dispose la règle de façon qu'elle passe par l'origine O, que la première graduation A soit sur la droite x = 1 et la seconde B sur le cercle. La règle forme alors un angle de 2π/7 avec (OI)[10].

Construction de l'angle 2π/7 avec le compas et la règle graduée

Rajouter de nouvelles graduations à la règle par rapport aux deux existantes n'apporte aucun bénéfice.

Construction d'un carré donné par un sommet A et un point B d'un côté adjacent à A à l'aide d'allumettes de même longueur[11].

Les nombres constructibles avec des allumettes, c'est-à-dire des segments ayant tous la même longueur ${\displaystyle l}$[alpha 1], sont exactement ceux qui sont constructibles à la règle et au compas[12].