Miroir 11

NUMRO ONZE : avril 2013
ISSN : 1969-7929
ISSN : 1760-6500
Irem de Basse-Normandie Annonces
Livres publis ou recommands par lIREM de Basse-Normandie.

Nos groupes de recherche publient de nombreux livres intressant lenseignement des mathmatiques. Voici quelques
titres parus, que vous pouvez commander par simple mail irem@unicaen.fr :
D. Salles R. Rodriguez - Dcouvrir et dmontrer en gomtrie avec des pices de puzzle, Format A4, Nombre
de pages : Exemplaire en franais : 36 ; Exemplaire en espagnol : 36 N ISBN 978-2-902498-07-9 , 2011,
Prix : 4,5 e chaque brochure en couleurs, 8 e les deux, frais denvoi : 3 e
D. Salles R. Rodriguez - Deuxime dition de "Practicar la geometra" de las acciones directamente
experimentables a sus formalizaciones matemticas, 2013, ISBN 978-2-902498-04-8, format A4, 108 pages
prix 7 e
Philippe de La Hire (1640-1718), entre Architecture et Sciences. Cet ouvrage vous est propos par notre
collgue Jean Pierre Le Goff qui y signe un article : La thorie des coniques & larchitecture au XVIIe
sicle ISBN : 978-2-7084-0942-2 www.editions-picard.com
Chaque commande est accompagne dun livre cadeau sur un thme voisin !
A venir :
Le colloque inter-IREM Epistmologie de Marseille (24-25 mai 2013) au cours duquel trois membres de notre
IREM prsenteront des exposs.
Le colloque inter-IREM de Lyon (24-25 mai 2013) La rforme des programmes du lyce : et alors ?
Repres IREM
La revue des instituts de recherche sur lenseignement des mathmatiques
Sommaire du numro 90 Janvier 2013

Comment peut-on penser la continuit de lenseignement de la gomtrie de 6 15 ans ?
Marie-Jeanne Perrin-Glorian, Anne-Ccile Math et Rgis Leclercq
Point de vue : Faut-il enseigner le raisonnement mathmatique de manire formelle ?
Henri Lombardi, Irem de Besanon
Enseigner les comptences langagires indispensables lactivit mathmatique
Karine Millon-Faure, Universit dAix-Marseille et ENS Lyon
Le prix du lait
Jean-Paul Mercier, Irem de Poitiers
Les mathmatiques de lingnieur, le point de vue de professeurs de grandes coles
Charles Chandler, Laboratoire EDA
Sommaire du Numro 91 Avril 2013

loge de lalgbre
Jean-Pierre Friedelmeyer, Irem de Strasbourg
Pratiques pdagogiques de problmes ouverts dans le collge grec
Georgios Kosyvas, Lyce exprimental Varvakeio, Athnes
Quelques prcautions autour de lintervalle de conance de la Seconde la Terminale
Vronique Cercl, Irem de Montpellier
Lusage des TICE en formation continue des enseignants au Maroc
Ahmed Lablidi, Brahim Nachit, Abdelmajid Abourriche, Mohammed Talbi
Karl Marx et le calcul innitsimal
Pascal Serman
Pour consulter le site Web de la revue Repres IREM et les articles en ligne : Accdez au site du rseau des
IREM par http ://www.univ-IREM.fr/ puis cliquez sur REPERES (dans bandeau gauche vertical), ensuite sur
CONSULTATION. (Les nombres en rouge indiquent quau moins un article de ce numro a t mis intgralement
en ligne ; les nombres en vert indiquent que tous les articles de ce numro sont intgralement en ligne)
Pour soumettre des articles au comit de rdaction de Repres IREM, contacter : yves.ducel@univ-fcomte.fr
Pour vous abonner Repres IREM ou acheter sparment des numros, contacter :
TOPIQUES ditions, 22, rue Charles-Martel, 54000 NANCY, France
Tlphone & tlcopie : 03 83 27 06 99 , adresse lectronique : topiqueseditions@dbmail.com
Prix dun abonnement (4 numros par an) : Mtropole : tablissements, 46 euros ; Particuliers, 35 euros
DOM-TOM ou Etranger (par avion) : Etablissements, 55 euros ; Particuliers, 44 euros
Prix au numro : 13 euros + frais dexpdition si envoi par avion.
Gilles Damamme
ditorial.
Dans ce numro 11 du Miroir des maths, Jean-Pierre
Le Goff nous parle de linduction, propos du problme
dit du cercle de Moser et nous prsente une suite
qui commence par 1, 2, 4, 8, 16 sans continuer de la
manire que lon pourrait ingnuement induire. Ensuite,
dans la rencontre de la croix et du pentagone clestes , Danielle Salles-Legac et Ruben Rodriguez Herrera nous font dcouvrir une croix et un pentagone toil
clestes, riches de nombreuses proprits gomtriques
et relis au nombre dor. Enn, ric Trotoux prsente
une tude portant sur lapproximation de n! et la formule
de Stirling, dans le cadre limit du nouveau programme
en vigueur en TS depuis la rentre 2012, formule de
Stirling que nous devions autrefois utiliser quand nos
vieilles calculatrices refusaient catgoriquement de calculer n! au del de n = 69.
Depuis la parution de notre dernier numro, lIREM
et le cercle dhistoire des mathmatiques a inaugur un
nouveau cycle de (cir)confrences. Les deux premires
(cir)confrences ont eu lieu les vendredis 7 dcembre
et 22 mars : En dcembre, Didier Bessot, animateur du
groupe Histoire des Maths, a expos un problme de
gomtrie tudi par Philippe de la Hire (1640 1718)
concernant les cnes base conique. En Mars, Denis Lanier a fait une confrence sur la rgularit des structures
observes sur la eur de tournesol. Aprs lexposition
de quelques lments historiques sur linterprtation de
ces phnomnes et, loccasion dun travail avec des
lves sur le dveloppement de la eur de tournesol, il
pos quelques questions informatiques et pdagogiques

propos dune simulation simplie de cette phyllotaxie spirale. Une reprise de cette confrence avec ses
documents attachs se trouve mise en ligne sur notre
site.
Mars a aussi t marqu par la semaine des mathmatiques : cela a t loccasion de prsenter dans
le cadre du thme Maths pour la Plante Terre une
activit avec des lves du lyce Malherbe et en collaboration avec leur professeur dhistoire-gographie Brigitte Lamy sur le thme : Pleut-il plus en BasseNormandie ? . Levons tout de suite une ambigut : il
ne sagissait pas de comparer la pluviomtrie celles
dautres rgions de France (tout le monde sait bien quil
ne pleut pas plus en Basse-Normandie quailleurs !),
mais dtudier si la pluviomtrie avait volu au cours
de ces cinquante dernires annes.
Les prparatifs du 40e anniversaire de lIREM de
Basse-Normandie ont commenc. Bien que la date et le
lieu naient pas encore t arrts de manire dnitive
lheure o jcris cet ditorial, la commmoration devrait normalement se drouler les vendredi 4 et samedi 5
octobre 2013 Caen. Cet vnement sera ouvert tous
les professeurs de lacadmie. Un comit dorganisation
dirig par Franois Couchot (directeur de lIREM pendant 11 ans) et un comit scientique ont t crs. Nous
ne manquerons pas de vous tenir inform du programme
sur notre site.
Je souhaite tous une lecture agrable.

Gilles Damamme
Directeur de lIREM de Basse-Normandie
Bibliographie relative larticle de Jean-Pierre Le Goff sur Induction . . .cercle de Moser pp. 4-12
Cramer, Gabriel. Introduction lAnalyse des Lignes Courbes Algbriques. Genve, Chez les frres Cramer &
Cl. Philibert, 1750.
Deledicq, Andr. & Missenard, D. la Recherche des Rgions perdues , in : Math. & Malices n22. Paris :
ACL-ditions, t 1995, pp. 22-23.
Euler, Leonhard. Elementa Doctrinae Solidorum, pp. 109-140 in : Novi commentarii academi scientiarum
Petropolitan 4 (1752/1753), Saint-Ptersbourg, 1758.
. Demonstratio Nonnullarum Insignium Proprietatum Quibus Solida Hdris Planis Inclusa Sunt Prdita, in :
Novi commentarii academi scientiarum Petropolitan 4 (1752/1753), Saint-Ptersbourg, 1758, pp. 140-160.
Moser, Leo. On the danger of induction, Mathematics Magazine, n23, 1949, p. 109.
Moser, William, Oscar, Jules & Leroy, M. Kelly. On the number of ordinary lines determined by n points ,
in : Canadian Journal of Mathematics, n10, fv. 1958, pp. 210-219.
Vandermonde, Alexandre-Thophile. Mmoire sur la Rsolution des quations. Par M. Vandermonde, pp.
365-416 in : Histoire de lAcadmie Royale des Sciences. Anne MDCCLXXI (1771). Avec les Mmoires de Mathmatiques & de Physique pour la mme Anne. Tirs des Registres de cette Acadmie. Paris, 1774.
. Mmoire sur llimination. Par M. Vandermonde, pp. 516-532 + 1 pl. (p. 532) in : Histoire de lAcadmie Royale des Sciences. Anne MDCCLXXII (1772) Seconde Partie. Avec les Mmoires de Mathmatiques & de
Physique pour la mme Anne. Tirs des Registres de cette Acadmie. Paris, 1776. .
Sur le vice et les vertus. . . de linduction, le problme dit du cercle de Moser
Sur le vice et les vertus. . . de linduction

Le problme dit du cercle de Moser
Avant-propos en forme d'avertissement au lecteur
Cet article a pour origine un couple de confrences
prononces au Thtre du Rond-Point Paris en 2011
anne consacre aux Monstres, au Rond-Point ,
dans le cadre dun cycle de luniversit populaire de
Caen/Basse-Normandie dcentralise1 . Le cycle et
son thme ont donn lieu publication, aux ditions
Autrement, dun louvrage collectif2 dans lequel larticle rdig pour rendre compte de 3h de confrences
trs illustres, et intitul Quand la raison vacille : dmon(s)trer lincongru se compose de deux volets :
1) jy traite de la question des monstres et de leur
reprsentation dans les ouvrages scientiques gures avant lre moderne et la Renaissance, et jy
tente de mettre en vidence que la monstration relve
dun double mouvement de la pense rationnelle et de la
pense analogique, puis
2) jy pose la question des monstres en mathmatiques laquelle sest dailleurs souvent contente de
monstrer : le mot existe dans la littrature ancienne ,
et de loutil forg par les gomtres, pour d-monstrer
les objets nouveaux de cette science, souvent apparus
comme incongrus de prime abord, en dmontrant quils

savrent moins tranges quil ny parat, par exemple
en en donnant une reprsentation en accord avec ldice antrieurement tabli.
Dans ce contexte, il fut question, en particulier, de
dnir ce quest la pense dductive par opposition avec
linduction, qui nest au fond quune tape de la pense
heuristique et de ce que les Anciens nommaient lanalyse. En effet le raisonnement par induction ncessite
la mance lorsque la recherche de la vrit se content
de lvidence des cas particuliers sagissant dune assertion qui porte sur un grand nombre, et surtout un
nombre inni doccurrences : le passage du particulier
luniversel, suppose dmonstration, et cest mme l
que commencent les mathmatiques pour certains auteurs. Cette partie de lexpos nayant donn lieu qu
quelques lignes dans larticle, une note renvoie ce dveloppement que lon peut trouver, outre dans la prsente livraison du Miroir, sur le site de lIREM de BasseNormandie et sur le site de lupcbn.
De linduction
Quest-ce que linduction, par opposition la dduction, qui prside au raisonnement euclidien ? Un
exemple bien connu des mathmaticiens permet de comprendre la chose : ils lont invent comme une sorte
de contre-exemple une ide reue, qui est que lorsque
lon connat une suite (nie) de donnes numriques,
ou plutt quand on en connat un nombre assez grand
pour en tirer une loi gnrale qui semble vouloir se poursuivre indniment, on pourrait conclure la vrit
de cette loi pour le phnomne observ.
tel point que lhistoire du sage jouant aux checs avec

son souverain et demandant pour rcompense dune victoire ventuelle tout le riz que lon pourrait mettre sur
lchiquier en commenant par un grain sur la premire
des 8 x 8 = 64 cases, deux sur la deuxime, quatre sur
la troisime, et ainsi de suite, EN MULTIPLIANT PAR
DEUX LE NOMBRE DE GRAINS DUNE CASE
LA SUIVANTE, est connue de toute antiquit dans un
grand nombre de civilisations. Deux ou trois millnaires
avant notre re, les Babyloniens (voire peut-tre les SuOn trouve cela parfois dans des magazines qui nous mriens), savaient sommer le nombre de grains de riz
proposent, souvent lt sur la plage, de tester nos capa- ainsi obtenus, puisquils connaissaient la formule, que
cits logiques : Si je vous dis, 1, 2, 4, 8, 16, saurez- nous crivons de nos jours : 1 + 2 + 4 + 8 + 16 + . . .
vous me dire le terme de cette suite de nombres, qui (avec 64 termes), ce que nous crivons, avec la notation
sensuit logiquement ? . LA jinsiste sur La rponse exponentielle (cest--dire avec des exposants) :
qui vient lesprit, est daucuns diront tout naturel20 + 21 + 22 + 23 + . . . + 263 = 264 1, ce qui,
lement est : 32 (auquel succderait 64, etc.).
par parenthse, reprsente entre 460 et 600 milliards de
Or il savre, dans cet exemple, que nous sommes tonnes de riz (non cuit. . .) si lon suppose quun gramme
victimes dun fait acquis, ou plutt dun automatisme de riz contient entre 30 et 40 grains, selon lespce.
de pense li quasi-ataviquement au fait que la duplication le fait de multiplier par 2 est lun des premiers
oprateurs naturels pour rendre compte de la croissance, en loccurrence dune croissance multiplicative.
Il faut cependant mettre laccent dans cette histoire

de jeu dchecs, sur le fait que le mode de reproduction
des termes de la suite est impos (en lettres capitales,
ci-dessus, pour souligner limportance dune telle rgle
1 Le 27 janvier 2011 : Quand la raison vacille I Les monstres ct jardins, et le 17 mars 2011 : Quand la raison vacille II Dmon(s)trer
lincongru.
2 Collectif (upcbn, Michel Onfray, dir.). Le canari du nazi. Essais sur la monstruosit. Paris : Autrement, 2012.
Jean-Pierre Le Goff
dite de rcurrence ou dhrdit) : cest la duplication dun terme lautre. Si une telle rgle nest pas
explicite, le test de votre magazine devient en fait sans
objet : nimporte quel nombre peut faire suite 1, 2,
4, 8, 16, et il y a, en toute rigueur, une innit de rponses possibles, mme si lon se cantonne une suite
de nombres entiers.
5
raient la suite 1, 2, 4, 8, 16, 31, 57, etc., que nous venons
dvoquer et que ce quon apelle le cercle de Moser
tente de rier grands traits.
Pour simplier ce premier dveloppement, qui

montre quil y a loin de lintuition la preuve, retenons que la dmarche du mathmaticien est semierratique : il se laisse volontiers aller linduction, mais
Le contre exemple le plus frappant, consiste dci- sous contrle : il sait quelle est trompeuse et connat ses
der que le bon nombre serait au hasard . . . 31 ; ce fallacies ; et lorsque lanalyse dun problme le conduit
qui, bien sr, ne prjuge, en rien de plus que prcdem- une voie plausible, il ne parle pas de thorme, mais
ment ds lors que la rgle nest toujours pas nonce, de de conjecture, quil va falloir conrmer (ou inrmer).
celui qui sen suivrait (62 ?, 63 ? ou bien 61 ?).
Parfois cest la communaut, attentive la rigueur dune
preuve, et donc au faux-pas ventuel (le paralogisme),
Le lecteur trouvera ici, un dveloppement de nature
qui relve une erreur de raisonnement et renvoie le dmathmatique lui permettant dapprofondir cette quescouvreur ses chres tudes. Et on a pu voir les plus
tion cruciale. Il y verra quen tout tat de cause, induire
grands noms de la mathmatique, cent fois sur le mnest pas dmontrer. Le gomtre est souvent amen
tier remettre leur ouvrage avant de trouver la voie, de
chercher la solution dun problme que lon peut expricorriger lerreur, mais aussi parfois de se trouver dans
mer en ces termes : quelle est la loi gnrale ventuelle
limpasse ; on a mme vu des entts persister dans lerdun phnomne observ, dont je nai pu dnombrer
reur sans comprendre la justesse des objections mises,
quun nombre ni de valeurs numriques lors dun proni mme parfois quon ait pu oser les mettre. . .
cessus dont la variabilit relve de lincrmentation par
Il ne sera pas dit que cet aperu sera dnu de
une unit ? . Pour parvenir ses ns, le dit gomtre
toute monstration de ce quest une d-monstration, et
procde le plus souvent par inductions successives, et ne
nous allons entrer dans un exercice de style dont le masacrie la rigueur quau moment de faire la preuve que
thmaticien a le secret lorsquil se fait pdagogue : il
la suite quil a construite, cest--dire dont il a donn
invente des exceptions comme le grammairien, des
les premiers termes (un seul suft, ce stade) et la loi
faux-amis comme le linguiste, des monstres comme
dengendrement ou dhrdit, quil connat ou quil a
le logicien qui veut lutter contre le bon sens, le sens
obtenue par analyse, est la rponse au problme pos,
commun ou le prjug, des contre-exemples pour
ou mme, sil s'agit dun phnomne observ dont on ne
viter les gnralisations abusives ; ici le gomtre se
connat pas la loi, quil existe un modle, arithmtique
nomme W. O. J. Moser4 , et il nous a concoct un objet
ou gomtrique, de cette situation qui produit la suite et
inattendu quil va sagir de dmonstrer.
quelle est en adquation avec le problme pos. Cest
en somme la preuve que dans la pratique et nen dplaise
Il se trouve en effet quune construction de nature
ceux qui en tiennent pour lexpos synthtique quEu- gomtrique et assez lmentaire produit une suite dont
clide a rendu ncessaire a posteriori pour ordonner les les premiers termes sont : 1, 2, 4, 8, 16, 31.
connaissances acquises3 , les problmes ont prcd les
Prenons une courbe ferme, par exemple un cercle
thormes : les problmes ont t poss et sont rests
(ce qui ne change rien au rsultat du processus engag,
ouverts avant quon en trouve la solution.
ds lors que lon ny accepte pas de points doubles :
Notons, pour en nir avec lide que latavisme le lacet se referme sans entrelacs). Plaons des points
de la duplication serait naturel, que lexemple donn sur la circonfrence et joignons les deux par deux de
ici et prcis plus loin fait usage de gures o des toutes les faons possibles, par des lignes que nous suplignes joignent des points dune circonfrence et que poserons droites pour linstant : ces cordes dlimitent
ces gures de rseaux ressemblent assez au type de lintrieur du cercle un certain nombre de rgions
cartes tresses de roseaux ou de joncs par certaines que nous aimerions dnombrer : il est bien entendu que
tribus de navigateurs sur radeaux de locan pacique, le gomtre souffre de ce genre de TOC, que lui sugassez en toute hypothse pour imaginer une ction qui gre sa longue pratique de voir des problmes partout,
ferait de ce problme un trs vieux problme dune autre contrairement daucuns qui prtendent avoir rponse
civilisation dont les premires traces mathmatiques se- tout.
3 Sil faut louer les vertus de lexpos hypothtico-dductif du dit Euclide, ncessaire un moment donn de lhistoire, il faut souligner
quil na pas manqu de proposer, par exemple dans ses Donnes, des problmes rsoudre laide de la kyrielle de thormes quil nonce et
tablit, et de problmes-cls quil rsout dans ses lments.
4 Il sagit du mathmaticien William Oscar Jules Moser (1927-2009), frre cadet de Leo Moser (1921-1970) mathmaticien lui aussi, duquel
il dit quil lui doit son intrt pour cette discipline et le donne pour son premier mentor. Leo Moser avait dailleurs crit un article sur les
dangers de linduction : On the danger of induction (1949). Le problme du cercle de [W.] Moser se trouve dans la seconde de ses propres
publications, rdige en collaboration avec Leroy M. Kelly : On the number of ordinary lines determined by n points, et date de 1958. Cette
communication fut remarque par A. Dirac, qui crira : Cet article intressera certainement une large catgorie de lecteurs, en raison de la
gnralit et de limportance des problmes considrs, mais aussi de la nature lmentaire et de la grande ingniosit des mthodes utilises .

Sur le nombre de lignes quelconques dtermines par n points. . .
Il est naturel selon Ren, notre philosophe national qui a (r)invent lanalyse des Anciens, au point de
parler de sa Gomtrie (1637) comme dune Nouvelle
Analyse daller du plus simple au plus complexe ; si je
place un point sur le cercle ce que nous appellerons le
rang 1 , ne pouvant tracer aucune ligne de ce point vers
dautres qui nexistent pas, le cercle ne contient quune
rgion : son disque intrieur ; nous dirons quau rang 1,
le premier terme de la suite que nous construisons est 1.
Si je place deux points, une seule corde pourra tre
trace, dlimitant deux rgions ; au rang 2, le second
terme de la suite est 2 ; avec trois points, ce sont trois
cordes que lon trace et quatre rgions que lon dlimite
(lintrieur du triangle et les trois segments de cercles
n est le nombre de points placs sur le contour ferm
n=1
n=2
segmenter veut dire dcouper des morceaux dlimits

par ses trois cts avec les arcs de cercle quils soustendent) : au rang 3, le nombre requis est 4.
Quelques tracs vous convaincront sans problme
quau rang 4, le quadrilatre obtenu (un carr, par
exemple) et ses deux diagonales dterminent 4 segments
hors du carr et quatre triangles lintrieur : ce qui
fera 8 rgions pour le nombre requis ; passons au pentagone, ou plutt au pentacle, cette gure intgrant les
cinq lignes joignant deux points non conscutifs en plus
de ses cts, dessinant ainsi une toile cinq branches
de mmes sommets que le pentagone : un numrotage
exhaustif des rgions obtenues permet dafrmer que
leur nombre est 16.
n=3
n=4
1
4
7
N=2
N=1
N=8
N=4
N est le nombre de zones obtenues aprs avoir joint les points 2 par 2
N est le nombre de zones obtenues aprs avoir joint les points 2 par 2

n=5
Rcapitulons :
n=
12
11
6
13
15
4
8
14
2
4
16
10
N=
16
N = f(n) ?
N = 16
N est le nombre de zones obtenues aprs avoir joint les points 2 par 2 ;
on induirait volontiers, aprs rcapitulation, que N est une puissance de 2
Cest alors que les choses se gtent un peu. Si la
facilit vous a pouss dessiner des polygones rgu-
liers, vous dessinerez un hexagone rgulier, form de

six triangles quilatraux, ayant pour sommet commun
Jean-Pierre Le Goff
le centre du cercle, et complt de 6 lignes joignant deux

points non conscutifs et non diamtralement opposs :
ces lignes couperont les six triangles quilatraux en
n=6
27
12
26
9
8
7
24
25
10
13
11
1
2
3
6
23
14
4
5
22
21
20
19
28
15
16
17
18
29
30
N = 30 !!!!!
quatre parties, qui feront ainsi 24 rgions intrieures

lhexagone, qui ajoutes aux 6 segments de cercle extrieurs, donneront . . . 30 rgions.
n = 6, sous la condition (C)

29
18 17 16 15 28
5
30
3 14
4
6
13
19 7
2
1
20
12
21 8
9
11
22
27
31 23
10
24
25
26
N (maximal) = 31 !!!!!
On remarque que si lon dispose les points rgulirement, certaines lignes de jonction se
coupent par trois, ce qui diminue le nombre N de zones dune unit (une zone se trouvant
rduite un point). Serait-ce lexplication de notre dconvenue ? Essayons lirrgularit et
posons la condition (C) : aucune ligne de jonction ne doit passer par un point dintersection
de deux autres ; au besoin, on tracera des lignes courbes pour viter un tel accident
vouloir simplier la question par lusage des polygones rguliers, et dfaut davoir prcis les conditions du rgionnement, nous venons de passer ct du
nombre requis. Car y regarder de plus prs, au rang
6, nous sommes tombs, pour la premire fois, sur une
rgion fantme, qui peut y tre ou ne pas y tre : en effet, trois des lignes traces se rencontrent en un point,
le centre du cercle, au lieu de se croiser au hasard,
preuve que notre problme est mal pos, si tant est que
notre objectif est de trouver 32 puisque telle est notre
intuition initiale. Tel que nous lavons abord, nous aurions d dire : disposant des points sur un cercle de
faon former un polygone rgulier, combien de rgions obtiendrons-nous en les joignant 2 par 2 ? Mais
si nous voulons que le certain nombre de rgions requis soit maximal, il faut alors ajouter la clause suivante, que nous nommerons (Cl) : disposant des points
de faon que trois lignes les joignant ne se coupent jamais en un mme point ; ou encore : si une ligne droite
joignant deux points passe en un point dintersection de
deux autres, il faut lincurver ventuellement localement pour viter le passage par ce point de concours
prexistant pour quelle dtermine une, et une seule
rgion supplmentaire, non rduite un point ; alors, au
rang 6, le nombre de rgions augmente dune unit, et

vaut 31, mais pas plus, puisquincurvant lun des diamtres de la gure prcdente, la ligne courbe obtenue
coupera deux autres diamtres pour former un petit triangle supplmentaire : comptez et recomptez, cest bien
31 et non 32.
Mais alors, quen est-il de lheptagone, rgulier ou
non, ds lors que la clause (Cl) est entendue ? Cest l
que le gomtre rompt le pacte euclidien : pour trouver
une ventuelle formule rpondant la question savoir, une expression gnrale qui donnerait le nombre
maximal N de rgions lorsque lon a dispos n points
sur le cercle sous la clause (Cl) lhomme de lart
va tenter de deviner le suivant connaissant les prcdents, avec larrire-pense implicite que cette formule
est accessible puisque le mode de construction semble
obir une loi de croissance dont le rcurrence est sensible : chaque fois quune droite rencontre un segment
de droite dun rseau, il va ddoubler les deux rgions
dont ce segment est une frontire. Notons que le mathmaticien prfrera noter ce nombre N sous la forme
fonctionnelle f (n) ou indicielle un , puisque la valeur de N change au l des valeurs successives de lentier n.
Et pour n = 7 ? Trouverait-on N = 63 ? ou 2 fois 31 moins 1, soit 61 ?

Rcapitulons :
n = 7, sous la condition (C)

51
57
n=
46
23 50
49 48 47
45
24
22 21 20
25
44
52
26
4
3
17
43 56
28
27
16
19
5
42
1
18
2
6
15 41
13
14 40
9 10
29
7
8
12
31
39
30
38
11
32
53
33
37
55
34
36
35
N = 1N = 2N = 3N =
63 ? 61 ? Que nenni !
N (maximal) = 57 !!!!!
Il y a un accs direct la solution par cette faon
de raisonner, que nous ne dvelopperons pas immdiatement, prfrant une voie dinduction pure, qui consiste
se dire que le dveloppement dune suite de nombres
peut tre mesur par les carts entre ses termes. Par
exemple, la suite dite des puissances de 2, savoir
20 = 1, 21 = 2, 22 = 4, 23 = 8, 24 = 16, 25 = 32, 26 = 64,
etc. obtenue par duplication, est telle que les diffrences
entre deux termes conscutifs suivent la mme loi : 2
1 = 1, 4 2 = 2, 8 4 = 4, 16 8 = 8, 32 16 = 16, etc.
Cest une proprit bien connue des suites gomtriques
(on dit aussi des lois exponentielles) que leurs diffrences nies sont aussi gomtriques (au mme titre, et
cest important de le noter pour rendre sensible le passage des diffrences nies aux diffrences inniment
petites qui est lune des intuitions majeures du Grand
Sicle, que les drives ou diffrentielles des fonctions
exponentielles sont elles-mmes exponentielles).
Le rexe du gomtre est donc de calculer les diffrences nies premires :
1 [f (2) f (1)] = 2 1 = 1, 1 [f (3) f (2)] =
4 2 = 2, 1 [f (4) f (3)] = 8 4 = 4, 1 [f (5)
f (4)] = 16 8 = 8, 1 [f (6) f (5)] = 31 16 = 15,
etc. (si tant est que lon ait dtermin la suite des valeurs
au del de n = 6) ;
puis ne voyant pas de rgularit sufsante dans la suite
1, 2, 4, 8, 15, . . . ?, den calculer les diffrences nies
(dites secondes pour la suite initiale) :
2 [3, 1] = [f (3) f (2)] [f (2) f (1)] =
f (3) 2f (2) + f (1) = 2 1 = 1, 2 [4, 2] =
[f (4) f (3)] [f (3) f (2)] = f (4) 2f (3) + f (2) =
2
3
2
4
16
2
4
3
7
15
6
31
57
54
99 ?
N=?
11
26
5?
16 ?
42 ?
4 2 = 2, 2 [5, 3] = [f (5) f (4)] [f (4) f (3)] =

f (5) 2f (4) + f (3) = 8 4 = 4, 2 [6, 4] =
[f (6) f (5)] [f (5) f (4)] = f (6) 2f (5) + f (4) =
15 8 = 7, etc. ;
et, sans barguigner, de ritrer, pour obtenir les diffrences troisimes :
3 [4, 1] = 2 [4, 2] 2 [3, 1] = 2 1 = 1,
3 [5, 2] = 2 [5, 3] 2 [4, 2] = 4 2 = 2,
3 [6, 3] = 2 [6, 4] 2 [5, 3] = 7 4 = 3, etc.
et dcouvrir alors, devant ses yeux merveills le
dbut de la suite 1, 2, 3, des nombres entiers naturels,
la plus simple des suites arithmtiques, dont les diffrences nies sont constantes : merveills ? oui mais
pas bahis, car une suite de trois nombres dont on induit une loi gnrale sans prcaution, cest peut-tre
trop beau pour tre vrai, cest--dire gnral dans
le contexte. Une longue pratique met alors la puce
loreille lhomme de lart : si la suite des diffrences
troisimes se poursuit selon une loi arithmtique, il sait
que la formule sera polynomiale de degr 4 : en effet, ce
qui se passe pour les diffrences nies ressortit ce qui
se passe pour les diffrentielles ou drives : de mme
que la drive n-ime dune fonction polynomiale de degr n est constante, ou encore que sa drive (n 1ime est arithmtique et que sa drive (n + 1)-ime
est nulle, les diffrences nies dordre n des valeurs
prises par un polynme de degr n pour des valeurs de
sa variable en progression arithmtique sont gales entre
elles. Une analogie peu orthodoxe do les guillemets
qui encadrent les points dlicats de cette analogie, ceux
qui ne supportent pas la simple monstration, et suppose-
Jean-Pierre Le Goff
raient de la dmonstration mais assez prgnante pour

tre souligne ici, consiste remarquer que le dveloppement en srie innie 5 de la fonction exponentielle, en
fait un polynme de degr inni, dont la drive terme
terme jusqu linni se trouve tre le mme dveloppement que celui de lexponentielle, ce qui se traduit
par le rsultat connu 6 pour lexponentielle de base e
que la fonction f (x) = ex est sa propre drive.
Pour que cette faon de subodorer (le gomtre fait
feu de tous les sens) la formule cherche napparaisse
pas comme un tour de passe-passe dautant que linduction ne prouve en rien que cest la bonne , je dois
la vrit de prciser que lhomme de lart dun autre
temps aurait trs probablement compt sur pices les
nombres requis aux rangs 7 et 8 : il aurait trouv, avec
du temps et du soin, quau rang sept, 57 est le nombre
de rgions, et au rang huit, 99. Fort de cela, la suite des
premires diffrences sallonge : 1, 2, 4, 8, 15, 26, 42 ;
celle des diffrences secondes aussi : 1, 2, 4, 7, 11, 16 ;
ce qui donne 1, 2, 3, 4, 5 pour diffrences troisimes. Ce
qui aurait renforc sa conviction dtre proche du but. . .
tout en nayant toujours rien prouv !
Resterait alors ce gomtre, qui aurait retenu la
leon de Gabriel Cramer (1704-1752) et de ses formules pour rsoudre les systmes de n quations n
inconnues, dire que, le polynme cherch, de la forme
a + bn + cn2 + dn3 + en4 ayant cinq coefcients inconnus (changement de registre, changement de requis. . . :
a, b, c, d, e sont les nouvelles inconnues), il lui sufrait
de rsoudre le systme :
f (1) = 1, f (2) = 2, f (3) = 4, f (4) = 8, f (5) = 16,
sans mme faire usage de f (6) = 31, ce qui ne
manque pas de sel, puisque cest cette valeur qui nous
a dtourn de lemblmatique progression gomtrique
des puissances de 2 , pour trouver la formule (toujours
hypothtique) donnant les nombres requis pour toute valeur de n. Autrement dit, dans le domaine ni des fonctions polynomiales, la suite 1, 2, 4, 8, 16, . . . se poursuivrait en quelque sorte plus naturellement par 31 que
par 32. . . ce qui nest pas le moins surprenant.
Le systme scrit (avec un e inconnu qui na pas
la signication numrique de base du logarithme nprien : cest un art bien connu, voire pervers, du calculateur algbriste pour se piger lui-mme) :
a + b +
c +
d +
e = 1
a + 2b +
4c +
8d +
16e = 2
a + 3b +
9c +
27d +
81e = 4
a + 4b + 16c +
64d + 256e = 8
a + 5b + 25c + 125d + 625e = 16
On rsout ce systme linaire par les mthodes habituelles : par combinaisons dquations, par la mthode
dite du pivot de Gauss, par la mthode des dterminants, qui gnralise lemploi des formules de Cramer
5
Le dveloppement en question scrit :
ex = 1 +
2
x
1!
x2
2!
(mthode praticable pour n petit car elle ncessite, en

principe, le calcul de n + 1 dterminants), ou, pour qui
a entendu parler des dterminants de Vandermonde7 ,
par une mthode propre ce genre de systmes, lis
aux valeurs des diverses puissances dune variable dun
polynme, systmes dont les coefcients sont alors des
progressions gomtriques.
En lespce, lun quelconque de ces modes de rsolution donne : a = 1, b = 3/4, c = 23/24,
d = 1/4, e = 1/24, ce qui conduit cette formule :
(24 18n + 23n2 6n3 + n4 )
f (n) =
.
24
Reste montrer que cette formule rpond bien au problme. Car jusque l, tout nest que conjectures, et
chaque un (qui, prvenu en vaut deux) se doute maintenant que celles-ci constituent un lieu o lon se perd
facilement. . . Linduction a permis au gomtre desprer que le phnomne tudi ait une solution formulable
et de mettre en vidence une formule qui lui permettrait peut-tre de prvoir (danticiper sur la connaissance) dautres rsultats par voie de calcul direct,
savoir par application dune formule ; la construction,
poursuivie aux rangs suivants, conrmera ces rsultats
comme avrs, ce qui renforcera sa conviction que sa
conjecture est assez bien vue : cest--dire quavant
daller plus loin, sauf sil est sr des calculs qui lont
men la formule, il vriera quavec elle, f (6) = 31,
que f (7) = 57 et que f (8) = 99, rsultats qui correspondent aux valeurs dnombres sur les gures ad hoc ;
peut-tre mme, sil est prudent, calculera-t-il f (9), et,
le trouvant gal 163, comptera-t-il les rgions dtermines dans la conguration 9 points sur le cercle : si ces
calculs et dnombrements venaient le dcevoir, ils inrmeraient cette conjecture, ce qui rduirait ses efforts
nant. Notons, pour lironie de la chose, que sil allait
jusquau rang 10, il aurait un moment dmoi, puisquil
trouverait 256, qui est. . . une puissance de 2, savoir :
28 = 256, mais qui nest pas le 29 = 512 qui rsulterait de la conjecture f (n) = 2n 1, que lon aurait induite de f (6) = 32 = 25 et qui nous donnerait
f (10) = 29 = 512 !
La dmonstration (une preuve obtenue par dduction) reste cependant faire ; la connaissance dune formule potentiellement efcace ne suft pas : luniversalit de son efcacit ou encore sa valeur de vrit,
doit tre prouve en toute gnralit et non pas seulement prouve par quelques cas particuliers, si nombreux soient-ils : cest--dire vrie quelle que soit la
valeur de n, ou encore jusqu linni. Et cest l la
partie rigoureuse requise depuis la priode des mathmatiques hellnistiques, pour ce qui est de lEurope.
Plusieurs voies sont possibles, parmi lesquelles deux
viennent lesprit immdiatement ; 1) une preuve directe : le processus de construction des rgions permet
4
5
n
x3
+ x + x + + x + .
3!
4!
5!
n!
n1
2
3
nx
x
+ = 1 + 1! + x + x
n(n1)!
2!
3!
n1
d
x
x
Autrement dit : dx (ex ) = 0 + 1 + 1! + x + x + +
+ + (n1)! + = ex .
2!
3!
Ces systmes, leurs dterminants et matrices, sont dits de Vandermonde. Une matrice de Vandermonde est de la forme gnrale :
h
i
Q
j1
. Et son dterminant vaut : 1 i<j (j i ).
i
6
7
(1 i ,1 j
10
leur dnombrement par un comptage rationnel, puis la

construction et la vrication de la dite formule ; 2) une
dmonstration dite par rcurrence, mode suprieur de
linduction, dont le principe a t labor par Blaise Pascal (1623-1662) dans son trait du Triangle arithmtique
(1654) qui porte son nom : le fameux Triangle de Pascal8 .
1) La preuve directe, qui ne suppose pas ncessairement tout le travail qui prcde puisquelle va
conduire la formule sans en connatre la forme a priori,
consiste en ceci : n est le nombre de points situs sur
le contour (le donn) ; R(n) est le nombre de rgions
(le requis). On utilisera en outre : C(n), le nombre de
cordes supposes rectilignes traces pour former le rseau sous la clause (Cl) ; P (n), le nombre total de points
du rseau, savoir les n points de la circonfrence, plus
les points intrieurs obtenus par intersection de deux
cordes issues de 4 points distincts du contour ; L(n),
le nombre de lignes lmentaires du rseau, cest-dire, 1), des segments rectilignes de cordes, reliant
deux des points conscutifs du rseau, savoir : ne
comportant aucun autre point intrieur entre leurs extrmits, parmi lesquels, 2), les cordes-segments reliant
deux points conscutifs du contour dterminant les rgions mixtilignes de la carte, mais aussi 3) les arcs de
cercles (curvilignes) reliant deux points conscutifs du
contour et formant ces mmes zones mixtilignes avec les
A
A
B
A
C
C
cordes-segments du type 2. On peut dnir tout point intrieur du rseau comme tant le point daboutissement
de quatre lignes lmentaires du premier type.
Une formule gnrale, tablie par Euler (elle porte
son nom) et concernant initialement les polydres (Descartes lavait formule dans un texte consacr aux corps
solides, et elle ne sera dmontre rigoureusement que
par Cauchy au XIXme sicle), nous dit que les nombres
A dartes, F de faces, S de sommets dun polydre, vrient : F A + S = 2. Transpose, par le mme Euler,
pour les cartes planes et leur rseau de frontires (celui de notre problme par exemple)9 , on obtient F =
R(n) + 1 (car lextrieur de la courbe ferme reprsente
une face du polydre dont la carte est une reprsentation plane : la face arrire dun cube, par exemple,
comme on le voit sur la gure suivante), A = L(n) et
S = P (n), et cela donne : R(n)+1L(n)+P (n) = 2,
soit encore : R(n) = L(n) P (n) + 1.
gauche : gure dun cube obtenue par projection ou par aplatissement : chacune des 5 zones intrieures au cercle reprsente lune des cinq faces ABCD,
ABBA, BCCB, CDDC et DAAD du cube, et
ltendue hors du cercle reprsente sa face arrire,
ABCD. droite : le mme traitement appliqu aux
cinq polydres rguliers, ou corps platoniciens, qui font
lobjet de lattention de Descartes, puis de la dmonstration dEuler, complte par Cauchy.
D
D
Calculons P (n) :
Chaque choix de quatre points de la circonfrence
dnit de faon unique un point dintersection de deux
cordes (les diagonales du quadrilatre complet que lon
obtient en joignant les quatre points deux deux). A
contrario, tout point dintersection de deux cordes, que
nous avons appel point intrieur correspond un ensemble unique de quatre points, cest--dire quil nest
pas situ sur trois cordes, selon la clause (Cl) pour dnir le problme sans ambigut.
En sorte que nous trouvons un nombre total de
points intrieurs du rseau gal au nombre de choix de 4
points parmi n, ce qui sappelle une combinaison ; celleci se note n , et vaut :
4
n
4
= (n!)/[(4!)(n 4)!]
o n! est la notation de la factorielle de n, cest--
8 Pascal na fait que (excusez du peu. . .) formuler des proprits des coefcients du dveloppement du binme, connues en Europe ds la
Renaissance, et son Triangle. . . est connu, par exemple des Chinois, depuis belle lurette.
9 Le cas des polydres entre dans la question plus gnrale des graphes et de leurs nuds de la manire suivante : on aplatit le polydre dans un plan, par une projection classique bien choisie ou par une autre dformation (nomme homomorphisme) qui ne conduit pas
confondre, dans la reprsentation produite, deux sommets (devenus des nuds) et nintroduit pas de nuds supplmentaires apparents par
intersection des apparences des artes, devenues des liens rectilignes ou curvilignes entre les nuds. Ces questions ont produit ce que lon
appelle aujourdhui la thorie des graphes.
Jean-Pierre Le Goff
dire du produit de tous les nombres entiers de 1 n.
En simpliant ce rapport par (n 4)!, on obtient :
n
4 = [n(n 1)(n 2)(n 3)]/(4!).
Et comme 4! = 4321 = 24,
n
4 = [n(n 1)(n 2)(n 3)]/24.
Et par consquent, en ajoutant les points de la circonfrence :
P (n) = n+ n = n+[n(n1)(n2)(n3)]/24.
4
Dautre part, de chacun des n points de la circonfrence partent (n 1) cordes donc autant de lignes
lmentaires rectilignes sarrtant la corde qui joint
les deux points du dit contour qui encadrent chacun des
points de ce mme contour, ce qui en fait n(n 1). On
notera quil faudrait diviser par 2 le nombre n(n 1)
pour connatre le nombre C(n) des cordes puisquen dnombrant ainsi la totalit des cordes du rseau, chaque
corde a t compte deux fois ; n(n 1)/2 est en fait
la combinaison qui exprime le choix de 2 points parmi
n, ce qui fait bien n cordes ; mais quen revanche,
2
pour les lignes lmentaires, il en va diffremment : n
de ces cordes produisent une seule ligne lmentaire,
ce sont les cts du polygone convexe, mais les autres
cordes, dont le nombre est gal [n(n 1)/2] n =
n(n 3)/2, produisent deux lignes lmentaires qui
joignent un point du contour et un point intrieur. Il y
aura donc n(n3) lignes lmentaires joignant un point
du contour et un point intrieur.
De chacun des points intrieurs partent 4 segments, ce qui en fait 4 n parmi eux, sont compts
4
deux fois les segments reliant deux points intrieurs,
et ne sont compts quune fois les segments reliant un
point intrieur et un point du contour ; si donc on ajoute
les segments lmentaires joignant un point intrieur et
un point du contour calcul prcdemment et deux fois
le nombre des cts du polygone, toutes les lignes rectilignes lmentaires seront comptes deux fois dans la
somme suivante :
4 n + n(n 3) + 2n = 4 n + n(n 1), quil
4
4
faut diviser par 2 pour avoir la somme de lignes lmentaires ; on obtient : 2 n + n .
2
4
En ajoutant enn les n lignes lmentaires que
constituent les arcs de cercle reliant deux points conscutifs de la circonfrence, on obtient le nombre total de
lignes lmentaires, L(n) :
L(n) = 2 n + n + n.
4
2
Reportant dans la formule dEuler, on obtient :
11
R(n) = L(n)P (n)+1 = n +2 n +nn n +1
4
4
2
= n + n + 1.
2
4
Avec n = [n(n 1)(n 2)(n 3)]/24, et
4
n
2 = n(n 1)/2, on obtient :
R(n) = [n(n1)(n2)(n3)]/24+n(n1)/2+1
= [n(n 1)(n 2)(n 3) + 12n(n 1) + 24]/24
= (n4 6n3 + 23n2 18n + 24)/24. C. Q. F. D.
C. Q. F. D.10 On notera quici, sagissant dun problme de construction (dune formule), on aurait plutt
crit : C. Q. F. F., i. e.11 : Ce quil fallait faire, mention nale des problmes rsolus, C. Q. F. D. tant la mention
nale des thormes. Ce problme devient un thorme
ds lors que lon noncerait la chose ainsi :
Le nombre N de rgions dcoupes sous la clause
(Cl) [qui rend ce nombre maximal] dans un cercle par
les cordes joignant n points de sa circonfrence, 2 par 2,
est gal 12 :
(n4 6n3 + 23n2 18n + 24)
.
24
Il convient de remarquer que la formule, crite avec
les combinaisons, explique la confusion des premiers
termes de cette suite de valeurs dun polynme prcis
avec ceux de la progression gomtrique de raison 2 et
de premier terme 1 ; en effet, on sait (et sinon, on nen
meurt pas), depuis Pascal (au moins. . .), que : n =
4
n1
+ n1 , que de mme n = n1 + n1 , et
3
2
2
1
4
que n1 =1.
0
Donc R(n) = n + n + 1 peut scrire :
2
4
R(n) = n1 + n1 + n1 + n1 + n1 .
4
3
2
1
0
Par consquent, R(1) = 0 = 1,
0
R(2) = 1 + 1 = 1 + 1 = 2,
0
1
R(3) = 2 + 2 + 2 = 1 + 2 + 1 = 4,
2
1
0
R(4) = 3 + 3 + 3 + 3 = 1 + 3 + 3 + 1 = 8,
2
1
0
3
R(5) = 4 + 4 + 4 + 4 + 4 = 1+4+6+4+1=16,
4
3
2
1
0
ce qui rsulte dune proprit bien connue13 et repre par Pascal des coefcients du dveloppement
du binme (a + b)n dit un peu abusivement de Newton14 , savoir : La somme des coefcients binomiaux
de (a + b)n est gale 2n . ceci prs quici, les choses
sarrtent au rang 6 : en effet :
R(6) = 5 + 5 + 5 + 5 + 5 = 5+10+10+5+1=31,
3
2
1
0
4
car il manque 5 = 1, pour faire 32,
5
R(7) = 6 + 6 + 6 + 6 + 6 = 15+20+15+6+1=57,
3
2
1
0
4
car il manque 6 + 6 = 1 + 6 = 7 pour faire 64, et
5
6
ainsi de suite.
10 Il sagit de lacronyme de la phrase : Ce quil fallait dmontrer ; dans le latin savant des premiers temps : Q. E. D. (Quod erat demonstrandum). Le latin comme langue scientique a perdur jusquau XIXme sicle et au-del : ctait la langue vhiculaire et acadmique de lEurope
savante, et les soutenances de thse, par exemple, se sont faites en latin en Allemagne, quelle que soit la discipline, jusquau dbut du XXme
sicle.
11 Ce qui signie : id est cest--dire. . . cest--dire.
12 Les valeurs donnes par cette formule pour n = 1 41 sont successivement : 1, 2, 4, 8, 16, 31, 57, 99, 163, 256, 386, 562,
794, 1093, 1471, 1941, 2517, 3214, 4048, 5036, 6196, 7547, 9109, 10903, 12951, 15276, 17902, 20854, 24158, 27841, 31931, 36457,
41449, 46938, 52956, 59536, 66712, 74519, 82993, 92171, 102091. Au rang n = 1000 : f (n) = 41417624251.
13 Faisant a = b = 1 dans les dveloppements ci-dessous de (a + b), (a + b)2 , etc., (a + b)n , on fait abstraction de ce qui sy trouve
entre parenthses et qui vaut 1, et on obtient :
1(a) + 1(b) = 2; 1(a2 ) + 2(ab) + 1(b2 ) = 4 ; 1(a3 ) + 3(a2 b) + 3(ab2 ) + 1(b3 ) = 8 ; . . . ; et plus gnralement : (a + b)n = 2n .
14 Lappellation binme de Newton tient au mrite suivant, bien rel et quil partage avec John Wallis, William Brouncker et Nicolas
Mercator : il a tendu le dveloppement des polynmes, aux puissances fractionnaires et ngatives, dans le cadre nouveau des dveloppements
illimits des expressions algbriques comportant des fractions et des racines n-imes.
12
Avec cette formule, quelle soit combinatoire ou polynomiale, on a maintenant un nonc synthtique (
partir dun problme quil a fallu auparavant rsoudre
pour le formuler) ; lnonc est devenu purement formel, et devient rutilisable puisqutabli sans contestation possible. Il reste que la part la plus exaltante du travail a consist chercher la formule soit par induction
valider, soit par dnombrement direct des lments au
rang n et usage de rcurrences implicites parce quunanimement reconnues comme vrits tablies. La leon
est peut-tre retenir pour que la plaisir de faire des
mathmatiques demeure : le moment de la recherche
et donc des problmes est sans doute le plus motivant,
quelles que soient les pines qui bordent la voie. Celui
de lapplication des thormes fera de notre discipline
une belle au bois dormant pour le plus grand nombre ; et
qui se soucie, de nos jours, daller embrasser une belle
endormie dans un roncier ?
Dernire remarque, avant que daborder une autre
forme de dmonstration : cette preuve peut faire accroire
que lon a esquiv linni : que nenni ! On la escamot,
en usant dun thorme (la relation de Descartes-Euler)
nonc sans dmonstration. . . puisquelle est avre depuis des lustres ; il y a toujours ncessit passer du
particulier au gnral dans une tape de la preuve,
ceci prs que cette tape se cache ici dans un nonc
sans dmonstration mais universellement admis et qui
relve, lui, de processus linni pour sa gnralisation.
En outre, la connaissance de formules telles que celles
permettant le calcul des combinaisons ou n mme n
4
2
relve de preuves faites par rcurrence (cest lun des
objets dont traite Pascal dans le trait voqu supra).
Lenchanement des raisons, en mathmatiques, relve
aussi dune histoire luvre.
Il existe des voies bien plus rapides que celles que
nous avons empruntes, pour dmontrer la conjecture ;
notre propos ntait pas doptimiser notre dmonstration ah ! la concision et/ou la simplicit tant apprcies
dun argumentaire ou desthtiser ah ! llgance
et/ou la beaut tant vante de certaines dmonstrations
, mais plutt dindiquer les voies de la dcouverte, et
dviter la synthse qui ne rend pas compte de llaboration de ces voies, ni du long, voire erratique, procs
de leur production. Certes la simplicit et la concision,
voire la beaut, dune dmonstration sont estimer et
rechercher, ne serait-ce que pour le plaisir ; mais y
a-t-il plaisir intellectuel sans comprhension ou rvlation du sens de lintellection et de ses objets ? Il nest
sans doute pas indiffrent que lon puisse parler de plai-
sir des sens et du plaisir du sens.

2) La dmonstration par rcurrence de la conjecture
sur la formule R(n), induite pralablement, consisterait
supposer que cette formule R(n) soit vraie pour les n
premiers rangs pour un entier n ni quelconque, comme
elle lest jusquau rang 7 (8 ou 9), et dmontrer quelle
est hrditaire : cest--dire que lintroduction dun
(n + 1)-ime point sur la circonfrence conduit fabriquer un nombre de rgions supplmentaire qui savre
tre exactement la diffrence entre :
4
R(n+1) = [(n+1) 6(n+1) +23(n+1) 18(n+1)+24]

24
et
[(n)4 6(n)3 + 23(n)2 18(n) + 24]
R(n) =
24
cest--dire :
[n(n2 3n + 8)]
R(n + 1) R(n) =
.
6
Il ntait pas crit que vous sortiriez de cet article
sans pensum(s) :
1) Mais de quelles voies rapides, simples ou tout
simplement belles, nous parle-t-on en cette occurrence ?
Cherchez donc ces voies royales ; vous en trouverez mme sur la toile, qui ne sont dailleurs pas toutes
exemptes de dfauts. Il ny a rien gagner : le plaisir na
pas de prix. . .
2) Et comment achever la dmonstration par la rcurrence esquisse linstant ?
vous de jouer pour compter les rgions apparues
dune tape quelconque la suivante. . . Rien perdre,
si vous comptez bien. . .
3) Question(s) ouverte(s) pour ma part, du
moins : peut-on imaginer un problme lmentaire
qui conduirait une suite commenant par : 1, 2, 4, 8,
16, 32, 63. . . On aura compris que la rponse est oui,
quant trouver un polynme produisant ces nombres
comme sept premiers termes, mais que la construction
dun problme connaissant une telle rponse (une formule polynomiale) voire mme connaissant une serie nie relevant dune formule inconnue, relve de voies inductives ou intuitives autrement plus problmatiques
que le trs joli exemple du cercle de Moser, crois trs
probablement par son auteur lors de l'exploration, dans
le domaine de la combinatoire, du nombre de nuds
dun rseau. Pendant que vous y serez, pourquoi ne pas
vous interroger sur le problme gnral :
a) de quel polynme P (x) les nombres 1, 2, 4, 8,
16, 32, 64, . . ., 2(n 1), 2n 1 constituent-ils les n + 1
valeurs obtenues pour les entiers x de 0 n ?
b) peut-on imaginer un problme. . . ?
suivre dans un prochain numro : quelques solutions synthtiques du problme de Moser.

Bibliographie sommaire des ouvrages consults visible en page 3, sous lditorial.
(N.B. Le prochain article proposera une bibliographie plus complte, avec des articles, des ouvrages et des
URL pour aller plus loin.)
Jean-Pierre Le Goff,
IREM de Basse-Normandie & universit populaire de Caen Basse-Normandie, Caen, septembre 2012.
Danielle Salles-Legac, Ruben Rodriguez Herrera
13
la rencontre de la croix et du pentagone clestes (I)

Activits de dcouverte pour les lves de troisime et du lyce
Rsum : nous vous prsentons de nouveaux rsultats et activits autour dun trs
ancien sujet : le Nombre dOr. Quand
nous tudions les diffrentes constructions
des Rectangles dor, il est intressant dobserver la succession de leurs diagonales. Les
gures montrent lexistence dun pentagone
non rgulier mais rellement esthtique auquel nous nous sommes intresss, ainsi que
certaines croix formes par les diagonales de
rectangles dor successifs. Nous les avons appels : Pentagone Cleste et Croix Cleste en rfrence la Croix du Sud, visible
dans le ciel de lhmisphre Sud o est n
lun de nous : Ruben Rodriguez. Nous calculons les valeurs algbriques exactes (avec
des radicaux) des lignes trigonomtriques des
angles des pentagones clestes ainsi que la
mesure de leurs cts. Nous prouvons que
les branches des Croix Clestes ont beaucoup de proprits des suites de Fibonacci gnralises. Nous proposons ainsi des activits de niveaux varis qui peuvent tre prsentes tant aux lves du lyce quaux lvesprofesseurs de lUniversit.
Abstract : we present below new results

and activities about a very ancient subject :
the Golden Number. When constructions of
Golden Rectangles are studied, it is natural
to observe the succession of their diagonals.
The gures show the existence of an exciting pentagon, not regular but really esthetic. We have named it "the Celestial Pentagon" in memory of the South Cross visible
in the sky of the south hemisphere where
Ruben Rodriguez is born. It is well known
that many connections between Fibonacci sequences and the succession of the Golden
Rectangles exist. We give the exact algebraical measure of the trigonometric lines
of the angles of the celestial pentagon, then
we prove that the branches of what we call
the "Celestial Cross" have many ne properties similar to the Fibonacci sequences ones.
These activities are of different levels of difculty and can be presented to future teachers
as well as to seventeen years old students.
Resumen : les presentamos nuevos

resultados y actividades alrededor de un
muy antiguo tema ; el Numero de Oro.
Cuando estudiamos diferentes construcciones
del rectngulo de oro es natural de observar la
sucesin de sus diagonales. Las guras muestran un muy interesante pentgono que no es
regular pero realmente esttico y nos interes,
y, tambin la Cruz que forman las diagonales
de dos Rectngulos de Oro sucesivos. Lo hemos llamado el Pentgono Celeste recuerdo
a la Cruz del Sur que se v en el cielo del
sur-hemisferio donde nac Ruben Rodriguez.
Es bien conocido que hay muchas conexiones
entre las series de Fibonacci y las sucesiones
de los rectngulos de oro. Calculamos el valor algbrico de las lineas trigonomtricas de
los ngulos de los pentgonos celestes y de
sus lados. Probamos que las ramas de lo que
llamamos la Cruz Celeste tienen muchas
propiedades de las series de Fibonacci. Estas
diferentes actividades son de dicultades variadas, entonces pueden ser propuestas a los
estudiantes hasta el nal del liceo superior,
y tambin a los estudiantes profesores de la
Universidad.
I INTRODUCTION
Le nombre dor et ses acolytes : rectangle dor,
pentagone rgulier et autres suites de Fibonacci nont
pas ni de vider les encriers comme le montrent par
exemple les quatre articles Activits autour du nombre
dor mis en ligne rcemment par lun de nous la demande du rectorat de lacadmie de Caen.1 Dans cet article nous vous prsentons des thmes dactivits autour
de proprits dcouvertes par Ruben Rodriguez-Herrera
cette occasion en esprant quils amusent les lves et
inspirent le professeur.
Cet article sera suivi d'un second de Jean-Pierre Le

Goff prsentant un aspect historique et surtout heuristique de ce nouvel tre gomtrique .
Nous vous montrons donc dans ces deux articles comment des aspects remarquables d'une notion
peuvent passer inaperus pendant. . . plus de 2000 ans !
Rappelons tout dabord comment on trace de faon
itrative des rectangles dor pour construire une spirale rectangulaire .
Il suft tout dabord dadjoindre au premier rectangle dor

(en jaune ple) de cts 1 et 1 un carr de ct 1. On
obtient un rectangle dor de cts de mesures 1 et , car
1 = 1, ensuite un rectangle de cts et 2 ;
en effet, cause de lquation caractristique de , on a :
2 = + 1 .
Nous avons ainsi dessin les trois premiers rectangles dor
an quapparaisse le dbut de la spirale rectangulaire forme par les diagonales des carrs successifs. Il est intressant de remarquer que ces diagonales mesurent respectivement
:
2 ; 2 ; 22 .
Quen est-il des diagonales des rectangles dor ?
Autour du nombre dor, site de lIREM de Basse-Normandie, section Relations internationales.
14
Le nombre dor nen nit pas dexercer sa fascination tant chez les mathmaticiens que les philosophes et
les architectes, parfois dailleurs de faon peu crdible.
Nous nous contenterons ici de vous proposer quelques
remarques et calculs propos dun pentagone non rgulier mais trs particulier que nous appellerons pentagone cleste qui apparat naturellement lorsque lon
effectue des constructions de rectangles dor. Ce pentagone est cr (voir gure ci-dessus) lorsque lon trace de
faon itrative des rectangles dor pour construire une
spirale rectangulaire .
Supposons que nous sachions construire un rectangle dor de cts de mesure 1 et o dsigne
1+ 5
le nombre dor : =
. Les nombreuses m2
thodes la rgle et au compas, par pliages, etc. sont bien

connues, voyez par exemple les articles cits plus haut.
Il est facile de construire partir dun rectangle dor
de cts de mesure 1 et , le rectangle dor suivant
de cts de mesures et 2 . Rappelons lquation vrie par :
2 1 = 0 dont on dduit 1 = 1
Dans la gure suivante nous avons fait apparatre un
rectangle dor supplmentaire et hachur un pentagone
non rgulier form par les diagonales successives des
rectangles dor. Certaines de celles-ci sont portes par
une mme droite cause de la proportionnalit des cts successifs des rectangles dor (voyez les articles dj
cits).
Figure gnrale montrant les diagonales portes par une mme droite,
cette proprit pourra tre prouve
en classe avec laide du professeur.
Le carr not 1 est le premier carr,
de ct 1, qui permet de construire
le rectangle dor de cts 1 et .
Figure agrandie : le pentagone

toil cleste a pour sommets
ACEGI et pour contour :
ABCDEFGHIJA.
De nombreux calculs de niveaux varis peuvent tre

effectus sur ce pentagone, nous vous proposons pour
un niveau plus facile le calcul de ses angles, puis
un autre plus difcile le calcul des lignes trigonomtriques de ces angles sous forme algbrique (i.e. avec
des radicaux) ensuite le calcul de ses cts puis le calcul
de son ellipse circonscrite. Le professeur pourra ainsi

juger de ce jusquo les lves pourront aller selon
leur niveau et il est conseill de proposer les activits
en travail par sous-groupes. Pour les plus grands nous
introduirons la notion de Croix Cleste et nous tudierons ses rapports avec le nombre dor.
II Calcul des mesures des angles du pentagone toil cleste (difcult moyenne)
La gure suivante prsente quelques proprits ob Construire par pliages ou la rgle et au compas
un rectangle dor ACEI ;
servables et calculables de ce pentagone toil cleste.
Nous pouvons demander aux lves de vrier si
Tracer ses deux diagonales [IC] et [AE] qui se
la calculatrice donne ces rsultats au dixime de derencontrent en B ;
Mener par A et C les droites perpendiculaires
gr prs. La perpendicularit de certaines diagonales des
rectangles dor successifs nous permet de proposer une
ces deux diagonales qui se rencontrent en G ;
construction simple du pentagone toil cleste (difAlors le pentagone toil ABCEFGHIJ est cleste.
cult moyenne) :
15
Par dnition du nombre dor les triangles qui forment les
rectangles dor successifs ont leurs cts proportionnels et
certaines diagonales ont mme support. Les triangles AIH,
HKA, CEF, IEC, IAC sont donc semblables et les diagonales [AG] et [IC] sont orthogonales ainsi que [CG] et
[AE]. Nous reviendrons dans les paragraphes suivants sur
cette proprit remarquable.
Nous en dduisons les valeurs des angles :
- les angles IAH, EAC, ACI, FCE, GAI, GCE sont gaux
et ont pour mesure 31,7 au dixime de degr prs
- les angles AHE et FCI sont gaux et ont pour mesure
90 2(31, 7) = 26, 6 ; langle dans le triangle ABC a pour
mesure : 180 2(31, 7) = 116, 6
- langle GAC, a pour mesure 31,7+ 26,6 = 58,3 donc
langle AGC dans le triangle AGC a pour mesure :
180 2(58,3) = 63,4.
III Calcul des lignes trigonomtriques exactes des angles du pentagone toil cleste
pour les lves du lyce
Calculons tout dabord les longueurs des diagonales du rectangles dor AKHI.
2
1+ 5
6+2 5
5+ 5
2
Nous avons : AH =
+1=
1, 9
+1=
2
2
2
Donc, dans le triangle rectangle AIH nous avons :
sin2 31, 7
cos2 31, 7
cos 31, 7
tan2 31, 7
1
2
2(5 5)
5 5
=
=
et sin 31, 7 =
10
10
5+ 5
5+ 5
2
2
1+ 5
3+ 5
2
2 = 3 + 5 = (3 + 5)(5 + 5) = 10 + 2 5 = 5 + 5 et
=
20
20
10
5+ 5
5+ 5
5+ 5
2
2
5+ 5
.
10
5 5
5 5
10
5 5
(5 5)2
20(5 5)
51
=
=
=
=
=
et
10
20
20
2
5+ 5
5+ 5
20
tan 31, 7
51
.
2
Les angles de 31,7 et 58,3 tant complmentaires, le sinus de lun est respectivement le cosinus de lautre, la
tangente de lun est la cotangente de lautre.
Langle de 63,4 est double de 31,7, appliquons la formule de duplication des sinus et cosinus :
5 5
5+ 5
2 20
2
sin 2a = 2 sin a cos a sin 63, 4 = 2
=
= =
10
10
100
5
5+ 5 5 5
5
cos 2a = cos2 a sin2 a cos 63, 4 =
=
et tan 63, 4 =
10
10
5
2 5
.
5
2 5
5
= 2.
5
5
Nous remarquons que la tangente de langle de 63,4 est un nombre entier, pouvons-nous retrouver ce
rsultat laide de la tangente dun angle double dun angle donn ?
16
2 tan a
21
rappelons que 2 =m c + 1 donc 2
=1
tan 63, 4 =
2
1 2
1
1 tan a
1
= 1, donc tan 63, 4 = 2.
Multiplions cette expression par 2 on obtient :
1 2
Langle de 116,6 tant supplmentaire de celui de 63,4 nous en dduisons facilement ses lignes trigonomtriques.
On a : tan 2a =
Angle en degrs
31,7
58,3
63,4
116,6
Sinus
5 5
0, 53
10
5+ 5
0, 85
10
2 5
0, 89
5
2 5
0, 89
5
Cosinus
5+ 5
0, 85
10
5 5
0, 53
10
5
0, 45
5
5
0, 45
5
Tangente
51
= 1
2
5+1
=
2
2 5
5
=2
5
5
-2
IV Calcul de lquation de lellipse circonscrite au pentagone cleste pour le lyce

Le pentagone toil cleste tant construit partir
du rectangle ACEI auquel on a adjoint un triangle isocle HFG, il admet une ellipse circonscrite dquation
assez aise calculer, nous proposons donc ce calcul
aux lves du familiariss avec la notion d'ellipse.
Intuitivement le rectangle ACEI admet un cercle
(trac en pointills) circonscrit, de centre B point de

concours des diagonales du rectangle. Ce cercle peut
tre aplati verticalement selon l'axe [By) an de passer par le point G, on obtient alors l'ellipse circonscrite
au pentagone.
Nous avons plac nos axes selon les axes orthogonaux passant par le centre du rectangle dor de cts
et 2 donc lquation gnrale de lellipse est de
x2
y2
la forme : 2 + 2 = 1. Le demi grand axe est a
a
b
+1
2
=
;
et le demi petit axe est b = BG =
2
2
2
Lellipse passe par E de coordonnes : x =

et
2
2
2
2
2
1
y =
donc 2 +
= 1 soit 2 =
=
4
2
4a
4
4a
2
1
. On a donc 4a2 = 5 et lquation de lellipse
4x2
4y 2
est
+ 4 = 1 . Donc le demi grand axe a vaut
5
= b . Laplatissement du cercle de centre B

2
5
et de rayon
pour obtenir lellipse est donc : .
2
Les deux foyers de lellipse ont pour abscisses c et c
5 4
3
3
avec c2 = a2 b2 =
=
2 =
4
4
4
4

et il vient c =
.
2
17
Remarque : Nous voyons apparatre ici la longueur et, bien sr

nous posons une question, rcurrente dans nos activits : cette longueur
est-elle constructible la rgle et au compas ?
La rponse est oui comme le montre la gure ci-contre, condition
toutefois que l'on dnisse une longueur unit.
Nous construisons un cercle de diamtre , nous reportons partir de
l'extrmit de celui-ci une corde de longueur 1 alors le troisime ct
du triangle rectangle ainsi dni a pour longueur : 2 1 =
Pour les lves moins familiariss avec la notion

d'ellipse nous pouvons proposer une autre approche
intuitive (nous mettons ce mot entre guillemets car
chacun sait que l'intuition mathmatique ne se dveloppe qu'avec une longue pratique, nous devrions peuttre utiliser le mot image ) du problme prcdent.
Nous proposerons ensuite un calcul dtaill partir
de l'quation gnrale de l'ellipse, toujours pour les
plus grands.
Une autre faon d'aborder la recherche de l'quation
de l'ellipse circonscrite peut consister construire,
comme cela est frquent en gomtrie un complment
de gure qui va nous aider dans le raisonnement. En
effet, chaque personne travaillant sur le pentagone cleste remarque que son enveloppe convexe ACEGI ressemble une maison avec un toit. Le pentagone cleste
est entour du rectangle ACEI auquel on ajoute un triangle AGF. Ce petit triangle te la symtrie du rectangle,
ce qui est gnant lorsque l'on recherche l'quation de
l'ellipse. Nous proposons donc de complter le pentagone en traant le triangle IG'E symtrique du triangle
AGC. Nous obtenons maintenant un hexagone non
rgulier mais admettant deux axes de symtrie [Bx)
et [By). Par un effet de symtrie de la gure l'ellipse circonscrite au pentagone cleste sera aussi circonscrite
l'hexagone.
L'quation gnrale de l'ellipse est de la forme :

ax + bxy + cy 2 + dx + ey + f = 0. Nous remarquons
tout d'abord que la gure est maintenant symtrique par
rapport aux deux axes. Donc y est invariant lorsque l'on
transforme x en x et x est invariant lorsque l'on transforme y en y : ax2 + bxy + cy 2 + dx + ey + f = 0 ;
faisons x x : ax2 bxy + cy 2 dx + ey + f = 0.
Par addition membre membre, il vient :
2ax2 +2cy 2 +2ey+2f = 0 do ax2 +cy 2 +ey+f = 0.

Alors y y donne : ax2 +cy 2 ey +f = 0 ; Par diffrence membre membre, il vient : e = 0. L'quation
simplie de l'ellipse est ax2 + cy 2 + f = 0.
crivons que l'ellipse recherche passe par le point G de

coordonnes (0, (+1) / 2) : c[( + 1)/2]2 + f = 0.
Donc f = c[( + 1)/2]2 .
18
crivons que l'ellipse recherche passe par le point

E de coordonnes (( + 1)/2), /2).
(a/4)( + 1)2 + (c/4)2 = (c/4)( + 1)2 ; ou encore (a/4)4 + (c/4)2 = (c/4)4 ; simplions cette
expression par 2 /4 ; il vient a2 + c = c2 donc
a2 = c(2 1) = c et c = a.
L'quation de l'ellipse devient ax2 + ay 2 = a5 /4
puis en simpliant par (a = 0), 4x2 + 4y 2 = 5 . Soit

4x2 4y 2
encore 5 + 4 = 1, ce que nous avions calcul dans
le paragraphe prcdent.
Les calculs du paragraphe III nous permettent dobtenir une construction trs simple par pliage de langle de
63,4 qui est donc langle aigu form par les diagonales de tous les rectangles dor.
V Construction par pliage des rectangles dor dont la longueur des diagonales est connue,
variante la rgle et au compas pour la classe de seconde
Nous proposons aux lves de construire par la technique habituelle deux plis perpendiculaires :
Nous reportons ensuite la longueur DB le long de

[BE] partir de B par le pli en pointills.
Alors langle a pour mesure 63,4, nous demandons
aux lves de vrier leur construction avec le rapporteur. Ensuite nous leur demandons douvrir la feuille et
de marquer la droite (CD) par un pli. Nous demandons

alors aux lves de montrer que tout cercle centr en D
rencontre les droites (CD) et (DB) aux sommets dun
rectangle dor.
Il est possible deffectuer cette construction la

rgle et au compas en demandant aux lves de
construire un rectangle dor dont la mesure des diagonales est impose ; voici une suggestion de texte pour
les classes de seconde, pour le calcul effectif de la tangente de langle 63,4 que nous avons expos plus haut.
Nous le proposerons aussi aux classes de premire et
terminale.
Exercice (difcult moyenne)

Construire un rectangle dor avec votre construction
prfre : pliage ou rgle et compas.
Vrier avec la calculatrice que langle form par les
diagonales du rectangle dor mesure 63,4 au dixime
de degr prs.
Vrier avec la calculatrice que la tangente de langle de
63,4 est 2 au dixime prs, en dduire une construction

simple dun tel angle la rgle gradue et lquerre.
On suppose connue la longueur des diagonales dun rec-
19
tangle dor, par exemple 10 cm, construire ce rectangle
dor laide du compas.
Solution
Construction de langle de 63,4 : tracer deux droites orthogonales qui se croisent en O, reporter partir de O, sur lune
une longueur par exemple 4 cm dextrmit A, sur lautre la
longueur double soit 8 cm dextrmit B, alors langle OAB
mesure 63,4, le vrier avec le rapporteur. Tracer le cercle
de centre A et de diamtre 10 cm qui rencontre la droite (OA)
en D et F et la droite (AB) en C et E alors le rectangle CDEF
est le rectangle dor recherch.
V Calcul des mesures des cts et hauteurs du pentagone toil cleste pour le lyce
Pour commencer le travail nous effectuons des calculs pour obtenir les longueurs des diffrentes branches
du pentagone cleste en fonction de .
Nous calculons tout dabord la diagonale [IC] du rectangle dor ACEI de cts et +1 puis la demi diagonale BC.
IC2 = 2 + ( + 1)2 = 22 + 2 + 1 or
2 = +1 donc IC2 = 3+4 et IC = 3 + 4
3 + 4
. Nous avons remarqu que
et BC =
2
le triangle AJB gal au triangle CDB est rectangle, notons a le petit ct de langle droit, alors
le grand ct de langle droit mesure 2a (calcul
du paragraphe prcdent). Dans le triangle AJB
3 + 4
nous avons donc : a2 + (2a)2 =
do
4
3 + 4
3 + 4
puis a =
.
a2 =
20
20
3 + 4
3 + 4
IJ = IB - JB =
2
20
( 3 + 4)(5 5)
IJ =
10
Le point G tant lintersection des diagonales du grand

rectangle dor ACLM de cts 1 + et 1 + 2, la hau1
(1 + 2)
= . La
teur du triangle isocle HGF est
2
2
(1 + 1 )
hauteur du triangle isocle HBF est

= ,
2
2
sa base HF mesure 1 + 2 = 1.
Pour terminer nous vous proposons de calculer les
valeurs algbriques que nous avons indiques sur la gure. Nous revenons sur ces valeurs par raisonnement
gomtrique dans le paragraphe suivant propos des
proprits de la croix cleste.
20
VI Dnition de la croix cleste et tude de ses proprits (dcouvertes par l'un d'entre
nous : Ruben Rodriguez Herrera )
Nous vous avons fait remarquer que les triangles
CDB et AJB sont rectangles, il en est de mme, bien sr
dans les constructions successives des rectangles d'or
dont les cts sont tous respectivement proportionnels.
Nous mettons en vidence dans les gures suivantes les

croix clestes formes par deux branches orthogonales de deux rectangles d'or successifs dont nous
allons calculer les proprits.
Observons les branches de la premire croix cleste :

[JP] ; [JH] ; [IJ] ; [JA]. Ce sont les petits cts de triangles rectangles d'hypotnuses, 1 , 1, en croissant.
Ils sont semblables par la proprit des rectangles d'or,
leurs angles correspondants sont donc gaux, la tangente
de l'angle de mesure 58,3 au dixime de degr prs est
. Les calculs du paragraphe prcdent sont assez ingrats aussi nous allons vous proposer un raisonnement
gomtrique qui vous dmontrera une fois de plus combien la gomtrie euclidienne peut tre lgante. Appelons a la mesure du plus petit ct JP du plus petit tri-
21
angle rectangle HJP. L'autre ct JH a donc pour mesure

a. Le triangle suivant, d'hypotnuse 1 a pour cts JH
et JI, ce dernier de mesure a2 . Pour des raisons similaires le ct JA du triangle suivant mesure a3 .
Rcapitulons : JP = a ; JH = a ; JI = a2 ; JA = a3 .
Nous constatons que JI = JH + JP cause de la proprit
de : 2 =+1 ainsi que : JA = JH + JI.
Plus gnralement :
Proprit 1 - Les mesures des branches successives
distinctes des croix clestes forment une suite gomtrique de raison .
VII - Suite des rectangles dor construits partir des bras de la croix cleste pour le lyce
Nous vous proposons cette suite d'activits qui
peuvent paratre certains lecteurs avertis lmentaires car leurs rsultats sont un peu prvisibles.
Ces activits tant, a priori destines aux lves de troisime du collge et de lyce elles pourront tre proposes avec prot nous semble-t-il aux lves professeurs
de luniversit.
Nous vous rappelons que, pour que les lves
construisent bien leurs psychomorphismes2 autour d'une
notion, il est ncessaire d'aborder celle-ci suivant des
directions diffrentes an de renforcer et prciser leur

image mentale.
Puisque la suite des bras des croix clestes est gomtrique de raison il est intressant d'observer les
rectangles d'or successifs construits sur ces bras. Remarquons qu'il a deux faons de construire la suite des
croix clestes, puisque, dans le pentagone cleste, deux
couples de cts se coupent angle droit. Pour simplier nous choisissons de construire les croix clestes
successives autour du point I des gures prcdentes.
2 Pour la notion de Psychomorphisme on pourra consulter les articles en ligne sur le site de lIREM de Basse-Normandie par Ruben
RODRIGUEZ HERRERA, voir la bibliographie.
22
Dans la suite de quatre rectangles de la gure cidessus on peut observer la suite forme par les primtres et la suite forme par les aires et regarder si elles
sont : une suite arithmtique, une suite gomtrique ?
Si l'on prolonge la suite des croix clestes de faon
dcroissante ou croissante on observe que le point I est
commun et que les rectangles de la suite qui ont deux
rangs dcart sont homothtiques dans une homothtie de centre I et de rapport 2 , (si l'on va dans le sens
croissant) ou 1/2 , (si on va dans le sens dcroissant).
En fait cette homothtie la proprit de laisser tous les
rectangles dor de la suite cleste , globalement invariants.
Supposons la suite croissante. En effet par exemple
IA/IE = 2 , ceci prouve que laire dun rectangle est
gale 4 fois laire du rectangle de la suite cleste qui
est plac deux rangs avant.
Calculons laire dun rectangle par rapport laire
du prcdent :
Par exemple, laire de AIFK est gale :
AI IF = IF et laire de EIFL est :
IF IE = IF IF/ = IF( -1)
Donc le rapport de la plus petite aire la plus grande
est : (IF ( -1)) / ( IF ) = 1-1/ = ( -1)/ = 1 / 2
Donc le rapport des aires, dans le sens croissant, est 2 .
Proprit 3 - La suite des primtres des rectangles

de la suite cleste , est une suite gomtrique de raison (dans le sens croissant).
Nous proposons maintenant de poursuivre la
construction de la suite des rectangles clestes, ce qui
consolidera cette notion et ses rapports avec la spirale
des rectangles d'or que nous avons dessine en traits
noirs sur la gure ci-dessous.
Nous demandons de calculer explicitement le plus
simplement possible les premiers termes de la suite des
cts des rectangles clestes, rappelons que, dans le paragraphe VI nous avons calcul la valeur algbrique de
la longueur d'une des branches de croix cleste IJ, la suivante a pour longueur :
5+ 5
5+ 5
; la suivante
2 ; puis
10
10
5+ 5
5+ 5
3 =
( + 1) =
10
10
5+ 5
(2 + 1)
10
On poursuit facilement en utilisant la proprit dmontre prcdemment : les branches successives des
croix clestes forment une suite qui est gomtrique de
raison . Il est donc ais d'en dduire la suite numrique en fonction de des aires des rectangles d'or de
la suite cleste :
Proprit 2 - La suite des aires des rectangles de la 5 + 5 ; la suivante 5 + 5 2 ;

10
10
suite cleste dans le sens croissant est gomtrique

5+ 5
de raison 2 .
puis plus gnralement
n .
10
La suite des primtres des rectangles de la suite cNous observons que contrairement la suite des recleste vrie, par exemple :
tangles d'or qui compltent chaque tape un rectangle
Primtre de AIFK est (AI+IF) 2 = ( IF + IF) 2 = parfait (voyez les traits noirs en gras), lorsque l'on ajoute
(+1) IF 2
un rectangle cleste, il se superpose l'un des prcdents
Primtre de EIFL est (IF+IE) 2 = (IF + IF/ ) 2 = mais ne complte pas un grand rectangle. Soulignons
(1+1/ ) 2 IF = 2 IF
que la construction des rectangles clestes demande de
Et le rapport des primtres est :
la rexion et de la minutie, ce qui est trs favorable
(( +1) IF 2) / ( 2 IF) = 1+ 1/ = . On a donc l'apprentissage.
23
VIII - Une construction du rectangle dor et la croix cleste laide de GEOGEBRA

1) On trace un carr ABCD de cts de longueur 1,
(avec la fonction distance du logiciel), puis on lui adjoint un rectangle extrieur CDFE, tel que le point F soit
sur la droite (AD) et le point E sur la droite (BC)
2) On trace les droites (AE) et (CF) qui se coupent
en I, puis on fait mesurer par le logiciel lun des angles
en I
3) On dplace le point F, (toujours sur la droite (AD)

et on sarrte quand langle en I est de 90 avec la
meilleure prcision possible.
4) Avec la fonction distance du logiciel on constate
que la distance AF est une approximation du nombre
dor, cest--dire 1,62 au centime prs.
24

Justication de la construction
Puisque, par construction, les segments [AE] et [CF]
sont orthogonaux, les triangles AEF et CFE sont semblables ainsi que les rectangles ABEF et CEFD.
On a donc la proportion suivante :
(AD + DF)/ AB = CD/DF.
Choisissons la longueur du ct du carr ABCD pour
unit de mesure : AD=1 ; on a : (1+DF)/1 = 1/DF.
Posons DF = x o x est un rel positif. On a lquation
dans R+* :
(1 + x) = 1/x . quivalente x2 + x 1 = 0 dont
la solution est x = (1 + 5)/2 = 1 .

Le rectangle ABEF est d'or.
Proprit 4 - Si l'on prolonge deux cts opposs d'un carr ABCD par un rectangle CDEF, pour que
CDEF soit un rectangle d'or, il suft que les diagonales
respectives [AE] et [CF] des rectangles ABEF et CDEF
soient orthogonales.
Ralisation sous forme de bricolage pour le collge :
Matriel une planche de contre-plaqu, quelques
pointes, une rgle plate, une querre, un compas des bra-
celets lastiques (par groupes d'au moins trois lves).

Commentaire : comme dans toutes ces expriences
de construction gomtrique, nous sommes confronts
au problme de l'approximation : paisseur des traits,
diamtre des pointes, positionnement incertain de la
rgle plate, incertitude de la position de l'intersection
des deux lastiques sur le cercle qui peuvent troubler
l'lve.
Il est donc bon de souligner aux lves qu'une fois

de plus ce n'est pas parce que cela marche que nous
sommes satisfaits, il est possible que notre petit rectangle d'or ne donne pas une trs bonne approximation
de - 1 (si nous supposons le carr de ct unitaire)
mais il s'agit de raliser physiquement une investigation mathmatique, nous faisons un travail d'ingnieur,
qui devra par exemple, afner ses ajustements pour rpondre des normes de prcision.
Nous faisons ici le travail rciproque du prcdent

o nous constations que Geogebra nous dlivrait une
mesure de acceptable et ensuite, nous justions la validit de la construction.
Dans la vie industrielle il est plus frquent de rchir une technique, puis de la raliser au mieux, mais,
l'cole, il ne faut pas priver l'lve de la devinette :
Pourquoi a marche ?

Pour terminer nous vous proposons une mosaque
construite partir de l'hexagone introduit dans le calcul de l'ellipse circonscrite au pentagone cleste au paragraphe IV. Cette mosaque fait apparatre deux nouveaux pentagones, qui semblent des pentagones rguliers vus dans une autre perspective, aussi nous propo-
25
sons votre sagacit le petit problme suivant : existet-il une transformation simple ayant pour objet le pentagone cleste et pour image ce nouveau petit pentagone ? Nous vous proposons de commencer par tudier
la croissance des cts du petit pentagone en utilisant
les calculs et proprits dmontrs prcdemment.
Pour poursuivre l'tude de ces curieux objets gom la rencontre du pentagone cleste (II) qui vous
triques nous vous invitons lire dans un prochain Mi- emmnera dans le monde fascinant de la perspective . . .
roir des Maths l'article suivant de Jean-Pierre Le Goff :
Bibliographie
Rodriguez Herrera Ruben Activits varies autour du nombre dor pour la classe de troisime, quatre articles en
ligne sur le site de lI.R.E.M. de Basse-Normandie Caen http ://www.math.unicaen.fr/irem/
Rodriguez Herrera Ruben - Salles-Legac Danielle Les symtriseurs in Le miroir des mathmatiques (n6)
Dcembre 2010.Caen, I.R.E.M. de Basse-Normandie et en ligne http ://www.math.unicaen.fr/irem/
Rodriguez Herrera Ruben Lenseignement des fractions bas sur la loi de la correspondance morphique ("psychomorphisme") de deux systmes dans la formation des connaissances, en ligne sur le site de lI.R.E.M. de
Basse-Normandie page "Relations internationales" http ://www.math.unicaen.fr/irem/
Salles-Legac Danielle et lquipe de gomtrie de lI.R.E.M. de Basse-Normandie Activits varies de constructions gomtriques de la parabole, prolongements lellipse (en espagnol et en franais). Caen, I.R.E.M. de BasseNormandie 2011.
Salles-Legac Danielle et lquipe de gomtrie de lI.R.E.M. de Basse-Normandie Dcouvrir et dmontrer en
gomtrie avec des pices de puzzle (en espagnol et en franais). Caen, I.R.E.M. de Basse-Normandie 2011.
Salles-Legac Danielle et lquipe de gomtrie de lI.R.E.M. de Basse-Normandie Symtrique axial dun point
et dplacement dun segment par pliage Le miroir des mathmatiques (n10) novembre 2012.Caen, I.R.E.M. de
Basse-Normandie et en ligne http ://www.math.unicaen.fr/irem/
Membres de l'quipe Gomtrie de l'IREM de Basse-Normandie :

Anne-Marie Bock, ric Lehman, Olivier Longuet, Ruben Rodriguez, Danielle Salles.
Un approfondissement en TS : approximation de n! et formule de Stirling.
26
Un approfondissement pour lAccompagnement Personnalis en TS

Approximation de n! et formule de Stirling1
Introduction
(n + 1)!
les produits en somme. En effet le quotient
n!
Dans cette tude lmentaire, dun sujet trs connu, tend vers plus linni, ce qui montre que la croissance
abordable avec les connaissances du programme dun de n! est plus rapide que toute suite gomtrique. Do
bac scientique (cf. Sujet bac C Centres trangers lide de sintresser la suite un = ln(n!) dont le rap1994)2 ou trait couramment au niveau L1/2, il sagit port de deux termes conscutifs tend vers 1.
n
dillustrer la mise en uvre dides et de mthodes maDautre part, nous pouvons crire un =
ln(k) =
thmatiques intressantes en soi, qui peuvent tre rink=1
vesties dans dautres problmes. Nous nous proposons n
dobtenir une information quantitative (dduite dune
ln(k), do lide de linterprtation de cette somme
vision gomtrique des valeurs en jeu et exprime avec k=2
les fonctions disponibles en TS) sur la croissance de la comme approximation dune intgrale que nous saurons
suite factorielle et le rsultat asymptotique d A. De expliciter.
Moivre et J. Stirling (vers 1730)3 .
Prrequis Les fonctions logarithme nprien et
exponentielle, les bases du calcul intgral, les thormes
Les deux ides Dune part, utiliser deux propri- de convergence des suites relles (existence de la limite
ts fondamentales de la fonction logarithme nprien : pour les suites croissantes majores, obtention de limite
La fonction ln aplatit les fortes variations et transforme par encadrement.)
Lintgrale In approximant ln(n!)
y = ln(x)
Bk
Ak
3
2
5
2
...
Pour valuer la somme k=2 ln(k), nous introduisons un repre orthonorm dans le plan et interprtons
(voir gure ci-dessus) ses termes comme des mesures
daires de rectangles de mme largeur 1 (en abscisse)
et de hauteurs ln(k) (en ordonne). Pour la suite de
ce travail, nous considrons vis--vis de ce repre, la
courbe C reprsentative de la fonction ln, les points
k 1
2
Ck
k+ 1
2
...
1
n 2
n
n+
1
2
Ak k 1 , ln(k 1 ) ; Bk (k, ln(k)) ; Ck k + 1 , ln(k + 1 )

2
2
2
2
et le domaine constitu des points :
3
M (x, y)
x n + 1 et 0 y ln(x) .
2
2
Nous approximons la somme un par laire de qui
n+ 1
2
ln(t)dt, que nous dsignons par In .
est gale
3
2
1 Cet article n est pas une "activit cl en main" proposer sans accompagnement, mais seulement une suggestion fonde sur le programme
2013, que chaque professeur pourra exploiter sa guise.
2 http ://www.apmep.asso.fr/IMG/pdf/CentresetrangersCjuin1994.pdf
3 Les lecteurs intresss pourront consulter un article approfondi de D. Lanier et D. Trotoux, animateurs de lIREM de Basse-Normandie, sur
les questions auxquelles A. De Moivre et J. Stirling ont apport leur rponses, ainsi que sur les mthodes mises en uvre pour trouver des dveloppements en sries de ln(n!). Le document est disponible cette adresse http ://www.math.ens.fr/culturemath/histoire des maths/pdf/Formule
de Stirling.pdf
Eric Trotoux
27
Majoration de lerreur un In
pour Dk , (resp. (k + 1 , ln(k) +
2
Daprs la relation de Chasles, nous avons :

n
un In =
1
k+ 2
ak o ak = ln(k)
ln(t)dt.
1
k 2
k=2
1
2k )
pour Ek ).
Le rectangle milieu" construit sur le segment

[Ak Ck ] de hauteur [Bk Bk ] a mme aire que le trapze
Ak Dk Ek Ck (voir gure ci-dessous). Cette aire vaut
ln(k).
Introduisons les points Ak k 1 , 0) , Bk (k, 0),

2
1
Ck k + 2 , 0) , la tangente (T ) C en Bk dont une
1
quation est y = ln(k) + k (x k), puis les points
Laire de la partie hachure k (comprise entre C et
Dk (resp. Ek ) dintersection entre (T ) et (Ak Ak ) (resp. (T )) a pour valeur ak .
1
(Bk Bk )). Leurs coordonnes sont : (k 1 , ln(k) 2k )
2
Ek
(T )
Ck
Bk
Dk
Ak
Ak
Bk
k 1
2
Ck
1
k+ 2
Dune part, daprs la concavit de la fonction ln4 ,

tout arc de C est situ sous la tangente (T ).
Dautre part, tout arc de C est situ au dessus de la
Dans le premier temps, ln(k)
cest--dire ak
corde joignant ses extrmits. Ici, Bk Ck est au dessus de

)
ak
1
ln(k) +
4
1
2k
1
ln(k + 2 ) +
Selon la proprit6 ln(1 + x)
1
ln(k)
4
x si x > 1, puisque
ln(t)dt
0,
k 1
2
0.
(Tr1k ) + (Tr2k )
Dans le second5 , ak
1
avec (Tr1k ) = (yDk yAk ) et (Tr2k ) =
4
1
(yEk yCk ) do :
4
[Bk Ck ] et Ak Bk au dessus de [Ak Bk ]. Il sensuit que la

partie hachure est incluse dans la runion des domaines
triangulaires Tr1k (Ak Bk Dk ) et Tr2k (Bk Ck Ek ).
Il en dcoule :
0
k+ 1
2
1
2k
ln(k 1 ) soit en simpliant, 0

2
k2
k2
1
4
ak
1
ln
4
k2
k2
1
4
4k 2
1
= 1+ 2
, nous concluons que
4k 2 1
4k 1
1
1
1
1
1
1
. De plus, 2
=
. De cela, nous dduisons :

4 4k 2 1
4k 1
2 2k 1 2k + 1
n
n
1
1
1
1
ak
Pour tout k 2, 0 ak
, do par sommation, 0
8 2k 1 2k + 1
8
ak
Le tlscopage des termes conscutifs entrane

lencadrement suivant de un In :
k=2
k=2
1
1
2k 1 2k + 1
k=2
1
1
.
2k 1 2k + 1
1
1
=
, ce qui nous conduit
3 2n + 1
4 Cette notion ne gurant pas au programme de TS, on peut justier ce point en invoquant, par exemple la dcroissance la fonction drive
sur R+ ou par ltude de variations de fonctions auxiliaires.
5 (S) est la mesure de laire de la partie S.
6 Cette ingalit aussi lie la concavit de la fonction ln, peut tre facilement tablie en TS.
28
un In
1
1
3 2n + 1
1
8
(1)
Nous obtenons maintenant, via (1), un encadrement de un :

In
un
In +
1
1
24 8(2n + 1)
(2)
Un premier encadrement de n!
1
n+ 2
La fonction drive de t t(ln(t) 1) est t ln(t). Nous pouvons donc expliciter In =
ln(t)dt :
3
2
1
1
1 3
3
3
1
1
3
3
= (n + ) ln(n + ) n ln( ) + = (n + ) ln(n + ) n + 1 ln( ).
2
2
2 2
2
2
2
2
2
2
3
3
Dans la suite, nous posons = 1 ln( ). Nous en dduisons alors, daprs (2) :
2
2
n+ 1
2
In = [t ln(t) t] 3
2
1
1
(n + ) ln(n + ) n +
2
2
1
1
1
1
(n + ) ln(n + ) n + +
2
2
24 8(2n + 1)
1
1
1
2e 2
(n + )(n+ 2 ) en e+ 24 o e =
2
3 3
ln(n!)
1
1
(n + )(n+ 2 ) en e
2
n!
La moyenne arithmtique, mn , des suites encadrantes nous donne une valeur approche de n!.
Ainsi mn =
1
1
1
1
(n + )(n+ 2 ) en e + e e 24
2
2
1
e
1
= (n + )(n+ 2 ) en
2
3
mn n!
lerreur relative lie
Nous notons n =
n!
cette approximation. Nous constatons ci-dessous,
laide de calculs numriques, que cette erreur se d-
2
1
1 + e 24 .
3
grade au fur et mesure que n grandit. Nous allons donc

rechercher dans la section suivante une formule dapproximation asymptotique, dont lerreur relative tend
vers zro quand n tend vers linni.
Quelques calculs numriques fait par lordinateur pour illustrer lapproximation obtenue :
n
1.02127
2.02097
6.03468
24.07565
120.17718
720.22727
n!
24
120
720
0.0212735
0.0104869
0.0057802
0.0031521
0.0014765
0.0003157
mn
mn n!
n!
mn
n =
50
100
64
9.2798435049110157
3.02545108675 10
5037.29909
40272.13458
362262.64128
n!
5040
40320
362880
50 !=30414093/. . ./0000
100 ! =9332621544/. . ./0000
-0.0005359
-0.0011871
-0.0017013
-0.005247
-0.0056552
Valeurs exactes de 50 ! et de 100 !

50 !=30414093201713378043612608166064768844377641568960512000000000000 (65 chiffres)
100 !=933262154439441526816992388562667004907159682643816214685929638952175999932299//1560894146397615 6518286253697920827223758251185210916864000000000000000000000000 (158 chiffres).
Nous obtenons avec m100 , une valeur approche de n! dont lerreur relative pour n = 100 est infrieure 6/1000.
Eric Trotoux
29
Formule asymptotique pour n!

n
Nous allons maintenant tablir lexistence dune

1
1
(n + )(n+ 2 ) en
2
constante K telle que lim
= K.
n+
n!
Nous reprenons les ingalits obtenues prcdemment pour la suite ak :
1
1
1
Pour tout k 2, 0 ak
8 2k1 2k+1 .
Majorons alors la suite V Vn : pour p
p
ak
k=n+1
k=n+1
1
8
Posons Vn =
k=2 ak . Cette suite est croissante
(Vn+1 Vn = an+1 qui est positif). En reprenant lencadrement de ak rappel, nous dduisons comme prc1
.
demment que Vn
24
Do la convergence de Vn vers V , tel que V
p
k=n+1
n, Vp Vn =
1
1
2k 1 2k + 1
ak et lim (Vp Vn ) = V Vn
p+
1
1
2n + 1 2p + 1
1
=
8
1
24 .
1
2n + 1
1
8
1
1
.
8 2n + 1
1
1
3
3
Or, Vn = un In = ln(n!) (n + ) ln(n + ) + n 1 + ln( ). Do :
2
2
2
2
puis par passage la limite (p +) on obtient : 0
V Vn
1
8
1
2n + 1
1
8
1
1
3
3
V ln(n!) + (n + ) ln(n + ) n + 1 ln( )
2
2
2
2
1 (n+ 1 ) n
2 e
(n + )
3
3
2
ln
+ V + 1 ln( )
n!
2
2
1
2n + 1
On en dduit alors en faisant tendre n + que :

1
1
(n + 2 )(n+ 2 ) en
=K
n+
n!
o K = e 2 ln( 2 )V 1
lim
Ce nest pas la formule de Stirling habituelle, mais nous la retrouvons en remarquant que
1
lim
1
(n + 2 )(n+ 2 )
1
n(n+ 2 )
Il sensuit que :
n+
1
2
= e car lim
n+
1
1+
2n
n
1
2
= e et lim
n+
n+
n
n(n+ 2 ) en
=K
lim
n+
n!
1
2
1
2
= 1.
K
(K = )
e
o K = e 2 ln( 2 )V 2
La constante K peut tre dtermine indirectement par la mthode7 des intgrales de Wallis.
1
(1 t2 ) 2 dt.
Considrons la suite Jm dnie pour m N par Jm =

0
(1 t2 )
t
En drivant la fonction f (t) =
m+2
2
2
nous obtenons :
f (t) =
t
2
2t(1 t2 ) 2
m
f (t) = t2 (1 t2 ) 2
1 (1 t )
m+2
2
2
1 (1 t2 )
m+2
2
2
m+2
2
m+2
2
f (t) = (1 t )
m
2
(1 t )
m
2 +1
1 (1 t2 )
m+2
2
2
m+2
2
f (t)dt de deux faons.
Nous valuons alors

0
Comme f (0) = f (1) = 0 :
m+2
2
(1t2 ) 2 dt 1 +
0=
0
1
m+2
(1t2 )
m+2
2
dt,
7 mthode que lon peut mettre la porte du programme de TS en simulant la formule dintgration par parties pour obtenir la relation de
rcurrence entre les intgrales. Dans larticle de W. Feller cit dans la bibliographie, lexpression de ln(K ) est obtenue directement comme
R1
Q
t2
valeur de lintgrale 02 ln( sin t )dt, qui vaut 1 ln(2). La justication de ce rsultat passe par lidentit t
= sin t qui
k=1 1 k2
nest pas la porte du programme de TS.
30
pour tout m N ,
J2m1
do : 1
J2m
m+3
Jm+2 = Jm .
m+2
Avec J0 = 1 et J1 = (aire du quart du disque unit),8

4
la relation de rcurrence (m+3)Jm+2 = (m+2)Jm
22m (m!)2
conduit J2m =
pour m N
(2m + 1)!
(2m)!
et J2m1 = 2m
pour m N .
2 (m!)2 2
ce qui donne
J2m1
J2m2
J2m2
2m + 1
=
, nous obtenons par encaJ2m
2m
J2m1
= 1. En utilisant les expresdrement lim
m+ J2m
sions de J2m , de J2m1 et la substitution de n! par
1
n(n+ 2 ) en
1
nous dduisons K 2 =
.
K
2
Ayant
Daprs la positivit de lintgration,
0 < J2m
J2m2
J2m
nn en
n n
= 1 . Une approximation de n! est alors Sn =
2n .
n+
e
n!
n! Sn
lerreur relative commise.
Cette dernire est dautant plus prcise9 que n est grand. Nous notons n =
n!
lim
Nous pouvons donc conclure que
2n
Illustrons comme prcdemment lapproximation obtenue :

n
Sn
0.922137
1.919004
5.836209
23.506175
118.019167
710.078184
n!
n! Sn
n!
24
120
720
n =
0.077862
0.040497
0.027298
0.020576
0.016506
0.013780
50
100
64
9.3248476252710157
Sn
4980.395831
39902.3954527
359536.872842
n!
5040
40320
362880
50 !=30414093/. . ./0000
100 ! =9332621544/. . ./0000
0.011826
0.010357
0.009212
0.001665
0.000832
3.0363445939410
Lobservation des valeurs obtenues nous suggre de produire une preuve de la minoration de n! par Sn . Nous
1
nous proposons donc dexaminer la suite wn = n! n(n+ 2 ) en . Cest lobjet de la section suivante.
Un deuxime encadrement de n!
Nous allons, indpendamment de la preuve prc- mthode des intgrales de Wallis. Nous prsentons en la
dente, tablir de nouveau grce un encadrement li simpliant, une approche gurant dans la n de larticle
1
10
des aires de trapzes, que la suite wn = n(n+ 2 ) en de H. Robbins (cf. bibliographie) attribue Cesro.
n!
converge vers une limite nie C. C vaut 2 daprs la
Nous avons ln
wn
wn+1
= ln
n+1
n
(n+ 1 )
2
1=
2n + 1
(ln(n + 1) ln(n)) 1.
2
Nous cherchons maintenant encadrer (ln(n + 1) ln(n)) pour en dduire notre preuve de la minoration de
de n! par Sn .
fonction intgre sur [0,1] est x 1 x2 dont la courbe est le quart de cercle dquation y 2 + x2 = 1; x 0; y 0
9 Lerreur relative tend vers 0 quand n , ce qui ntait pas le cas pour la suite m obtenue dans un premier temps. S semble cependant
n
n
tre une approximation par dfaut, moins prcise que mn pour les petites valeurs de n.
8 La
1
Robbins y a tabli lencadrement wn = Cern o 12n+1
puis une majoration et une minoration par des sries gomtriques.
10 Herbert
rn
1
,
12n
en utilisant le dveloppement en srie de ln
1+x
1x
Eric Trotoux
31
Lencadrement de (ln(n + 1) ln(n)) qui corresle trapze tangent au point milieu dabscisse n + 1
2
pond laire du domaine limit par la courbe de la fonc- (daire gale celle du rectangle "milieu") est inclus
1
tion t , laxe (Ox), et les droites verticales dabs- dans le domaine, alors 1que le trapze construit avec la
1
t
corde dextrmits (n, n )(n + 1, n+1 ) le contient.
cisse n et n + 1 dcoule de la convexit de la fonction :
(T )
n
Donc
1
2n+1
2
n+
(ln(n + 1) ln(n))
Nous obtenons alors 0
ln
1
2
wn
wn+1
1
n+1
1
2
1
1
2
+
ou encore
n n+1
2n + 1
1 1
1
.
4 n n+1
En introduisant la suite tn = wn e 4n , il sensuit

tn
0, donc la suite (tn ) est croissante.
que ln
tn+1
wn
De faon analogue, 0
ln
entrane que la
wn+1
suite (wn ) dcrot. Comme pour tout n, tn wn , leur
convergence dcoule du thorme sur les suites monotones bornes.
n
e
2n
n!
x
(ln(n + 1) ln(n))
2n + 1
.
2n(n + 1)
Ds lors lim (wn tn ) = 0. Les deux suites

n
convergent donc vers la mme limite C. Pour tout n
N , t n
C
wn . Cela permet dobtenir des approximations de C avec une prcision arbitraire. Par
3
exemple avec w1 = e et t1 = e 4 , on trouve 2, 117
C 2, 719. Enn sachant que daprs ltude de la sec
tion prcdente, C = 2, nous pouvons conclure que :
n
e
2n e 4n
Conclusion
Cette tude nous a permis de trouver une approximation de n! dans une premire approche intuitive, base sur une interprtation gomtrique de la valeur de
la suite ln(n!), puis au del, dobtenir un encadrement
nal asymptotiquement convergeant. Ce dernier encadrement ouvre alors la porte une preuve assez lmentaire, quoique difcile pour le niveau TS, du thorme
de De Moivre-Laplace.
Bibliographie
E. Lesigne, 2001, Pile ou Face, Une introduction aux thormes limites du Calcul des Probabilits. Ed. Ellipses.
D. Lanier & D. Trotoux, 1998, La formule de Stirling in Analyse et dmarche analytique,
IREM de Reims, p. 231-286.
H. Robbins, 1955, A remark on Stirlings formula. Amer. Math. Monthly, 62 : p. 26-29.
R. Johnsonbaugh, 1981, The trapezoid rule, Stirlings formula, and Eulers constant.
Amer. Math. Monthly, 88 : p. 696-698.
W. Feller, 1967, A direct proof of Stirlings formula. Amer. Math. Monthly, 74 : p. 1223-1225.
W. Feller, 1968, Correction to : A direct proof of Stirlings formula. Amer. Math. Monthly, 75 : p. 518.
D. Dominici, Feb 2006, Variations on a Theme by James Stirling. arXiv :math/0603007v1 [math.CA].
Eric Trotoux - Irem de Basse-Normandie
NUMRO ONZE : avril 2013
ISSN : 1969-7929 (imprim)

ISSN : 1760-6500 (en ligne)
Sommaire
La revue Repres des IREM.
2
ditorial, par Gilles Damamme.
3
Sur le vice et les vertus. . . de linduction, le problme dit du cercle de
Moser par Jean-Pierre Le Goff .
4
la rencontre de la croix et du pentagone clestes (I) , par Danielle SallesLegac, Ruben Rodriguez Herrera.
13
Un approfondissement pour lAccompagnement Personnalis en TS :
approximation de n! et formule de Stirling, par Eric Trotoux.
26
A
Comit de rdaction : Pierre Ageron & ric Trotoux - Composition LTEX.

Miroir 11

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Miroir 11

Transféré par

Droits d'auteur :

Formats disponibles

NUMRO ONZE : avril 2013

Irem de Basse-Normandie Annonces

Livres publis ou recommands par lIREM de Basse-Normandie.

La revue des instituts de recherche sur lenseignement des mathmatiques

Sommaire du numro 90 Janvier 2013

Sommaire du Numro 91 Avril 2013

pos quelques questions informatiques et pdagogiques

Je souhaite tous une lecture agrable.

Sur le vice et les vertus. . . de linduction, le problme dit du cercle de Moser

Sur le vice et les vertus. . . de linduction

comme incongrus de prime abord, en dmontrant quils

tel point que lhistoire du sage jouant aux checs avec

Il faut cependant mettre laccent dans cette histoire

Pour simplier ce premier dveloppement, qui

Sur le vice et les vertus. . . de linduction, le problme dit du cercle de Moser

segmenter veut dire dcouper des morceaux dlimits

n est le nombre de points placs sur le contour ferm

liers, vous dessinerez un hexagone rgulier, form de

le centre du cercle, et complt de 6 lignes joignant deux

quatre parties, qui feront ainsi 24 rgions intrieures

n = 6, sous la condition (C)

rang 6, le nombre de rgions augmente dune unit, et

Sur le vice et les vertus. . . de linduction, le problme dit du cercle de Moser

Et pour n = 7 ? Trouverait-on N = 63 ? ou 2 fois 31 moins 1, soit 61 ?

n = 7, sous la condition (C)

4 2 = 2, 2 [5, 3] = [f (5) f (4)] [f (4) f (3)] =

raient de la dmonstration mais assez prgnante pour

Le dveloppement en question scrit :

(mthode praticable pour n petit car elle ncessite, en

Sur le vice et les vertus. . . de linduction, le problme dit du cercle de Moser

leur dnombrement par un comptage rationnel, puis la

Sur le vice et les vertus. . . de linduction, le problme dit du cercle de Moser

sir des sens et du plaisir du sens.

R(n+1) = [(n+1) 6(n+1) +23(n+1) 18(n+1)+24]

suivre dans un prochain numro : quelques solutions synthtiques du problme de Moser.

Danielle Salles-Legac, Ruben Rodriguez Herrera

la rencontre de la croix et du pentagone clestes (I)

Abstract : we present below new results

Resumen : les presentamos nuevos

Cet article sera suivi d'un second de Jean-Pierre Le

Il suft tout dabord dadjoindre au premier rectangle dor

Autour du nombre dor, site de lIREM de Basse-Normandie, section Relations internationales.

la rencontre de la croix et du pentagone clestes (I)

thodes la rgle et au compas, par pliages, etc. sont bien

Figure agrandie : le pentagone

De nombreux calculs de niveaux varis peuvent tre

de son ellipse circonscrite. Le professeur pourra ainsi

Danielle Salles-Legac, Ruben Rodriguez Herrera

la rencontre de la croix et du pentagone clestes (I)

IV Calcul de lquation de lellipse circonscrite au pentagone cleste pour le lyce

(trac en pointills) circonscrit, de centre B point de

Lellipse passe par E de coordonnes : x =

= b . Laplatissement du cercle de centre B

Danielle Salles-Legac, Ruben Rodriguez Herrera

Remarque : Nous voyons apparatre ici la longueur et, bien sr

du triangle rectangle ainsi dni a pour longueur : 2 1 =

Pour les lves moins familiariss avec la notion

L'quation gnrale de l'ellipse est de la forme :

2ax2 +2cy 2 +2ey+2f = 0 do ax2 +cy 2 +ey+f = 0.

crivons que l'ellipse recherche passe par le point G de

la rencontre de la croix et du pentagone clestes (I)

crivons que l'ellipse recherche passe par le point

puis en simpliant par (a = 0), 4x2 + 4y 2 = 5 . Soit

Nous reportons ensuite la longueur DB le long de