$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Équation de Pell-Fermat

On appelle équation de Pell-Fermat l'équation diophantienne $y^2-dx^2=1$, où $d$ est un entier qui n'est pas un carré. L'adjectif "diophantienne" signifie que l'on cherche des solutions avec $x$ et $y$ qui sont des entiers.

Il se trouve que cette solution a toujours des solutions, et que l'on sait même les déterminer. On commence par déterminer une solution $(x_0,y_0)$, avec $x_0>0$ le plus petit possible, à l'aide du développement en fraction continue de $\sqrt d$. Ensuite, étant donnée cette solution "primitive", on peut montrer que toutes les solutions $(x_n,y_n)$ sont données par le système $$\left\{ \begin{eqnarray*} y_n+\sqrt d x_n&=&(y_0+\sqrt d x_0)^n\\ y_n-\sqrt d x_n&=&(y_0-\sqrt d x_0)^n \end{eqnarray*} \right.$$

Cette équation porte le nom du mathématicien anglais John Pell, mais c'est une erreur due à Euler qui lui attribua faussement son étude. En fait, le premier à avoir décrit l'ensemble des solutions de cette équation est le mathématicien indien Brahmagupta, qui vivait au VIIè siècle après J-C, soit près de 1000 ans avant Pell. Ses résultats étaient totalement inconnus des mathématiciens européens du XVIIè siècle, et c'est Fermat qui remit cette équation au goût du jour, conjecturant qu'elle avait toujours une infinité de solutions. Il fallut attendre Lagrange, un siècle plus tard, pour obtenir une nouvelle preuve totalement rigoureuse de ce fait! Remarquons qu'on désigne parfois plus généralement équation de Pell-Fermat l'équation $x^2-dy^2=m$, où $m$ est un entier, et où les inconnues $x$ et $y$ sont aussi des entiers.
Consulter aussi...
Recherche alphabétique
Recherche thématique