Binôme de Newton dans le cas d'un exposant impair

On rappelle la formule du binôme: $(x + y)^{n} = \sum_{i + j = n} \frac{n!}{i! j!} x^{i} y^{j} = \sum_{k = 0}^{n} (\binom{n}{k}) x^{n - k} y^{k}$ .

Résumé

Cet article présente une étude du binôme dans le cas $n = 2 m + 1$ . Nous présentons deux regroupements des termes du binôme qui donne pour tout $n$ une somme de 2 nombres premiers entre eux, i.e $\forall n, (x + y)^{n} = u_{n} + v_{n}, u_{n} \land v_{n} = 1$ . Le premier regroupement est de la forme $(x + y)^{n} = x a_{n} + y b_{n}$ . Le second est plus remarquable avec l'apparition de carrés: $(x + y)^{n} = x c_{n}^{2} + y d_{n}^{2}$ . Enfin pour $n$ premier, nous verrons que les facteurs premiers de $(a_{n}, b_{n})$ sont en $1 [2 n]$ , et ceux de $(c_{n}, d_{n})$ en $\pm 1 [2 n]$ .

Introduction

Au départ nous avons cherché comment la puissance d'un nombre pouvait toujours être exprimée en une somme de 2 nombres premiers entre eux. En partant du binôme $(x + y)^{n}$ , nous avons étudié plusieurs regroupement des différents termes. Avec $n$ impair et $(x, y)$ copremiers de parité différente, nous en avons trouvé deux. Ils utilisent les mêmes fonctions $f_{n} (x, y)$ que nous présentons ci-après.

Modèle:Définition Modèle:Exemple

Propriétés algébriques

Propositions:Modèle:Cadre proposition Démonstration (1):

En séparant les termes pairs et impairs dans la formule du binôme :

$(x - y)^{n} = \sum_{k = 0}^{n} (\binom{n}{k}) x^{n - k} (- y)^{k} = \sum_{k = 0}^{m} (\binom{n}{2 k}) x^{2 m + 1 - 2 k} y^{2 k} - \sum_{k = 0}^{m} (\binom{n}{2 k + 1}) x^{2 m - 2 k} y^{2 k + 1}$

soit $(x - y)^{n} = x \sum_{k = 0}^{m} (\binom{n}{2 k}) x^{2 m - 2 k} y^{2 k} - y \sum_{k = 0}^{m} (\binom{n}{2 k + 1}) x^{2 m - 2 k} y^{2 k}$

En posant $k^{'} = m - k$ ,

$(x - y)^{n} = x \sum_{k = 0}^{m} (\binom{n}{2 k}) x^{2 m - 2 k} y^{2 k} - y \sum_{k^{'} = 0}^{m} (\binom{n}{n - 2 k^{'}}) y^{2 m - 2 k^{'}} x^{2 k^{'}}$

D'où la formule par symétrie du coefficient binomial.

Démonstration (2):

On a établi : $(x - y)^{n} = x f (x^{2}, y^{2}) - y f (y^{2}, x^{2})$

En prenant $- y$ : $(x + y)^{n} = x f (x^{2}, y^{2}) + y f (y^{2}, x^{2})$

En multipliant les deux dernières expressions: $(x^{2} - y^{2})^{n} = x^{2} f (x^{2}, y^{2})^{2} - y^{2} f (y^{2}, x^{2})^{2}$

D'où la formule en substituant $(x, y)$ à $(x^{2}, y^{2})$ .

Exemples pour (2):

$\begin{matrix} (x - y)^{3} = x (x + 3 y)^{2} - y (y + 3 x)^{2} \\ (x + y)^{3} = x (x - 3 y)^{2} + y (y - 3 x)^{2} \end{matrix}$

$\begin{matrix} (x - y)^{5} = x (x^{2} + 10 x y + 5 y^{2})^{2} - y (y^{2} + 10 x y + 5 x^{2})^{2} \\ (x + y)^{5} = x (x^{2} - 10 x y + 5 y^{2})^{2} + y (y^{2} - 10 x y + 5 x^{2})^{2} \end{matrix}$

Exemples dans $ℤ$ :

$\begin{matrix} 1 7^{3} & = (5 + 12)^{3} = 5 \times 3 1^{2} & + 12 \times 3^{2} \\ 1 7^{5} & = (5 + 12)^{5} = 5 \times 14 5^{2} & + 12 \times 33 1^{2} \\ 1 7^{7} & = (5 + 12)^{7} = 5 \times 692 9^{2} & + 12 \times 376 7^{2} \\ 1 7^{9} & = (5 + 12)^{9} = 5 \times 13891 1^{2} & + 12 \times 4292 1^{2} \end{matrix}$

Corollaire: Modèle:Cadre proposition

Démonstration:

(3): conséquence directe de (1)

(3bis): Par changement de variable et en utilisant $f_{n} (a / 2, b / 2) = f_{n} (a, b) / 2^{m}$

(4): En identifiant avec $u^{n} - v^{n} = (u - v) \sum_{i + j = n - 1} u^{i} v^{j}$

Remarques dans $ℤ$ :

Pour $(u, v)$ impairs, (4bis) implique que $f_{n} (u^{2}, v^{2})$ a nécessairement une 2-valuation de $n - 1$ .

En effet, on peut toujours écrire $(u, v) = (x + y, x - y)$ avec $(x, y)$ de parité différente.

Auquel cas $\sum_{i + j = n - 1} x^{i} y^{j}$ est impair.

Pour $(u, v)$ de parité différente, il est moins évident ici de montrer que $f_{n} (u^{2}, v^{2})$ est impair. Par contre, c'est immédiat an partant directement de la définition, comme on va le voir ci-après.

Coprimalité

Nous considérerons dans la suite $(u, v) \in ℤ^{2}$ copremiers de parité différente

Afin de donner d'autres résultats généraux, entrons un peu dans le détail de $f_{n}$ :

$f_{n} (u, v) = \underset{k=0}{\underset{⏟}{u^{m}}} + \underset{k=m}{\underset{⏟}{n v^{m}}} + \underset{k=m-1}{\underset{⏟}{n m u v^{m - 1}}} + \sum_{k = 1}^{m - 2} (\binom{n}{2 k}) u^{m - k} v^{k}$

Propositions:Modèle:Cadre proposition

Démonstrations :

(5) : Avec $u, v$ de parités différentes, puisque $f_{n} (u, v) = u^{m} + n v^{m} + u v P (u, v)$ , alors $f (u, v)$ et $f (v, u)$ sont impairs.

Considérons $p$ un diviseur premier impair commun. On a donc $f (u, v) \equiv f (v, u) \equiv 0 [p]$ . La forme (2) implique $u \equiv v [p]$

En réinjectant dans la définition de $f$ , on obtient:

$f (u, v) \equiv \sum_{k = 0}^{m} (\binom{n}{2 k}) u^{m - k} v^{k} \equiv u^{m} (\sum_{k = 0}^{m} (\binom{n}{2 k})) \equiv u^{m} (2^{m - 1}) [p]$

Par conséquent $f (u, v) \equiv 0 \Rightarrow u \equiv 0 [p]$ . Même résultat pour $v$ .

Ainsi tout diviseur premier commun à $f (u, v)$ et $f (v, u)$ divise aussi $u$ et $v$ .

(6): $f (u, v) = n v^{m} + u P (u, v)$ , $P$ un polynôme .

Avec $u \land n v^{m} = 1$ , alors $u \land f (u, v) = 1$ , le pgcd étant conservé par ajout de multiples de $u$

(7): Lorsque $n$ est premier, $n$ divise tous les coefficients binomiaux.

Si $n \geq 5$ , on peut écrire $\frac{f (n u, v)}{n} = v^{m} + n u P (u, v)$ , $P$ polynôme.

Exemples:

Pour (7), la valuation sur $n$ est toujours de 1. Avec $(u, v) = (7^{3} \times 5^{3}, 22)$

$\begin{matrix} f_{5} (u, v) & = 5^{1} \times 18979 \times 19471 \\ f_{7} (u, v) & = 7^{1} \times 643 \times 743 \times 839 \times 28393 \end{matrix}$

Remarque: $f_{n} (u, v)$ et $f_{n} (u^{2}, v^{2})$ ne sont pas forcément premiers entre eux!

$\begin{matrix} f_{11} (29, 18) & = 6117463571 & = 23 \times 109 \times 2440153 \\ f_{11} (2 9^{2}, 1 8^{2}) & = 42623439661994533 & = 23 \times 67 \times 27659597444513 \end{matrix}$

Facteurs premiers

Propositions:Modèle:Cadre proposition démonstration (10):

cf ^[1] : "When xn+yn=(x+y)Qn then Qn only has prime factors p=1modn"

EN résumé, d'après (3bis) : $2^{n - 1} \frac{x^{n} + y^{n}}{x + y} = f_{n} ((x + y)^{2}, (x - y)^{2})$

Soit $p \neq n$ un diviseur premier de $\frac{x^{n} + y^{n}}{x + y}$

$x^{n} + y^{n} \equiv 0 [p]$ donne ${(x y^{- 1})}^{n} + 1 \equiv 0 [p]$ , soit ${(x y^{- 1})}^{2 n} \equiv 1 [p]$

D'après le petit théorème de Fermat ${(x y^{- 1})}^{p - 1} \equiv 1 [p]$

Donc $p - 1 ∣ 2 n$ et $p \equiv 1 [2 n]$

démonstration (8):

cf ^[2] : "Numbers with prime factors p≡±1(mod n) for n prime"

Remarque:

$n \in ℙ \Rightarrow f (u, v) = u^{m} + n P (u, v)$ . Le petit théorème de Fermat implique immédiatement que $f_{n} (u^{2}, v) \equiv 1 [n]$ et $f_{n} (u, v) \equiv \pm 1 [n]$ . Mais mystérieusement, cela semble s'appliquer aussi à tous les facteurs premiers! Il n'y a pas de raison évidente. Par exemple, si on considère le polynôme $h_{n} (u, v) = u^{m} + n v$ , alors $h_{7} (6^{6}, 1 1^{2}) = 67 \times 709 \equiv 4 \times 2 \equiv 8 \equiv 1 [7]$

La généralisation est donc encore plus grande sur la forme $f_{n} (u^{2}, v^{2})$ , où tous les facteurs sont congrus à $1 [2 n]$ . Cela permet par exemple d'accélérer grandement l'algorithme de décomposition en n'y recherchant que des facteurs de la forme $(2 k \times n + 1)_{k \in ℕ}$ .

C'est ce qu'avait déjà découvert Fermat^[3] sur la forme $\frac{2^{n} + 1}{3}$

Exemples pour $f_{n} (u, v) \equiv \pm 1 [2 n]$

$\begin{matrix} f_{5} (6, 11) & = 1301 & \equiv 1 & [10] \\ f_{7} (6, 11) & = 181 \times 239 & \equiv - 1 \times 1 & [14] \\ f_{11} (6, 11) & = 47820079 & \equiv 1 & [22] \\ f_{13} (6, 11) & = 8969 \times 177269 & \equiv - 1 \times 1 & [26] \\ f_{19} (6, 11) & = 151 \times 386989747169 & \equiv - 1 \times - 1 & [38] \\ f_{23} (6, 11) & = 5278223 \times 12238317893 & \equiv - 1 \times - 1 & [46] \\ f_{29} (6, 11) & = 233 \times 521 \times 1309699 \times 14932891583 & \equiv 1 \times - 1 \times 1 \times - 1 & [58] \\ f_{31} (6, 11) & = 683 \times 8803 \times 13128774105430771 & \equiv 1 \times - 1 \times 1 & [62] \\ . . . \end{matrix}$

Exemple pour $f_{n} (u^{2}, v) \equiv 1 [2 n]$ . Le nombre de facteurs en $- 1 [2 n]$ est pair.

$\begin{matrix} f_{5} (6^{2}, 11) & = 5861 & \equiv 1 & [10] \\ f_{7} (6^{2}, 11) & = 507809 & \equiv 1 & [14] \\ f_{11} (6^{2}, 11) & = 89 \times 6029 \times 7129 & \equiv 1 \times 1 \times 1 & [22] \\ f_{13} (6^{2}, 11) & = 883 \times 2341 \times 160627 & \equiv - 1 \times 1 \times - 1 & [26] \\ f_{17} (6^{2}, 11) & = 67 \times 187067 \times 199591969 & \equiv - 1 \times - 1 \times 1 & [34] \\ f_{19} (6^{2}, 11) & = 229 \times 683 \times 1901 \times 2963 \times 246469 & \equiv 1 \times - 1 \times 1 \times - 1 \times 1 & [38] \\ f_{23} (6^{2}, 11) & = 367 \times 4457595074737380607 & \equiv - 1 \times - 1 & [46] \\ f_{29} (6^{2}, 11) & = 1069838719517673460520580221 & \equiv 1 & [58] \\ f_{31} (6^{2}, 11) & = 92861463243343352659695472649 & \equiv 1 & [62] \\ . . . \end{matrix}$

Exemples avec les variables toutes carrées: $f_{n} (u^{2}, v^{2}) \equiv 1 [2 n]$

$\begin{matrix} \begin{matrix} f_{5} (6^{2}, 1 1^{2}) & = 118061 & \equiv 1 & [10] \\ f_{7} (6^{2}, 1 1^{2}) & = 34188379 & \equiv 1 & [14] \\ f_{11} (6^{2}, 1 1^{2}) & = 23 \times 89 \times 2377 \times 586961 & \equiv 1 \times 1 \times 1 \times 1 & [22] \\ f_{13} (6^{2}, 1 1^{2}) & = 30187 \times 27342279823 & \equiv 1 \times 1 & [26] \\ f_{19} (6^{2}, 1 1^{2}) & = 2129 \times 3079 \times 3039225397425209 & \equiv 1 \times 1 \times 1 & [38] \\ f_{23} (6^{2}, 1 1^{2}) & = 1663964075070633572800332299 & \equiv 1 & [46] \\ f_{29} (6^{2}, 1 1^{2}) & = 59 \times 11250493 \times 60508154689065340703592763 & \equiv 1 \times 1 \times 1 & [58] \\ f_{31} (6^{2}, 1 1^{2}) & = 27466437659 \times 422603394089373421296083801 & \equiv 1 \times 1 & [62] \\ . . . \end{matrix} \end{matrix}$

Remarques sur le trinôme

on rappelle ici la formule du trinôme $(x + y + z)^{n} = \sum_{i + j + k = n} \frac{n!}{i! j! k!} x^{i} y^{j} z^{k}$

On peut en effet se demander ce qu'il se passe sur le trinôme.

Notamment l’existence de triplets $(a, b, c)$ tels que

$(x + y + z)^{n} = x . a^{2} + y . b^{2} + z . c^{2}$

On suppose ici $(x, y, z)$ impairs.

Et bien oui, il en existe. A priori il n'apparaît aucun schéma simple. Ne serait-ce que sur le nombre de solutions

On donne quelque exemples ici:

$\begin{matrix} 1 1^{3} = (1 + 3 + 7)^{3} & = 1 . 1^{2} & + 3 . 7^{2} & + 7.1 3^{2} \\ = 1.3 1^{2} & + 3.1 1^{2} & + 7 . 1^{2} \\ = 1.3 1^{2} & + 3 . 3^{2} & + 7 . 7^{2} \\ = 1.1 1^{2} & + 3 . 3^{2} & + 7.1 3^{2} \\ . . . \end{matrix}$

$\begin{matrix} 1 5^{3} = (3 + 5 + 7)^{3} & = 3 . 1^{2} & + 5.1 3^{2} & + 7.1 9^{2} \\ = 3.1 9^{2} & + 5.1 7^{2} & + 7.1 1^{2} \\ = 3 . 9^{2} & + 5.1 1^{2} & + 7.1 9^{2} \\ = 3.2 3^{2} & + 5.1 1^{2} & + 7.1 3^{2} \\ . . . \end{matrix}$

Applications

Points rationnels des coniques du type ax²-by²=a-b

$a x^{2} - b y^{2} = a - b$

En réécrivant $\frac{a}{a - b} x^{2} - \frac{b}{a - b} y^{2} = 1$ . Alors d'un point $(1, 1)$ solution , on en déduit une infinité d'autre par mise à la puissance $n$ et l'utilisation de la formule des carrés: $\frac{a}{(a - b)} {(\frac{f_{n} (a, b)}{(a - b)^{m}})}^{2} - \frac{b}{(a - b)} {(\frac{f_{n} (b, a)}{(a - b)^{m}})}^{2}) = 1^{n} = 1$

Un exemple ici: On remarque que les points apparaissent en "tournant"

Construction de points rationnels par application des $f_{n} (x, y)$ à partir de (1;1)

Les points reliés reforment une ellipse semblable de demi grand axe 1

Le grand théorème de Fermat

On ne considère que les puissance premières $x^{n} + y^{n} = z^{n}, n \in ℙ$

Critères immédiats sur les facteurs premiers de z

Déjà, avec les résultats précédents, quelques critères simples apparaissent pour savoir si un nombre à la puissance n peut ou non être divisible en somme de 2 puissances "de même nom":

la somme de 2 puissances impaires est toujours un nombres composé. Déjà, $p \in ℙ, p^{n} \neq a^{n} + b^{n}$
la somme de 2 puissances contient des facteurs premiers en $1 [n]$ . Ainsi, $1 0^{n} \neq a^{n} + b^{n}, 10 0^{n} \neq a^{n} + b^{n}, . . .$
les puissances "possibles" sont données par le facteur premier qui a la plus grande valeur. Ainsi, $5 \times 7 \times 13$ serait possiblement la somme de cubes, puisque $13 = 1 [3]$ . Mais ce serait la seule puissance idoine
$f_{n} (x^{2}, y^{2}) > x^{n - 1}$ . Donc le nombre constitué de facteurs premiers en $1 [2 n]$ doivent avoir une valeur beaucoup plus grande que le nombre composé du reste des facteurs. Ainsi, $5 \times 7 \times 13$ n'est pas un bon candidat. A la rigueur, $5 \times 7 \times 1 3^{3}$ car $(5 \times 7)^{2} < 1 3^{3}$ .

On a donc des critères simples sur $z$ . Mais on est loin d'un résultat général. On n'utilise pas par exemple le fait que $2 z = α^{n} + β^{n} + γ^{n}$ . Ni qu'on a encore des sommes de puissances qui apparaissent. Ni que $(x, y)$ sont composés de facteurs premiers en $1 [2 n]$ .

En effet, par coprimalité,

${\begin{matrix} x + y = α^{n} \\ z - x = β^{n} \\ z - y = γ^{n} \end{matrix}$ , et donc ${\begin{matrix} z + y = α^{n} + β^{n} \\ z + x = α^{n} + γ^{n} \\ 2 z = α^{n} + β^{n} + γ^{n} \end{matrix}$

À travailler, éventuellement. c'est justement Sophie Germain qui cela met à profit

Valuations des facteurs premiers de la somme de puissances

On peut toujours se ramener à la forme $(u + v)^{n} + (u - v)^{n} = (2 z)^{n}$ , $(u, v)$ premiers entre eux et de parité différente. Le nombre pair est donc toujours fixé à droite.

Avec la première formule du wiki, l'expression devient $(u + v)^{n} + (u - v)^{n} = 2 u f_{n} (u^{2}, v^{2})$ . C'est la factorisation utilisée par Euler et Dirichlet pour les cas $n = 3$ et $n = 5$ . Ça ne mènerait donc pas bien loin, puisque pour les puissances supérieures, les mathématiciens n'ont rien pu en tirer. Cela dit, nous avons vu que $f_{n} (u^{2}, v^{2})$ ne contenait que des facteurs premiers congrus à $1 [2 n]$ . Peut-être un résultat intéressant ici, qui pourrait révéler plus rapidement ce fait expérimental: la valuation du plus grand des facteurs premiers vaut toujours 1. Encore une autre conjecture, cette fois-ci beaucoup plus aventureuse! Mais qui serait déterminante. Nous avons trouvé des contre-exemples uniquement sur le cas $n = 3$ , comme $f_{3} (1 0^{2}, 9^{2}) = 7^{3}$ , $f_{3} (11 8^{2}, 3 1^{2}) = 7^{5}$ , $f_{3} (2 8^{2}, 4 5^{2}) = 1 9^{3}$ , $f_{3} (15 4^{2}, 4 5^{2}) = 1 3^{3}$ . Sur les autres puissances, jamais (avec les moyens du bord). Voilà peut-être ce qui aurait pu mettre Fermat sur la voie? Sachant qu'à cette époque, on décomposait "à la main", il est probable que ces fonctions qui "filtrent" les facteurs premiers aient été très attrayantes, et donc connues. C'est d'ailleurs Fermat qui annonce qu'un premier somme de carrés est congru à 1[4] ( carrés de Fermat ). Il avait l’œil pour cela, et il est fort probable qu'il soit "tombé" sur ces $f_{n} (u^{2}, v^{2})$ . D'ailleurs, on retrouve ces $1 [n]$ dans son "petit théorème" ( $n \in ℙ, a^{n - 1} \equiv 1 [n]$ ), qu'il a dû découvrir au fil de ses innombrables décompositions.

Dans sa lettre à MERSENNE de juin 1640, il a découvert que $2^{n} - 1$ n'a que des facteurs premiers en $1 [2 n]$ ^[4]

Dans sa lettre FRENICLE d'aout 1640, il a découvert que $\frac{2^{n} + 1}{3}$ n'a que des facteurs premiers en $1 [2 n]$ ^[3]

Abaissement des puissances en carrés

Avec la deuxième formule du wiki, la formule des carrés, peut-être peut-on en tirer une forme plus parlante, pouvant aboutir sinon à une démonstration, une intuition. Fermat, ayant énormément travaillé sur les carrés, devait surement la connaître.

Par exemple, en partant de $(z - u)^{n} + (z - v)^{n} = z^{n}$ , $z$ pair , $(u, v)$ impairs premiers avec $z$

on arrive à: $z f_{n} (z, u)^{2} - u f_{n} (u, z)^{2} + z f_{n} (z, v)^{2} - v f_{n} (v, z)^{2} = z^{n}$ ,

donc une forme : $z^{n} - z (a^{2} + b^{2}) + u c^{2} + v d^{2} = 0$ , $(a, b, c, d, u, v)$ impairs premiers avec $z$ , $(u, c), (v, d)$ premiers entre eux

Cette expression interdirait-elle à $z$ d'être entier?

Les racines des polynômes du type $X^{n} - 2 r X + 2 p, r \in ℕ, p \in ℤ$ , ont-elles des propriétés particulières?

Est-ce généralisable? Car on obtient la même forme pour $(z - u)^{p} + (z - v)^{q} = z^{n}$ , ici $(p, q, n)$ impairs quelconques^[5]. Ce qu'annonce la conjecture de Tidjman et Zagier pour toutes les puissances

Postface

Ce travail a été motivé par ces polémiques autour du Grand théorème de Fermat, ravivées par la démonstration de Wiles en 1994. Fermat avait donc dit vrai^[6]^[7]! Faisons un bref rappel ici. 1648, Fermat lit Diophante. Ce chapitre où il y est question de partager un nombre carré en une somme de 2 carrés^[8]. C'est à dire reconstituer un triangle rectangle alors qu'on en connait que son hypoténuse. Géométriquement, les sommets de ces triangles sont sur le cercle de diamètre l'hypoténuse. Mais ici c'est d'arithmétique qu'il s'agit. Diophante donne une méthode pour trouver deux fractions, mesures des deux côtés^[9]. A cette lecture, on s'imagine Fermat qui bouillonne et s'arrête un temps. Il a une idée. On imagine sa fulgurance, vu la la clarté et la brillance de son annotation. Il écrit, en latin, ces mots célèbres: "aucune puissance supérieure au carré ne peut être partagée en deux du même nom". Fermat en avait-il une preuve? Était-elle arithmétique^[10] ou géométrique? En existe-t-il une démonstration plus simple que celle de Wiles? Cette prétendue "marge trop petite" est-elle vraiment la bonne traduction, comme le démentent certains latinistes^[11]? Bien avant ces querelles légitimes, une question plus fondamentale s'impose immédiatement à n'importe qui revisite le théorème: comment un homme pourrait-il recevoir une vérité si vaste, si générale, sans sa démonstration^[12]? Difficile à croire, même si nous savons qu'en mathématiques, il n'est pas rare que l'intuition devance la preuve^[13]. Cependant il y a toujours un terreau préparatoire à toute découverte. Un long travail préliminaire, qui peut durer des années. Une maîtrise d'outils novateurs, à la portée aussi générale que la découverte qui s'en suivra. D'où cette question: quelles pouvaient être les connaissances de Fermat englobant "toutes les puissances"^[5]? Rappelons que son niveau de connaissance en arithmétique fut celui d'un lycéen d'aujourd'hui en fin de Terminale "Maths Expertes" (oubliée la technique de la "descente" hors programme, pourtant contribution majeure de Fermat au raisonnement par récurrence^[14]). Mais point de calculatrice. On factorisait à la main. On décomposait de tête. Pour arriver à ses nombreux résultats, Fermat a dû développer des techniques de calcul prodigieuses. Mais il ne les dévoilait pas dans ses correspondances. Doué d'une acuité sans pareil, il fut un génie en son temps.

Ici nous avons essayé de reprendre Fermat "au mot". Que signifie "partager une puissance"? Tout comme il aurait pu le faire, nous sommes parti du binôme. La première contrainte étant que le partage doit donner systématiquement, pour n'importe quelle puissance, une somme de deux nombres toujours premiers entre eux. Nous avons cherché d'éventuels regroupements des termes du binôme qui auraient cette propriété. Et effectivement, dans le cas n impair, nous en avons trouvé. De fil en aiguille, nous avons découvert une autre propriété encore plus étonnante concernant leur décomposition en facteurs premiers. Ces généralités auraient pu être connues de Fermat.

Remerciements

Merci aux équipes du forum www.ilemaths.net (notamment elhor_abdelali et jandri pour les démonstrations)

Merci à math.stackexchange.com (notamment ScratchingTheSurface et Thomas Andrews pour les démonstrations)

Merci à la distribution Linux Mageia , toujours là depuis toutes ces années. Et le bureau XFCE

Merci au site dcode.fr pour la décomposition de grands nombres

Merci à Wikiversité

↑ Modèle:Lien web
↑ Modèle:Lien web
↑ ^3,0 et ^3,1 "Soit le nombre progressif augmenté de l'unité 8193, duquel l'exposant est 13 nombre premier. Je dis que, si vous divisez 8193 par 3, le quotient ne pourra être divisé que par un nombre qui surpasse de l'unité le double de 13 exposant susdit, ou un multiple dudit double de 13, etc, à l'infini."
↑ Pour les $2^{n} - 1$ , Fermat dit avoir trouvé $2^{37} - 1 = 137438953471 = 223 \times 616318177$ en essayant les premiers 1[74], soit 149 puis 223 .
↑ ^5,0 et ^5,1 Fermat est en en fait "tombé" sur un cas particulier. En effet, les arithméticiens ont beaucoup avancé depuis 1994. Désormais, le théorème de Fermat, " $x^{p} + y^{p} = z^{p}$ sans solution pour $p > 2$ et $(x, y, z) \in ℕ^{3}$ ", n'est plus qu'un tout petit cas particulier d'une conjecture beaucoup plus vaste,"(Tidjman et Zagier): $x^{p} + y^{q} = z^{r}$ sans solution pour $(p, q, r)$ tous supérieur à 2 et $(x, y, z) \in ℕ^{3}$ premiers entre eux.". cf https://fr.wikipedia.org/wiki/Conjecture_abc#Triplets_(a,_b,_c) . Fermat n'a pas conjecturé qu'aucune puissance supérieure au carré ne peut être partégée en 2 puissances quelconques supérieure au carré. Ce qui nous montre bien qu'il évoluait dans un cadre de pensée particulier.
↑ il existe des suites des couples $(n^{19} + 6, (n + 1)^{19} + 6)_{n \in ℕ}$ dont on pourrait aisément conjecturer la coprimalité ... poutant, très tardivement, un premier contrexemple apparaît, ici pour $n = 1578270389554680057141787800241971645032008710129107338825798$ cf "premiers entre eux?"
↑ La suite de Perrin $(P_{n})$ est un autre exemple de fausse conjecture: https://fr.wikipedia.org/wiki/Suite_de_Perrin#Utilisation_comme_test_de_primalit%C3%A9 . La conjecture est "si n divise $P_{n}$ alors n est un nombre premier". le premier contre-exemple n'a été trouvé qu'en 1982 pour $n = 271441 = 52 1^{2}$ . Le nombre $P_{271441}$ a 33150 chiffres!!
↑ Modèle:Lien web
↑ $h$ l’hypoténuse et $c$ un côté. L'astuce revient à poser $h^{2} = c^{2} + (h - α c)^{2}$ afin que les $h^{2}$ disparaissent. Ici $α \in ℚ$ un paramètre. Ce qui donne après développement $c = \frac{2 α}{1 + α^{2}} h$ . Et l'autre côté $\frac{α^{2} - 1}{1 + α^{2}} h$ . Ici il faut $α > 1$ pour rester avec des valeurs "positives" et donner un sens géométrique. Notons la transformation inverse $α \to α^{- 1}$ qui donne les mêmes valeurs (au signe près)! Rien qu'en prenant $α \in ℕ$ , on obtient une infinité de solutions.
↑ La méthode de Diophante pour les cubes tombe rapidement dans une impasse. En posant $h^{3} = c^{3} + (h - α c)^{3}$ , on arrive à $(1 - α^{3}) c^{2} + 3 h α^{2} c - 3 α h^{2} = 0$ . Soit un polynôme du second degré en $c$ avec $Δ_{c} = 3 h^{2} α (4 - α^{3})$ . Avec $α \in ℚ, α = \frac{p}{q}$ , on arrive à $Δ_{c} = \frac{h^{2}}{q^{4}} 3 p (4 q^{3} - p^{3})$ . Or l'équation diophantienne $3 p (4 q^{3} - p^{3}) = d^{2}$ est impossible à résoudre directement. Et justement! On sait qu'il n'y en a pas de solutions grâce au théorème de Fermat!
↑ Modèle:Lien web
↑ Modèle:Lien web
↑ lire le magnifique ouvrage de Cédric Villani Modèle:Chapitre-B
↑ La plus didactique étant à mon avis la descente pour prouver que la seule solution à $(x, y, z) \in ℕ^{3}, x^{2} + y^{2} = 3 z^{2}$ est $(0, 0, 0)$

[1] Modèle:Lien web

[2] Modèle:Lien web

[:2-3] 3,0 et ^3,1 "Soit le nombre progressif augmenté de l'unité 8193, duquel l'exposant est 13 nombre premier. Je dis que, si vous divisez 8193 par 3, le quotient ne pourra être divisé que par un nombre qui surpasse de l'unité le double de 13 exposant susdit, ou un multiple dudit double de 13, etc, à l'infini."

[4] Pour les $2^{n} - 1$ , Fermat dit avoir trouvé $2^{37} - 1 = 137438953471 = 223 \times 616318177$ en essayant les premiers 1[74], soit 149 puis 223 .

[:0-5] 5,0 et ^5,1 Fermat est en en fait "tombé" sur un cas particulier. En effet, les arithméticiens ont beaucoup avancé depuis 1994. Désormais, le théorème de Fermat, " $x^{p} + y^{p} = z^{p}$ sans solution pour $p > 2$ et $(x, y, z) \in ℕ^{3}$ ", n'est plus qu'un tout petit cas particulier d'une conjecture beaucoup plus vaste,"(Tidjman et Zagier): $x^{p} + y^{q} = z^{r}$ sans solution pour $(p, q, r)$ tous supérieur à 2 et $(x, y, z) \in ℕ^{3}$ premiers entre eux.". cf https://fr.wikipedia.org/wiki/Conjecture_abc#Triplets_(a,_b,_c) . Fermat n'a pas conjecturé qu'aucune puissance supérieure au carré ne peut être partégée en 2 puissances quelconques supérieure au carré. Ce qui nous montre bien qu'il évoluait dans un cadre de pensée particulier.

[6] xiste des suites des couples $(n^{19} + 6, (n + 1)^{19} + 6)_{n \in ℕ}$ dont on pourrait aisément conjecturer la coprimalité ... poutant, très tardivement, un premier contrexemple apparaît, ici pour $n = 1578270389554680057141787800241971645032008710129107338825798$ cf "premiers entre eux?"

[7] La suite de Perrin $(P_{n})$ est un autre exemple de fausse conjecture: https://fr.wikipedia.org/wiki/Suite_de_Perrin#Utilisation_comme_test_de_primalit%C3%A9 . La conjecture est "si n divise $P_{n}$ alors n est un nombre premier". le premier contre-exemple n'a été trouvé qu'en 1982 pour $n = 271441 = 52 1^{2}$ . Le nombre $P_{271441}$ a 33150 chiffres!!

[:1-8] Modèle:Lien web

[9] $h$ l’hypoténuse et $c$ un côté. L'astuce revient à poser $h^{2} = c^{2} + (h - α c)^{2}$ afin que les $h^{2}$ disparaissent. Ici $α \in ℚ$ un paramètre. Ce qui donne après développement $c = \frac{2 α}{1 + α^{2}} h$ . Et l'autre côté $\frac{α^{2} - 1}{1 + α^{2}} h$ . Ici il faut $α > 1$ pour rester avec des valeurs "positives" et donner un sens géométrique. Notons la transformation inverse $α \to α^{- 1}$ qui donne les mêmes valeurs (au signe près)! Rien qu'en prenant $α \in ℕ$ , on obtient une infinité de solutions.

[10] La méthode de Diophante pour les cubes tombe rapidement dans une impasse. En posant $h^{3} = c^{3} + (h - α c)^{3}$ , on arrive à $(1 - α^{3}) c^{2} + 3 h α^{2} c - 3 α h^{2} = 0$ . Soit un polynôme du second degré en $c$ avec $Δ_{c} = 3 h^{2} α (4 - α^{3})$ . Avec $α \in ℚ, α = \frac{p}{q}$ , on arrive à $Δ_{c} = \frac{h^{2}}{q^{4}} 3 p (4 q^{3} - p^{3})$ . Or l'équation diophantienne $3 p (4 q^{3} - p^{3}) = d^{2}$ est impossible à résoudre directement. Et justement! On sait qu'il n'y en a pas de solutions grâce au théorème de Fermat!

[11] Modèle:Lien web

[12] Modèle:Lien web

[13] re le magnifique ouvrage de Cédric Villani Modèle:Chapitre-B

[14] La plus didactique étant à mon avis la descente pour prouver que la seule solution à $(x, y, z) \in ℕ^{3}, x^{2} + y^{2} = 3 z^{2}$ est $(0, 0, 0)$

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

Binôme de Newton dans le cas d'un exposant impair

Sommaire

Résumé

Introduction

Propriétés algébriques

Coprimalité

Facteurs premiers

Remarques sur le trinôme

Applications

Points rationnels des coniques du type ax²-by²=a-b

Le grand théorème de Fermat

Critères immédiats sur les facteurs premiers de z

Valuations des facteurs premiers de la somme de puissances

Abaissement des puissances en carrés

Postface

Remerciements

Menu de navigation

Binôme de Newton dans le cas d'un exposant impair

Résumé

Introduction

Propriétés algébriques

Coprimalité

Facteurs premiers

Remarques sur le trinôme

Applications

Points rationnels des coniques du type ax²-by²=a-b

Le grand théorème de Fermat

Critères immédiats sur les facteurs premiers de z

Valuations des facteurs premiers de la somme de puissances

Abaissement des puissances en carrés

Postface

Remerciements

Menu de navigation

Rechercher