Carré parfait

Un carré parfait est le carré d'un entier naturel.

Un nombre carré est un nombre polygonal (donc entier strictement positif) qui peut être représenté géométriquement par un carré de n × n points. Les nombres carrés sont donc les carrés parfaits non nuls, le n-ième étant n².

Les 70 plus petits carrés parfaits sont[Note 1] :

02 = 0

52 = 25

102 = 100

152 = 225

202 = 400

252 = 625

302 = 900

352 = 1 225

402 = 1 600

452 = 2 025

502 = 2 500

552 = 3 025

602 = 3 600

652 = 4 225

12 = 1

62 = 36

112 = 121

162 = 256

212 = 441

262 = 676

312 = 961

362 = 1 296

412 = 1 681

462 = 2 116

512 = 2 601

562 = 3 136

612 = 3 721

662 = 4 356

22 = 4

72 = 49

122 = 144

172 = 289

222 = 484

272 = 729

322 = 1 024

372 = 1 369

422 = 1 764

472 = 2 209

522 = 2 704

572 = 3 249

622 = 3 844

672 = 4 489

32 = 9

82 = 64

132 = 169

182 = 324

232 = 529

282 = 784

332 = 1 089

382 = 1 444

432 = 1 849

482 = 2 304

532 = 2 809

582 = 3 364

632 = 3 969

682 = 4 624

42 = 16

92 = 81

142 = 196

192 = 361

242 = 576

292 = 841

342 = 1 156

392 = 1 521

442 = 1 936

492 = 2 401

542 = 2 916

592 = 3 481

642 = 4 096

692 = 4 761

On considère a, b, et c des entiers naturels.

• 1. Si a et b sont des carrés parfaits, alors le produit ab est aussi un carré parfait.

• 2. a ≠ 0 ; a est un carré parfait si, et seulement si, tous les exposants dans sa décomposition en produit de facteurs premiers sont pairs.

• 3. ab ≠ 0 ; si ab est un carré parfait et si a et b sont premiers entre eux, alors a et b sont aussi des carrés parfaits[1].
  Ne pas oublier la seconde condition. Par exemple : 12×3 = 6², mais 12 et 3 ne sont pas premiers entre eux ; 12 et 3 ne sont pas des carrés parfaits.

• 4. a ≠ 0 ; a(a + 1) et a(a + 2) ne sont pas des carrés parfaits.

• 5. a ≠ 0 ; a est un carré parfait si, et seulement si, le nombre de ses diviseurs est impair.

• 6. Un carré parfait ne peut se terminer que par 0, 1, 4, 5, 6, ou 9 dans le système décimal.

Les mathématiciens se sont souvent intéressés à certaines curiosités concernant les nombres carrés. La plus connue, notamment pour sa référence au théorème de Pythagore, est l'égalité 3² + 4² = 5², le plus petit des triplets pythagoriciens. D'après le théorème de Fermat-Wiles, démontré en 1995, il n'y a que les nombres carrés qui peuvent former une identité comme celle des triplets pythagoriciens. Par exemple, il n'y a aucune solution à l'équation a³ + b³ = c³ avec a, b, et c entiers non nuls.

• 7. La représentation du 1-ier nombre carré, 1, est un point. Celle du n-ième, n², s'obtient en bordant deux côtés consécutifs du (n − 1)-ième carré de points par un « L » de 2n – 1 points, c.-à-d. en lui adjoignant le (n − 1)-ième gnomon :

1 = 12

1 + 3 = 4 = 22

4 + 5 = 9 = 32

9 + 7 = 16 = 42

1 + 3 + 5 + 7 = 42

• 8. 1 est à la fois le 1-ier nombre carré et le 1-ier nombre impair, et 2n – 1 est le n-ième nombre impair. Donc le n-ième nombre carré égale la somme des n plus petits nombres impairs :

${\displaystyle \sum _{i=1}^{n}(2i-1)=1+3+5+\dots +(2n-1)=n^{2}.}$

Cette propriété fournit un moyen pratique pour former une table de carrés[2]. Elle est aussi utilisée comme méthode d'extraction de racine carrée, y compris avec un boulier.

Animation de deux vues d'un tétraèdre pour illustrer que la somme des n plus petits nombres impairs égale n². (Ne pas confondre avec les nombres tétraédriques, dont les représentations comportent des points aussi à l'intérieur des tétraèdres.)

La somme du 3^e et du 4^e nombres triangulaires égale le 4^e nombre carré.

• 9. Le n-ième nombre carré est égal à la somme du n-ième et du (n − 1)-ième nombres triangulaires :

${\displaystyle {\frac {n(n+1)}{2}}+{\frac {n(n-1)}{2}}=n^{2}.}$

• 10. La somme du n-ième et du (n − 1)-ième nombres carrés égale le n-ième nombre carré centré.

• 11. La somme des n plus petits nombres carrés est égale au n-ième nombre pyramidal carré :

${\displaystyle \sum _{i=1}^{n}i^{2}=1^{2}+2^{2}+3^{2}+\dots +n^{2}={n(n+1)(2n+1) \over 6}.}$

• 12. ${\displaystyle \sum _{i=1}^{n}i^{3}}$ est un carré parfait. Plus précisément :

${\displaystyle \sum _{i=1}^{n}i^{3}=\left(\sum _{i=1}^{n}i\right)^{2}.}$

On dit qu'un entier q est un résidu quadratique modulo un entier m s'il existe un entier n tel que :

${\displaystyle q\equiv {n^{2}}{\bmod {m}}}$.

Ce concept permet notamment de démontrer que certaines équations diophantiennes n'admettent pas de solution. Par exemple, avec k entier, l'équation ${\displaystyle n^{2}=4k+2}$ n'admet pas de solution dans ${\displaystyle \mathbb {Z} }$. En effet, les résidus quadratiques modulo 4 étant 0 et 1, un carré parfait ne peut pas posséder un reste égal à 2 dans la division euclidienne par 4.