Nombre polygonal
En mathématiques, un nombre polygonal est un nombre figuré qui peut être représenté par un polygone régulier. Les mathématiciens antiques 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'ordre est .
Avec inversion des lettres et , la suite double est répertoriée comme suite A057145 de l'OEIS.
Exemples : nombres triangulaires et nombres carrés
[modifier | modifier le code]Par exemple, le nombre 10 peut être représenté par un triangle équilatéral ayant quatre pois sur chaque côté :
Notations : P3,4 = T4 = 10.
Mais 10 ne peut pas être représenté par un carré.
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 un triangle.
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'indice n
[modifier | modifier le code]![](http://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 tout entier k ≥ 3, par convention, posons Pk,0 = 0 ; pour tout entier n ≥ 1, le nombre de points rouges du n-ième k-gone, possédant points sur chaque arête, est égal à (points disposés aux sommets) plus (points disposés à l'intérieur des arêtes). Donc :
C'est le gnomon associé à Pk,n–1, et faisant passer à Pk,n.
Pour tout entier k ≥ 3, (Pk,n – Pk,n–1)n≥1 est donc la suite arithmétique de premier terme 1 et de raison k – 2 et pour tout entier n ≥ 0, le n-ième nombre k-gonal est la somme des n premiers 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 | |||
---|---|---|---|---|---|---|
![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b9/Nombre_pentagonal3.png/220px-Nombre_pentagonal3.png)
Récurrence sur l'indice k
[modifier | modifier le code]On peut obtenir directement la formule pour et , grâce à la preuve sans mots ci-contre.
On en déduit que pour et :
.
Autrement dit, on obtient un nombre k-gonal en ajoutant au nombre -gonal de même rang le nombre triangulaire de rang inférieur d'une unité.
![](http://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 aussi pour k impair ≥ 5, .[pertinence contestée]
Listes de nombres polygonaux
[modifier | modifier le code]k | Nom | Notation | Expression Pk,n = |
n | Numéro de suite OEIS | |||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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 relation où est le n-ième nombre triangulaire. Ceci provient de la décomposition du polygone en triangles comme le montre la figure ci-dessous.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c5/Polygonaux_triangules.png/400px-Polygonaux_triangules.png)
Nombre à la fois k-gonal et k-gonal centré
[modifier | modifier le code]Pour tout entier k ≥ 3, les premier et (k + 1)-ième nombres k-gonaux sont aussi k-gonaux centrés :
Nombre polygonal premier
[modifier | modifier le code]Pour tout entier k ≥ 3 :
- le 2-ième nombre k-gonal, Pk,2 = k, peut évidemment être premier ;
- mais vu son expression (voir supra), un nombre k-gonal de rang n ≥ 3 ne peut pas être premier (contrairement à un nombre k-gonal centré).
Intérêt
[modifier | modifier le code]Outre divers jeux arithmético-géométriques, nous avons en arithmétique additive / combinatoire additive le puissant théorème suivant.
Tout entier naturel est la somme d'au plus k nombres k-gonaux.
Ce théorème a d'abord été énoncé sans preuve par Pierre 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 Lagrange a ensuite établi, en 1770, son théorème des quatre carrés :
Tout entier positif est la somme de 4 carrés parfaits au plus.
Puis, en 1796, Gauss traita le cas des nombres triangulaires.
Enfin, le théorème fut intégralement prouvé par Cauchy en 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, (ISBN 2-212-03636-1), p. 124-125
- (en) Eric W. Weisstein, « Polygonal Number », sur MathWorld.
- Paul Tannery et Charles 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)