NOMBRES – Curiosités, Théorie et Usages

 

Accueil                           DicoNombre            Rubriques           Nouveautés      Édition du: 20/03/2023

Orientation générale        DicoMot Math          Atlas                   Actualités                       M'écrire

Barre de recherche          DicoCulture              Index alphabétique        Références      Brèves de Maths                    

     

Théorie des Nombres

 

Débutants

Carrés

SOMME de CARRÉS

 

Glossaire

Carrés

 

 

INDEX

 

Accueil

 

Sommaire

 

Carrés

1 et 2 carrés

Introduction

Premières idées

Table 1 à 100

Théorème

Quantité

3 et 4 carrés

Somme 3 carrés

Somme 4 carrés

 

Sommaire de cette page

>>> Entrée en matière

>>> Approche

>>> Premier unique

>>> Calcul quantité

>>> Calcul alternatif

>>> En moyenne – Surprise!

 

 

 

 

 

 

 

SOMME de DEUX CARRÉS

Combien de fois?

 

 

Quelles sont les conditions pour qu'un nombre soit  somme de deux carrés. Alors, combien de fois l'est-il ? On distingue le cas des nombres premiers  et celui des nombres composés. Lorsque le nombre est composé, on s'intéresse à ses diviseurs.

 

 

Entrée en matière

Cas a² – b² = c² – d²

haut

 

Existe-t-il des cas où la différence de deux carrés est égale à une autre différence de deux carrés ?

Oui, une infinité de possibilités. Même en supprimant les nombres nuls ou les nombres répétés.

Nous allons voir rapidement que cette question est équivalente à se demander s'il existe des paires de sommes de carrés égales.

 

Équivalence avec une somme

a² – b² = c² – d² => a² + d² = c² + b²

Cas triviaux: a = b et c = d

                    et a = c et b = d

2² – 2² = 10² – 10²

4² – 3² = 4² – 3²

Plus petit cas non trivial

4² – 1² = 8² – 7²

16 – 1 = 64 – 49 = 15

Sa version somme

4² + 7² = 1² + 8²

16 + 49 = 1 + 64 = 65

 

Liste des premiers cas

 

Vingt-six cas de paires de sommes de deux carrés égales jusqu'à 20 (Tableau).

 

Dit-autrement, en colonne de droite, on a les nombres qui sont sommes de deux carrés deux fois avec nombres distincts.

 

Le plus petit nombre est effectivement le nombre 65.

En admettant le 0, on a bien sûr: 3² + 4² = 5² + 0².

En admettant les nombres répétés, on aurait: 1² + 7² = 5² + 5² = 50.

 

Le théorème des deux carrés précise les conditions pour qu'un nombre soit somme de deux carrés.

Voir Table

 

Voir Nombres k fois somme de deux carrés

 

 

 

 

a

b

c

d

a² + b²

= c² + d²

1

8

4

7

65

2

9

6

7

85

2

11

5

10

125

3

11

7

9

130

1

12

8

9

145

1

13

7

11

170

4

13

8

11

185

3

14

6

13

205

5

14

10

11

221

5

15

9

13

250

2

16

8

14

260

3

16

11

12

265

1

17

11

13

290

4

17

7

16

305

1

18

6

17

325

1

18

10

15

325

6

17

10

15

325

4

18

12

14

340

2

19

13

14

365

3

19

9

17

370

4

19

11

16

377

7

19

11

17

410

5

20

8

19

425

5

20

13

16

425

8

19

13

16

425

9

20

15

16

481

  

 

Développement sur la quantité de sommes de deux carrés

Approche

 

 

 

Tous les nombres ne sont pas somme de 2 carrés. Il y en même une infinité.

 

Et, ceux qui sont somme de 2 carrés sont également en nombre infini. Parmi eux certains le sont plusieurs fois.

 

La fonction f(n) donne la quantité de représentations d'un nombre en somme de deux carrés.

 

 

 

 

 

Premier unique

Observations

 

Cherchons toutes les décompositions en somme de deux carrés des nombres premiers.

Les nombres premiers sont tous de la forme 4k + 1 ou 4 k + 3.

Or, nous savons déjà que tous les nombres en 4k + 3 ne sont jamais somme de 2 carrés.

 

 

Nous pouvons observer sur la liste ci-contre que pour tous ceux qui sont en 4k + 1, ils sont bien somme de 2 carrés et ce d'une seule manière.

 

Bilan

 

 

 

 

QUANTITÉ

 

Façon de compter

F(n) donne la quantité de représentations d'un nombre en somme de 2 carrés,

*       en comptant toutes les permutations

*       et le signe.

Dans ces conditions

*       une somme de 2 carrés distincts compte pour 8.

*       une somme de 2 carrés identiques compte pour 4.

*        un somme de 2 carrés dont l'un est 0 compte pour 4.

 

Notation

Nombre de diviseurs de n congruents à m modulo 4

 

F(n) = f(n) fois toutes les permutations et le signe

 

Exemple: 13

2² +        

  + 

2² + (-3)²

(-3)² + 2²

(-2)² + …

 

Total: 8 présentations

 

 

t(m, n)

Voir Tau modulo

 

Théorème de Jacobi  - Il a donné la quantité de sommes pour 4 carrés et aussi pour 6.

 

F(n) est égal à 4 fois la différence entre les diviseurs égaux à 1 mod 4 et ceux égaux à 3 mod 4

 

La démonstration dépasse le cadre de ce site.

 

F(n) = 4 ((1, n) –  (3, n) )

 

Exemple

 

450 = 2 . 3² . 5²

t(1, n) = 6

t(3, n) = 3

 

F(n) = 4 (6 – 3) = 12

 

Voir Calcul en 450

Valeur de F(n)

pour les premiers nombres

 

 

 

Alternative

 

*      Une autre manière d'exprimer la quantité de sommes de deux carrés pour un nombre n est donné par la formule suivante.

*      Avec R2 (n): quantité de sommes de deux carrés.

On met n sous la forme d'un produit: n = 2a .m
Et, on cherche les diviseurs d de m: (d
).

On donne, ci après, les exemples de calculs pour n = 10, 100 et 11.

 

*      Avec les mêmes notations, la quantité de sommes de quatre carrés est:

 

 

D'après Elementary Methods in Number Theory

– Melvyn B. Nathanson – Springer – 2000

 

 

 

n = 10

 

Quantité de sommes de deux carrés: 8

Calcul de la somme

 

 

n = 100

 

Quantité de sommes de deux carrés: 12

Calcul de la somme

 

 

n = 11

 

Quantité de sommes de deux carrés: 0

 

Calcul de la somme

 

 

EN MOYENNE: Théorème (Gauss)

 

*    La valeur moyenne de F(n), quantité de représentations en somme de deux carrés des nombres, tend vers

 

Voir  Constante Pi

moyenne

 

moyenne1

 

 

 

 

Retour

*         Somme de deux carrés – Le théorème

Suite

*         Je souhaite m'amuser sur ce thème, et connaître les records!

*         Équations diophantiennes

*         Variations sur les sommes de carrés

*         Somme de trois carrés

Voir

*         Nombres carrés

Cette page

http://villemin.gerard.free.fr/Referenc/Prof/APROF/SomCaQte.htm