Nombre polygonal
Enmathématiques,unnombre polygonalest unnombre figuréqui peut être représenté par unpolygone régulier.Lesmathématiciensantiques ont découvert que des nombres pouvaient être représentés en disposant d'une certaine manière des cailloux ou des pois[1],[2].
La formule générale pour le nombre-gonal (associé au polygone régulier àcôtés) d'ordreest.
Avec inversion des lettreset,la suite doubleest répertoriée comme suiteA057145de l'OEIS.
Exemples: nombres triangulaires et nombres carrés
[modifier|modifier le code]Par exemple, le nombre 10 peut être représenté par untriangle équilatéralayant quatre pois sur chaque côté:
Notations:P3,4=T4= 10.
Mais 10 ne peut pas être représenté par uncarré.
Au contraire: par exemple, le nombre 9 peut être représenté par un carré ayant trois pois sur chaque côté:
Notations:P4,3= 32= 9.
Mais 9 ne peut pas être représenté par untriangle.
En outre: par exemple, le nombre 36 peut être représenté à la fois par un carré ayant six pois sur chaque côté et par un triangle ayant huit pois sur chaque côté:
Notations:P4,6= 62= 36 =T8=P3,8.
Relation de récurrence, gnomon, somme de gnomons
[modifier|modifier le code]Récurrence sur l'indicen
[modifier|modifier le code]![](https://upload.wikimedia.org/wikipedia/commons/thumb/4/4e/DecagonalNumbers.svg/400px-DecagonalNumbers.svg.png)
La méthode pour passer d'un polygone au suivant consiste à prolonger d'un seul point chacun des deux côtés adjacents à un seul sommet, puis à compléter la figure par des points pour obtenir les côtés supplémentaires manquants. Dans les diagrammes ci-dessous, chaque couche supplémentaire est représentée par des points rouges. Pour toutentierk≥ 3, par convention, posonsPk,0= 0; pour tout entiern≥ 1, le nombre de points rouges dun-ièmek-gone, possédantpoints sur chaque arête, est égal à(points disposés aux sommets) plus(points disposés à l'intérieur des arêtes). Donc:
C'est legnomonassocié àPk,n–1,et faisant passer àPk,n.
Pour tout entierk≥ 3, (Pk,n–Pk,n–1)n≥1est donc lasuite arithmétiquede premier terme 1 et de raisonk– 2 et pour tout entiern≥ 0, len-ième nombrek-gonal est lasomme desnpremiers termes de cette suite:
Exemples
[modifier|modifier le code]P3,1=T1= 1 | P3,2=T2= 3 | P3,3=T3= 6 | P3,4=T4= 10 | |||
---|---|---|---|---|---|---|
![]() |
![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
P4,1= 12= 1 | P4,2= 22= 4 | P4,3= 32= 9 | P4,4= 42= 16 | |||
---|---|---|---|---|---|---|
![]() |
![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
P6,1= 1 | P6,2= 6 | P6,3= 15 | P6,4= 28 | |||
---|---|---|---|---|---|---|
![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![](https://upload.wikimedia.org/wikipedia/commons/thumb/b/b9/Nombre_pentagonal3.png/220px-Nombre_pentagonal3.png)
Récurrence sur l'indicek
[modifier|modifier le code]On peut obtenir directement la formulepouret,grâce à la preuve sans mots ci-contre.
On en déduit que pouret:
.
Autrement dit, on obtient un nombrek-gonal en ajoutant au nombre-gonal de même rang le nombre triangulaire de rang inférieur d'une unité.
![](https://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Octogonal_O5.gif/300px-Octogonal_O5.gif)
On en déduit que pour:.
Par exemple, pour:(voir figure de gauche).
On a aussipourkimpair ≥ 5,.[pertinence contestée]
Listes de nombres polygonaux
[modifier|modifier le code]k | Nom | Notation | Expression Pk,n= |
n | Numéro de suiteOEIS | |||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | |||||||||
3 | nombre triangulaire | P3,n | 1 | 3 | 6 | 10 | 15 | 21 | 28 | 36 | 45 | 55 | ![]() | |||||
4 | nombre carré | P4,n | 1 | 4 | 9 | 16 | 25 | 36 | 49 | 64 | 81 | 100 | ![]() | |||||
5 | nombre pentagonal | P5,n | 1 | 5 | 12 | 22 | 35 | 51 | 70 | 92 | 117 | 145 | ![]() | |||||
6 | nombre hexagonal | P6,n | 1 | 6 | 15 | 28 | 45 | 66 | 91 | 120 | 153 | 190 | ![]() | |||||
7 | nombre heptagonal | P7,n | 1 | 7 | 18 | 34 | 55 | 81 | 112 | 148 | 189 | 235 | ![]() | |||||
8 | nombre octogonal | P8,n | 1 | 8 | 21 | 40 | 65 | 96 | 133 | 176 | 225 | 280 | ![]() | |||||
9 | nombre ennéagonal | P9,n | 1 | 9 | 24 | 46 | 75 | 111 | 154 | 204 | 261 | 325 | ![]() | |||||
10 | nombre décagonal | P10,n | 1 | 10 | 27 | 52 | 85 | 126 | 175 | 232 | 297 | 370 | ![]() | |||||
11 | nombre undécagonal | P11,n | 1 | 11 | 30 | 58 | 95 | 141 | 196 | 260 | 333 | 415 | ![]() | |||||
12 | nombre dodécagonal | P12,n | 1 | 12 | 33 | 64 | 105 | 156 | 217 | 288 | 369 | 460 | ![]() | |||||
... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | |||||
10 000 | nombre myriagonal | P10 000,n | 1 | 10 000 | 29 997 | 59 992 | 99 985 | 149 976 | 209 965 | 279 952 | 359 937 | 449 920 | ![]() |
Décomposition en nombres triangulaires
[modifier|modifier le code]On a la relationoùest len-ièmenombre triangulaire.Ceci provient de la décomposition du polygone entriangles comme le montre la figure ci-dessous.
![](https://upload.wikimedia.org/wikipedia/commons/thumb/c/c5/Polygonaux_triangules.png/400px-Polygonaux_triangules.png)
Nombre à la foisk-gonal etk-gonal centré
[modifier|modifier le code]Pour tout entierk≥ 3, les premier et (k+ 1)-ième nombresk-gonaux sont aussik-gonaux centrés:
Nombre polygonal premier
[modifier|modifier le code]Pour tout entierk≥ 3:
- le 2-ième nombrek-gonal,Pk,2=k,peut évidemment êtrepremier;
- mais vu son expression (voirsupra), un nombrek-gonal de rangn≥ 3 ne peut pas être premier (contrairement à unnombrek-gonal centré).
Intérêt
[modifier|modifier le code]Outre diversjeux arithmético-géométriques,nous avons enarithmétique additive / combinatoire additivele puissant théorème suivant.
Tout entier naturel est la somme d'au plusknombresk-gonaux.
Ce théorème a d'abord été énoncé sans preuve parPierre de Fermat,qui proclama son intention d'écrire un livre qui révolutionnerait cette partie de l'arithmétique[4],mais aucun livre ne parut.
Joseph Louis Lagrangea ensuite établi, en 1770, sonthéorème des quatre carrés:
Tout entier positif est la somme de 4 carrés parfaits au plus.
Puis, en 1796,Gausstraita le cas des nombres triangulaires.
Enfin, le théorème fut intégralement prouvé parCauchyen 1813.
Notes et références
[modifier|modifier le code]- Emile Fourrey,Récréations mathématiques,Vuibert,(lire en ligne),p.56-54
- David Wells,Le dictionnaire Penguin des nombres curieux,Eyrolles,(ISBN2-212-03636-1),p.124-125
- (en)Eric W. Weisstein,«Polygonal Number», surMathWorld.
- Paul TanneryetCharles Henry,Œuvres de Fermat,t. 3, 1896,p. 252: Commentaire de Bachet sur IV, 31.
Bibliographie
[modifier|modifier le code]- (en)Melvyn Nathanson,«A short proof of Cauchy's polygonal number theorem»,Proc. Amer. Math. Soc.,vol.99,,p.22-24(lire en ligne)