Pour tout entier , on pose
Ces deux quantités sont les périmètres des polygones réguliers à côtés respectivement inscrit dans le cercle de rayon et circonscrit à ce cercle ; le périmètre du cercle lui-même vaut . C'est en calculant et qu'Archimède a encadré entre et . L'objet du problème est de montrer que l'on peut faire beaucoup mieux avec les mêmes ingrédients.
On utilisera librement le développement limité de la tangente en :
Partie A — Les deux suites d'Archimède
1. (0,75 pt) Démontrer que pour tout . En déduire que pour tout .
2. (1 pt) Démontrer que, quand tend vers ,
3. (1 pt) Établir de même le développement asymptotique de à la précision .
4. (0,75 pt) En déduire un équivalent de et un équivalent de . Que vaut la limite de ? Interpréter.
Partie B — Accélérer la convergence
5. (0,75 pt) On pose . Démontrer que . La moyenne des deux périmètres gagne-t-elle un ordre de grandeur ?
6. (1,25 pt) Démontrer qu'il existe un unique couple de réels vérifiant simultanément
et le déterminer.
7. (1,5 pt) On pose désormais . Démontrer que
8. (1 pt) En déduire un équivalent de , puis la limite de . Démontrer enfin que à partir d'un certain rang, et commenter ce résultat au vu de la question 1.