Le gogone de Gagauss (pardon, Grand Mèmaître)

soland · October 2021

Ecrire $\tan(2\pi/17)$ avec des entiers, $+-\times ÷$ et des racines carrées.

acetonik · October 2021

Bonsoir
La réponse numérique est horrible et peu engageante.
La constructibilité d'un angle de $\dfrac {\pi}{17}$ rd est une autre affaire, très intéressante !!
Cordialement.

[Préférer "Joindre un fichier" à donner un pointeur sur le net qui disparaîtra tôt ou tard. :-) AD] 127952

soland · October 2021

Ce calcul prouve la constructibilité du polygone régulier à 17 côtés
Il n'y a en effet que des racines carrées à construire

acetonik · October 2021

Certes, mais reste à prouver que les valeurs données sont associées à la construction d'un angle de $\dfrac {\pi}{17}$ :-)

Edit: Merci A.D. J'ai cherché dans le bandeau alors que "joindre" était signalé juste au dessus...