---
abstract: 'Nous construisons, dans les corps quadratiques réels, une infinité de fractions continues périodiques uniformément bornées, avec une borne qui semble meilleure que celle connue jusqu’ici. Nous faisons cela en partant de développements en fractions continues de la même forme que ceux des réels $\sqrt{n} + n$. Et ceci nous permet d’obtenir de plus qu’il existe une infinité de corps quadratiques contenant une infinité de développements en fractions continues périodiques formées seulement des entiers $1$ et $2$. Nous montrons aussi qu’une conjecture de Zaremba implique une conjecture de McMullen, en construisant des fractions continues périodiques à partir de développements en fractions continues de rationnels.'
address: |
    Université Paris-Sud 11\
    91405 Orsay
author:
- Paul MERCAT
title: Construction de fractions continues périodiques uniformément bornées
---

Introduction {#intro}
============

Il est bien connu qu’un réel est quadratique sur ${\mathbb Q}$ si et seulement si son développement en fraction continue est périodique à partir d’un certain rang. Il est par contre remarquable que dans un corps quadratique donné il existe une infinité de fractions continues périodiques uniformément bornées. Par exemple, ${\mathbb Q}[\sqrt{10}]$ contient la suite de fractions continues périodiques $$[\overline{1,1,2,1,1,2}]$$ $$[\overline{1,1,2,1,\textcolor{red}{2,1,1},1,2,\textcolor{red}{2,1,1}}]$$ $$[\overline{1,1,2,1,\textcolor{red}{2,1,1}, \textcolor{red}{2,1,1},1,2,\textcolor{red}{2,1,1}, \textcolor{red}{2,1,1}}]$$ $$[\overline{1,1,2,1,\textcolor{red}{2,1,1},\textcolor{red}{2,1,1},\textcolor{red}{2,1,1},1,2,\textcolor{red}{2,1,1},\textcolor{red}{2,1,1},\textcolor{red}{2,1,1}}]$$ $$...$$ qui est uniformément bornée par 2. Et Wilson a démontré dans [@wilson] qu’il y avait des suites semblables dans tous les corps quadratiques réels. Mais peut-on obtenir une borne indépendante du corps quadratique ? Par exemple, peut-on trouver dans n’importe quel corps quadratique, un réel quadratique dont le développement en fraction continue n’a que des $1$ et des $2$ ? Ces questions sont ouvertes. Dans son papier [@mcmullen], McMullen s’intéresse à de telles suites de fractions continues, et redémontre le résultat de Wilson en donnant d’autres exemples de telles suites. Il établit des liens avec des questions sur les géodésiques fermées de certaines variétés arithmétiques, ainsi qu’avec des questions de théorie des nombres sur le comptage d’idéaux.

Dans cet article, nous nous intéressons à ces suites de fractions continues périodiques qui restent dans un corps quadratique donné. Nous allons voir en particulier que dans une infinité de corps quadratiques il existe une infinité de fractions continues périodiques formées seulement des entiers $1$ et $2$.

Fractions continues
-------------------

Tout réel $x$ peut se développer en fraction continue $$x = [a_1, a_2, a_3, ... ] = a_1 + \cfrac{1}{a_2+\cfrac{1}{a_3+\cfrac{1}{...}}}$$ avec des quotients partiels $a_i \in {\mathbb Z}$ et $a_i \geq 1$ si $i \geq 2$. Si le développement est périodique\
,\
on notera $x = [\overline{a_1, a_2, ..., a_{p}}]$.

On appellera [*quasi-palindromique*]{} une fraction continue de la forme $[\overline{a_0, a_1, a_2, a_3, ... , a_3, a_2 , a_1}]$.

Dans cette définition, la partie symétrique $a_1, a_2, ... , a_2, a_1$ peut ou non avoir un terme médian. Dans la suite, la notation $(a_0, a_1, a_2, ... , a_{k-1}, a_k)^n$ signifie que le motif $a_0, a_1, a_2, ... , a_{k-1}, a_k$ est répété $n$ fois.

Pour des références sur les fractions continues, on pourra consulter par exemple [@perron], [@hp], [@schmidt], ou encore [@bugeaud].

Dans le chapitre \[preuve\], nous démontrons le résultat nouveau suivant :

\[MN\] Si la fraction continue périodique quasi-palindromique $$[\overline{a_0, a_1, a_2, ... , a_2 , a_1}]$$ est dans ${\mathbb Q}[\sqrt{\delta}]$, alors il existe deux uplets d’entiers strictement positifs\
$(b_1, b_2, ... , b_k)$ et $(c_1, c_2, ... , c_l)$ tels que ${\mathbb Q}[\sqrt{\delta}]$ contienne la suite non constante de fractions continues périodiques$$[\overline{b_1, b_2, ... , b_k, (a_0, a_1, a_2, ... , a_2, a_1)^n, c_1, c_2, ... , c_l, (a_1, a_2, ... , a_2, a_1, a_0)^n}]$$

En outre, si $m$ est un majorant des entiers $a_i$, alors on peut demander à ce que $2m+1$ soit un majorant des entiers $b_i$ et $c_i$.

Cela permet de retrouver le résultat de Wilson [@wilson] :

Pour tout corps quadratique ${\mathbb Q}[\sqrt{\delta}]$, il existe un réel $m_\delta$ et une infinité de fractions continues périodiques $[ \overline{ a_0, a_1, ..., a_n } ] \in {\mathbb Q}[\sqrt{\delta}]$ avec $1 \leq a_i \leq m_{\delta}$.

Ici, $m_{\delta}$ dépend seulement de $\delta$. Par exemple on peut prendre $m_{10} = 2$ d’après la suite annoncée au début. Nous démontrons dans le chapitre \[exs\], que l’on peut même trouver dans tout corps quadratique réel, une infinité de fractions continues périodiques ne comportant que trois quotients partiels différents.

En appliquant le théorème aux réels $\sqrt{\delta}+{\left\lfloor \sqrt{\delta} \right\rfloor}$, on obtient que l’on peut prendre $m_{\delta} = 4\sqrt{\delta}+1$, ce qui améliore le résultat de Wilson qui dit que l’on peut prendre $m_\delta = O(\delta)$ (voir le paragraphe \[rqp\] sur les réels quasi-palindromiques).

La preuve du théorème permettra aussi d’obtenir le résultat nouveau :

Il existe une infinité de corps quadratiques ${\mathbb Q}[\sqrt{\delta}]$ dans lesquels il existe une infinité de fractions continues périodiques $[ \overline{ a_0, a_1, ..., a_n } ]$ avec $a_i \in \{ 1, 2 \}$.

Dans son article [@mcmullen], McMullen émet la conjecture suivante :

\[conjMcMullen\] Dans tout corps quadratique réel, il existe une infinité de fractions continues périodiques formées seulement des entiers 1 et 2.

Les deux cas particuliers suivants semblent aussi ouverts :

\[conj12\] Dans tout corps quadratique réel, il existe une fraction continue périodique formée seulement des entiers 1 et 2.

La conjecture \[conj12\] est vraie pour tous les corps quadratiques ${\mathbb Q}[\sqrt{\delta}]$ pour $\delta < 127$. Par exemple, ${\mathbb Q}[\sqrt{19}]$ contient la fraction continue périodique de longueur 78 suivante : $$[ \overline{2,1,1,1,{\textsf{M}},1,1,1,2,{\, {}^t \! {{\textsf{M}}}}} ]  \text{\ o\`u\ } {\textsf{M}} \mathrm{\ est\ le\ motif\ suivant\ :}$$ $$(1,1,1,1,1,1,1,1,1,2,1,1,2,2,1,2,1,1,2,1,1,1,1,2,2,1,1,1,2,1,1,2,1,2,2)$$ et ${\, {}^t \! {{\textsf{M}}}}$ est le motif miroir.

Nous avons vérifié cette remarque par ordinateur. Voir la remarque \[r\_conjMcM\] pour plus de détails.

Dans [@jp], Jenkinson et Pollicott étudient l’ensemble $E_2$ des réels dont le développement en fraction continue est infini et ne s’écrit qu’avec les nombres $1$ et $2$. La conjecture \[conj12\] se reformule comme suit :\
L’intersection de l’ensemble $E_2$ avec tout corps quadratique réel ${\mathbb Q}[\sqrt{\delta}]$ est non vide.

\[conjM\] Il existe un entier $m$ tel que tout corps quadratique réel ${\mathbb Q}[\sqrt{\delta}]$ contienne une infinité de fractions continues périodiques uniformément bornées par $m$.

Nous avons obtenu un le lien entre cette conjecture sur les fractions continues périodiques et la conjecture de Zaremba suivante sur les fractions continues finies :

\[conjZar\] Il existe une constante $m$ telle que pour tout entier $q \geq 1$, il existe un entier $p$ premier à $q$ tel que l’on ait $$\frac{p}{q} = [a_0, a_1, a_2, \dots ]$$ où les entiers $a_i$ sont entre $1$ et $m$.

Voici un lien entre ces deux conjectures :

La conjecture de Zaremba \[conjZar\] implique la conjecture \[conjM\].

Nous obtenons ce dernier résultat comme corollaire du théorème suivant, qui permet de construire des fractions continues périodiques dans un corps donné à partir de fractions continues de certain rationnels :

\[thm\_fcfp\] Soient $a$, $b$, $c$ et $\delta$ des entiers strictement positifs tels que

-   $b$ et $c$ sont solution de l’équation de Pell-Fermat : $c^2 - \delta b^2 = \pm 1$,

-   $a$ et $c$ sont premiers entre eux et $a < c$.

Alors on a l’une des égalités $$\frac{c-a + b \sqrt{\delta}}{c} = [\overline{1,1,a_1-1, a_2, a_3, \dots, a_{n-1}, a_n, 1, 1, a_n - 1, a_{n-1}, a_{n-2}, \dots, a_2, a_1}]$$ ou $$\frac{c-a + b \sqrt{\delta}}{c} = [\overline{1,1,a_1-1, a_2, a_3, \dots, a_{n-1}, a_n - 1, 1, 1, a_n, a_{n-1}, a_{n-2}, \dots, a_2, a_1}],$$ où $[0,a_1, a_2, \dots, a_{n-1}, a_n]$ est le développement en fraction continue du rationnel $\frac{a}{c}$.

Si l’on a des entiers nuls dans la fraction continue donnée par ce théorème (c’est le cas si $a_1 = 1$ ou $a_n = 1$), il suffit de remplacer chaque triplet $x, 0, y$ par $x+y$ pour obtenir une vraie fraction continue. Remarquons aussi que les entiers $\delta$ qui satisfont les hypothèses de ce théorème sont nécessairement non carrés.\
À la vue du théorème \[MN\], on peut se poser la question suivante, qui impliquerait la conjecture \[conjM\] :

Existe-t-il une constante $m$ telle que dans tout corps quadratique réel, il existe une fraction continue périodique de la forme $ [ \overline{ a_0, a_1, a_2, ... , a_2, a_1 } ] $ uniformément bornée par $m$ ?

Cependant, même sans la condition sur la forme de la fraction continue périodique, le problème semble ouvert :

\[mcmullen1\] Il existe une constante $m$ telle que dans tout corps quadratique réel, il existe une fraction continue périodique uniformément bornée par $m$.

Nous obtenons une petite avancée dans la résolution de cette conjecture, comme corollaire du théorème \[thm\_fcfp\], en utilisant les travaux de Bourgain et Kontorovich sur la conjecture de Zaremba. Voir corollaire \[thm\_ibk\].\
Voici le plan de cet article :

Dans le chapitre \[pos\] qui suit, on rappelle quelques propriétés des fractions continues et du semi-groupe des matrices positives. Dans le chapitre \[preuve\] on donne une preuve rapide du théorème \[MN\]. Le chapitre \[suites1\] explique pourquoi les suites de fractions continues périodiques de la forme $[\overline{b_1,b_2, ..., b_k,(a_1, a_2, ... , a_l)^n}]$ ne conviennent pas. Les chapitres \[BACtA\] et \[suites2\] sont consacrés aux généralisations et réciproques des résultats qui nous ont permis d’obtenir le théorème \[MN\]. Et enfin, le chapitre \[exs\] explicite les suites de fractions continues périodiques que permet d’obtenir la preuve du théorème \[MN\], et donne des exemples. Nous finissons par le chapitre \[s\_zaremba\], dans lequel nous démontrons le théorème \[thm\_fcfp\] et montrons que la conjecture de Zaremba \[conj\_zaremba\] implique la conjecture \[conjM\]. Ce travail a été principalement réalisé pendant mon stage de Master, à l’université Pierre et Marie Curie, à Paris, en 2009. Je remercie Yves Benoist, qui était alors mon encadrant, pour l’aide précieuse qu’il m’a apporté. Je remercie aussi Yann Bugeaud pour ses remarques qui m’ont aidées à trouver le théorème \[thm\_fcfp\].

Matrices positives {#pos}
==================

Dans cette section, on s’intéresse au semi-groupe $\Gamma$ des matrices positives, qui est l’ensemble des matrices de $GL_2({\mathbb Z})$ qui correspondent à des développements en fraction continue périodique. On démontre des propriétés qui serviront par la suite.

Soit $M$ une matrice de $M_2({\mathbb R})$. On appelle [*discriminant*]{} de $M$ le discriminant du polynôme caractéristique de $M$. Autrement dit, c’est le réel $${\operatorname{discr}}(M) := (d-a)^2 + 4bc = {\operatorname{Tr}}(M)^2 - 4{\operatorname{Det}}(M),$$ pour $M = \left( \begin{array}{cc} a & b \\ c & d \end{array} \right)$.

Soit $M$ une matrice de $GL_2({\mathbb Z}).$

1.  Les valeurs propres de $M$ sont dans le corps ${\mathbb Q}[\sqrt{{\operatorname{discr}}(M)}]$.

2.  Les vecteurs propre de $M$ peuvent être choisis à coefficients dans le corps ${\mathbb Q}[\sqrt{{\operatorname{discr}}(M)}]$.

3.  Pour tout $n \geq 1$, ${\operatorname{discr}}(M)$ divise ${\operatorname{discr}}(M^n)$ et $\frac{{\operatorname{discr}}(M^n)}{{\operatorname{discr}}(M)}$ est un carré parfait.

[*1 .*]{} Les valeurs propres sont les racines du polynôme caractéristique, donc sont dans ${\mathbb Q}[\sqrt{{\operatorname{discr}}(M)}]$.\
[*2 .*]{} Si l’on choisis un vecteur propre de la forme $\left( \begin{array}{c} 1 \\ x \end{array} \right)$, alors $x$ est racine du polynôme $bx^2 + (a-d)x - c = 0$, pour $M = \left( \begin{array}{cc} a & b \\ c & d \end{array} \right)$. Or ce polynôme a pour discriminant ${\operatorname{discr}}(M)$, et donc $x$ est dans ${\mathbb Q}[\sqrt{{\operatorname{discr}}(M)}]$.\
[*3 .*]{} Si $\lambda$ et $\mu$ sont les deux valeurs propres de $M$, alors ${\operatorname{discr}}(M^n) = (\lambda^n - \mu^n)^2$. On a donc $$\frac{{\operatorname{discr}}(M^n)}{{\operatorname{discr}}(M)} = (\frac{\lambda^n - \mu^n}{\lambda - \mu})^2 = (\sum_{i = 0}^{n-1}{\lambda^i\mu^{n-i-1}})^2.$$ Or, l’expression $\sum_{i = 0}^{n-1}{\lambda^i\mu^{n-i-1}}$ est un polynôme à coefficients entiers, symétrique en $\lambda$ et $\mu$. C’est donc aussi un polynôme à coefficients entiers en la trace et le déterminant de $M$. Donc le nombre complexe $\sum_{i = 0}^{n-1}{\lambda^i\mu^{n-i-1}}$ est en fait un entier.

Notations
---------

-   On appelle [*corps d’une matrice*]{} $M \in GL_2({\mathbb Z})$ le corps ${\mathbb Q}[\sqrt{{\operatorname{discr}}(M)}]$.

-   On note ${T_{i}}$ la matrice $\left(
            \begin{array}{cc}
            0 &1\\
            1 &i
            \end{array}
            \right)$ où $i$ est un entier, et on note ${T_{(a_1, a_2, ... , a_n)}}$ le produit ${T_{a_1}}{T_{a_2}} ... {T_{a_n}}$ pour un $n$-uplet d’entiers $(a_1, a_2, ..., a_n)$. Cette notation est justifiée par la remarque \[rem\_mat-fc\].

-   On note $\Gamma$ l’ensemble des produits des matrices ${T_{i}}$ pour $i \geq 1$ ($\Gamma$ est donc le monoïde engendré par les matrices ${T_{i}}$, et il contient $I_2$), et $\Gamma_n$ l’ensemble des produits de matrices ${T_{i}}$ pour $1 \leq i \leq n$. On dit qu’une matrice est [*positive*]{} si c’est un élément du semi-groupe $\Gamma\backslash\{I_2\}$. En particulier, une matrice positive a tous ses coefficients positifs ou nuls.

-   Etant donnée une matrice $P \in M_2({\mathbb R})$, on note $P^{\dagger}$ l’unique matrice vérifiant $P + P^{\dagger} = {\operatorname{Tr}}(P)I_2$. Si $P = \left(
            \begin{array}{cc}
            a &b\\
            c &d
            \end{array}
            \right)$, on a donc $P^{\dagger} = \left(
            \begin{array}{cc}
            d &-b\\
            -c &a
            \end{array}
            \right)$. Et si $P$ est inversible, on peut écrire $P^{\dagger} = {\operatorname{Det}}(P)P^{-1}$.

    Les relations $P^{\dagger}Q^{\dagger} = (QP)^{\dagger}$ et $PP^{\dagger} = {\operatorname{Det}}(P)I_2$ permettent d’obtenir l’égalité bien utile : $$\begin{aligned}
     \label{fm}
                {\operatorname{Det}}(P+Q) = {\operatorname{Det}}(P) + {\operatorname{Det}}(Q) + {\operatorname{Tr}}(PQ^{\dagger})
            \end{aligned}$$

-   On appelle [*longueur*]{} d’une fraction continue périodique la plus petite période.

\[carGamma\] Soit $M = \left(
    \begin{array}{cc}
    a &b\\
    c &d
    \end{array}
    \right) \in GL_2({\mathbb Z})$.\
Alors les propriétés suivantes sont équivalentes:

1.  $M \in \Gamma \backslash \{ I_2 \}$ (i.e. $M$ est positive) \[gpos\]

2.  $0 \leq a \leq b \leq d$ et $a \leq c \leq d$ \[ppt-pos\]

3.  Il existe un réel quadratique $x_M > 1$, dont le conjugué $\overline{x_M}$ est dans $]-1,0[$, tel que $\left( \begin{array}{c} 1 \\ x_M \end{array} \right)$ et $\left( \begin{array}{c} 1 \\ \overline{x_M} \end{array} \right)$ soient des vecteurs propres de $M$, et les entiers $b$ et $d$ sont strictement positifs. \[vpos\]

4.  ${|b-c|} < d-a$ et les entiers $a, b, c$ et $d$ sont positifs ou nuls. \[ipos\]

Récurrence facile.

Supposons que $M$ vérifie ces inégalités. Démontrons que $M$ est positive par récurrence sur ses coefficients.

Si $a = 0$, alors $bc = -{\operatorname{Det}}(M) = \pm 1$, donc $b = c = 1$ et $M = \begin{pmatrix} 0 & 1 \\ 1 & d \end{pmatrix} = {T_{d}}$.

Si $a = 1$, alors $M$ est de la forme $$.

[l]{} M = (

[cc]{} 1 & b\
c & bc+1

) = [T\_[c]{}]{}[T\_[b]{}]{}$ quand $(M) = 1,\
M = (

[cc]{} 1 & b\
c & bc-1

) = [T\_[c-1]{}]{}[T\_[1]{}]{}[T\_[b-1]{}]{}$ quand $(M) = -1.

.$$

Si $a \geq 2$, alors on a ${\left\lfloor \cfrac{b}{a} \right\rfloor} = {\left\lfloor \cfrac{d}{c} \right\rfloor}$ (cela découle de l’égalité $ad-bc = \pm 1$). Et en posant $q = {\left\lfloor \cfrac{b}{a} \right\rfloor} = {\left\lfloor \cfrac{d}{c} \right\rfloor}$, la matrice $M {T_{q}}^{-1} = \left(
    $q = [ ]{} = [ ]{}$ (cette \'egalit\'e d\'ecoule de $ad-bc = 1$), la matrice $M [T\_[q]{}]{}\^[-1]{} = (

[cc]{} b-qa &a\
d-qc &c

)$ v\'erifie encore le point~\ref{ppt-pos} de la proposition : l'in\'egalit\'e $b - qa d-qc$ r\'esulte de $(M [T\_[q]{}]{}\^[-1]{}) = 1$ et de $2 a c$, et les autres in\'egalit\'es sont claires.
    De plus, la matrice $M [T\_[q]{}]{}\^[-1]{}$ est strictement plus petite que $M$, coefficients \`a coefficients. $M$.
    
    \underline{$\ref{ppt-pos} {\Rightarrow}\ref{ipos}$}
    Clair.
    
    \underline{$\ref{vpos} {\Leftrightarrow}\ref{ipos}$}
    Les r\'eels quadratiques $x\_M$ et $$ sont les racines du polyn\^ome $Q(X) = bX\^2+(a-d)X-c$.
    $d-a &gt; [|b-c|]{}$, et donc $x\_ = &gt; 1$. Le signe de $|[x]{}$ est le m\^eme que celui de $-cx &lt; 0$, et $|[x]{} &gt; -1$ \'equivaut \`a $ &lt; 2b + (d-a)$, ce qui d\'ecoule encore de $d-a &gt; [|b-c|]{}$.
    Si $b$ est positif, on a donc,
    \begin{eqnarray} \label{equiv34}
         \left\{ \begin{array}{c} x_M > 1 \\  -1 < \overline{x_M} < 0 \end{array} \right. {\Longleftrightarrow}\left\{ \begin{array}{c} Q(1) < 0 \\  Q(-1) > 0 \\ Q(0) < 0 \end{array} \right. {\Longleftrightarrow}\left\{ \begin{array}{c} {|b-c|} < d-a \\  c > 0 \end{array} \right.
    \end{eqnarray}
    $Q(1) = b-c + (a-d) &lt; 0$ et $Q(-1) = b-c - (a-d) &gt; 0$ entra\^inent que $[|b-c|]{} &lt; d-a$, et l'in\'egalit\'e $Q(0) &lt; 0$ entra\^ine que $c &gt; 0$.
    Et l'\'egalit\'e $bc = 0$ est impossible si $[|b-c|]{} &lt; d-a$, puisque si elle avait lieu, alors l'\'egalit\'e $ad - bc = 1$ et la positivit\'e de $a$ et de $d$ entra\^ineraient que $a=d = 1$. $[|b-c|]{} &lt; d-a$.
    
    \underline{$\ref{ipos} {\Rightarrow}\ref{vpos}$}
    On a $b &gt; 0$ et $c &gt; 0$, parce que $bc$ est non nul.
    On peut donc utiliser l'\'equivalence (\ref{equiv34}) ci-dessus pour obtenir $x\_M &gt; 1$ et $ -1 &lt; &lt; 0$.
    On a ensuite $[|b-c|]{} &lt; d-a$ qui entra\^ine $d &gt; 0$.
    
    \underline{$\ref{vpos} {\Rightarrow}\ref{ipos}$}
    $x &gt; 1 c &gt; b - (d-a)$ et $|[x]{} c &lt; b + (d-a)$, et $|[x]{} &lt; 0 bc &gt; 0$. On a alors aussi $ad = bc - 1 0$, et donc finalement $a$, $b$, $c$ et $d$ sont positifs.
    $Q(1) &gt; 0$ et $Q(-1) &gt; 0$ puisque $[|b-c|]{} &lt; d-a$, et $Q(0) &lt; 0$ puisque $c &gt; 0$ (si $c = 0$, alors $a = d = 1$ puisque $ad-bc = 1$ et a et d sont des entiers positifs : impossible car $d-a &gt; 0$).
    L'\'equivalence (\ref{equiv34}) ci-dessus nous donne $[|b-c|]{} &lt; d-a$ et  $c &gt; 0$.
    L'\'egalit\'e $ad-bc = 1$ et l'in\'egalit\'e $bc &gt; 0$ donnent alors que $ad 0$, d'o\`u $a 0$.
    
    \underline{$\ref{ipos} {\Rightarrow}\ref{ppt-pos}$}
    Si l'on avait $c &lt; a$, on aurait $cd &lt; ad = bc 1,$
    donc $cd bc$ puis $d b$.
    Mais la différence $d-a &lt; b - c$ des inégalités contredirai alors l'hypothèse $[|b - c|]{} &lt; d-a$.
    Les autres inégalités $a b$, $c d$ et $b d$ s'obtiennent de la même façon.
\end{proof}

$a &gt; b$, alors $ac &gt; bc = ad 1$, donc $c d$, et on obtient $d-a c-b$. Les autres cas sont similaires.

$M$ est le produit de chifres $c\_1c\_2...c\_n$, alors dire que $(

[c]{} 1\
x

)$ est vecteur propre de $M$ est \'equivalent \`a dire que $x$ v\'erifie l'\'equation \mbox{$x = c_1 + \frac{1}{c_2+\frac{1}{\ddots \frac{1}{c_n + \frac{1}{x}}}}$}. Or, il est connu qu'un r\'eel quadratique $x$ a un d\'eveloppement en fraction continue p\'eriodique si et seulement si $x &gt; 1$ et $-1&lt;|[x]{}&lt;0$. \newline
$x = $ et $x = $.
$b 0$ et $c 0$ en supposant 2 ou 3.
$d-a c-b -(d-a) 4b(d-a) + 4b\^2 4bc 4b\^2 - 4b(d-a) ((d-a) + 2b)\^2 (d-a)\^2 + 4bc (-(d-a) + 2b)\^2 (d-a) + 2b 2b - (d-a) - x &gt; 1$ et $-1 &lt; |[x]{} &lt; 0$ (l'in\'egalit\'e $|[x]{} &lt; 0$ est vraie parce que $bc &gt; 0$ si $M I\_2$, et l'in\'egalit\'e $2b-(d-a) -$ en d\'ecoule)
$d b$ et $c a b-c d-a$, et $b a$ et $d c c-b d-a$.

$M GL\_2([Z]{})$ est dans $$ si et seulement si elle admet un vecteur propre de la forme $(

[c]{} 1\
x

)$ o\`u $x &gt; 1$ est un r\'eel dont le d\'eveloppement en fraction continue est p\'eriodique ($x$ est le r\'eel quadratique qui correspond \`a la matrice $M$).
$x &gt; 1$ est p\'eriodique (et non pas seulement ultimement p\'eriodique) si et seulement si sont conjugu\'e $|[x]{}$ v\'erifie : $-1 &lt; |[x]{} &lt; 0$.

\begin{rem} \label{rem_mat-fc}
    $x$ de la proposition ci-dessus "s'identifie" avec la matrice $M$ : son d\'evelopement en fraction continue est p\'eriodique, et est donn\'e par la d\'ecomposition de $M$ comme produit de chiffres.
    Le r\'eel $x\_M$ de la proposition ci-dessus qui correspond \`a une matrice
    \[ M = {T_{(a_1, a_2, a_3, ..., a_p)}} = {T_{a_1}}{T_{a_2}}{T_{a_3}} ... {T_{a_p}}, \]
    a pour d\'eveloppement en fraction continue
    \[ x_M = [ \overline{ a_1, a_2, a_3, ... , a_p } ]. \]
    La correspondance est bijective si l'entier $p$ est la longueur.
\end{rem}

\begin{define} \label{def-triv}
    Une suite $(A\_n)$ de matrices est non triviale si l'ensemble des r\'eels $x\_[A\_n]{}$ est infini (ce qui signifie simplement que la suite de matrices correspond \`a une infinit\'e de fractions continues p\'eriodiques).
    $(A\_n)$ de matrices est non triviale s'il n'existe pas de matrice $C$, deux indices $a$ et $b$, et deux entiers $k$ et $l$ pour lesquels $A\_a = C\^k$ et $A\_b = C\^l$. Si $M$ est dans $$, cela \'equivaut \`a : si $(x\_n)$ est une suite de r\'eels > 1 tels que $(

[c]{} 1\
x\_n

)$ est vecteur propre de $M$, alors la suite $(x\_n)$ a tout ses termes distincts.
\end{define}

\begin{rem}
    Il y a unicit\'e de l'\'ecriture d'une matrice de $$ comme produit de matrices $[T\_[i]{}]{}$. En particulier, une matrice de $$ est sym\'etrique si et seulement si son \'ecriture comme produit de matrices $[T\_[i]{}]{}$ est sym\'etrique.
    
    Les matrices positives sont toujours diagonalisables et ont des valeurs propres r\'eelles distinctes.
\end{rem}

$[T\_[i]{}]{}$ dans son écriture comme produit, d'une matrice positive
Pour démontrer l'unicité de la décomposition $M = [T\_[i\_1]{}]{} [T\_[i\_2]{}]{} ... [T\_[i\_n]{}]{}$ d'une matrice positive 
$ M =

a & b\
c & d

$,
il suffit de remarquer que la dernière matrice $[T\_[i\_n]{}]{} =

0 & 1\
1 & i\_n

$ s'obtient par la formule $[T\_[i\_1]{}]{}$ s'obtient par la formule
$[T\_[i\_1]{}]{}$ dans son écriture $M = [T\_[i\_1]{}]{} [T\_[i\_2]{}]{} ... [T\_[i\_n]{}]{}$ 
\[
    i_n = \min({\left\lfloor \frac{b}{a} \right\rfloor}, {\left\lfloor \frac{d}{c} \right\rfloor}),
    \]
avec la convention $[ ]{} = $. Voir la preuve de la proposition \ref{carGamma} pour plus de détails. \\

On dispose \'egalement d'un crit\`ere de positivit\'e pour les matrices de rang 1 :

\begin{prop} \label{H->Gamma}
    Soit $H = (

[cc]{} a &b\
c &d

) M\_2([Z]{})$ une matrice de rang 1 v\'erifiant les in\'egalit\'es $0 a b d$ et $a c d$.
    Alors il existe deux matrices $P$ et $Q$ dans $$ et un entier $e 1$ tels que $H = P (

[cc]{} 0 &0\
0 &e

) Q$.
    De plus, $e$ est unique, et $P$ et $Q$ sont uniques modulo les relations
    $$ \left. \begin{array}{c}
        X {T_{n}}{T_{1}} \left(
        \begin{array}{cc}
            0 &0\\
            0 &e
        \end{array}
        \right)Y = X {T_{n+1}}  \left(
        \begin{array}{cc}
            0 &0\\
            0 &e
        \end{array}
        \right) Y \\
        X \left(
        \begin{array}{cc}
            0 &0\\
            0 &e
        \end{array}
        \right) {T_{1}}{T_{n}} Y = X \left(
        \begin{array}{cc}
            0 &0\\
            0 &e
        \end{array}
        \right) {T_{n+1}} Y
    \end{array} \right.$$
    pour $X, Y $.
\end{prop}

\begin{proof}
    On a n\'ecessairement $e = (a, b, c, d)$, d'o\`u son unicit\'e.
    On peut supposer $e = 1$ quitte \`a diviser $H$ par $e$.
    Comme $H$ est non inversible, il existe des entiers positifs ou nuls $x$, $y$, $z$ et $t$ tels que $H = (

[c]{} x\
y

) (

[cc]{} z& t\

)$ et avec $x$ et $y$ premiers entre eux, et $z$ et $t$ premiers entre eux. \\
$(u,v)$ tel que la matrice $P = ( La matrice $P$ est nécessairement de la forme $P = \left(
    \begin{array}{cc}
    u & x\\
    v & y
    \end{array}
    \right)$ pour être dans $GL_2({\mathbb Z})$, puisque les coefficients $x$ et $y$ doivent être premiers entre eux. Déterminons toutes les valeurs possibles des entiers $u$ et $v$ pour que la matrice $P$ soit dans $\Gamma$.

-   Si $x = 0$, alors on a nécessairement $y = 1$, et donc $(u,v) = (1,0)$ convient et est la seule solution.

-   Si $x = 1$, alors les solutions sont $(u,v) = (0,1)$ et $(u,v) = (1,y-1)$ (le couple $(u,v) = (1,y-1)$ est bien une solution à condition que $y \geq 2$).

-   Si $x \geq 2$, alors les solutions $(u,v)$ vérifient nécessairement les inégalités $0 \leq u < x$ et $0 \leq v < y$. Le théorème de Bézout nous donne alors l’existence et l’unicité d’une solution $(u,v)$ vérifiant les inégalités $0 \leq u < x$ et $0 \leq v < y$ et l’équation $uy - vx = 1$, et de même pour l’équation $uy - vx = -1$. L’inégalité $u \leq v$ est alors automatiquement bien vérifiée. On a donc exactement deux solutions.

D’autre part, il est facile de vérifier que l’on a les égalités $${T_{n}}{T_{1}} \left(
        \begin{array}{cc}
        0 &0\\
        0 &e
        \end{array}
        \right) = {T_{n+1}} \left(
        \begin{array}{cc}
        0 &0\\
        0 &e
        \end{array}
        \right)
            \text{ et que }
        \left(
        \begin{array}{cc}
        0 &0\\
        0 &e
        \end{array}
        \right) {T_{1}}{T_{n}} = \left(
        \begin{array}{cc}
        0 &0\\
        0 &e
        \end{array}
        \right) {T_{n+1}}$$ dès que $n \geq 1$, d’où le résultat. Par transposition, on obtient également les matrices $Q$ qui conviennent.

Preuve du théorème \[MN\] {#preuve}
=========================

Dans cette partie, nous démontrons le théorème \[MN\]. Pour cela, nous commençons par le reformuler en termes de matrices :

\[MN2\] Soit $A = MN$ avec $M$ et $N$ deux matrices symétriques de $\Gamma_q$ telles que l’une d’elles est de déterminant $-1$. Alors il existe des matrices $B$ et $C$ dans $\Gamma_{2q+1}$ telles que pour tout $n$, le corps de $BA^nC{\, {}^t \!\! A}^n$ est le corps de $A$, et telles que la suite $BA^nC{\, {}^t \!\! A}^n$ est non triviale.

\[rem\_MN2\] Une matrice de la forme $MN$, avec $M, N \in \Gamma$ symétriques et ${\operatorname{Det}}(M) = -1$ ou ${\operatorname{Det}}(N) = -1$, est toujours semblable (en faisant une permutation circulaire sur les entiers strictement positifs $m_1, ... , m_n$ qui apparaissent dans la décomposition $MN = {T_{m_1}} ... {T_{m_n}}$) à une matrice de la forme ${T_{k}}M'$, $k \geq 1$, $M' \in \Gamma$ symétrique. L’énoncé du théorème \[MN2\] n’est donc pas plus général que celui du théorème \[MN\].

Toute la suite du chapitre est consacrée à la preuve du théorème \[MN2\], qui est équivalent au théorème \[MN\].

Soient $M$ et $N$ deux matrices de $\Gamma$, avec ${\operatorname{Det}}(M) = -1$ (on peut toujours se ramener à ce cas, quitte à tout transposer). Pour tout entier $k$, posons $$H_k := H_k(M,N) = MS_0+(MN)^{2k},$$ où $S_0 = \left(
    \begin{array}{cc}
    0 &-1\\
    1 &0
    \end{array}
    \right)$.

\[tr-sym\] Pour toute matrice symétrique $P \in M_2({\mathbb R})$, on a ${\operatorname{Tr}}(S_0P) = 0$.

On a ${\operatorname{Tr}}(S_0P) = {\operatorname{Tr}}({\, {}^t \! {(S_0P)}}) = {\operatorname{Tr}}(-PS_0) = -{\operatorname{Tr}}(S_0P)$.

\[Hk1\] Pour tout entier $k$, $H_k$ est de rang $1$.

D’après la formule (\[fm\]) (page ), on a $${\operatorname{Det}}(H_k) = {\operatorname{Det}}(MS_0) + {\operatorname{Det}}((MN)^{2k}) + {\operatorname{Tr}}(MS_0((MN)^{2k})^{\dagger}),$$ et ici on a $((MN)^{2k})^{\dagger} = (MN)^{-2k}$ puisque $\det(MN) = \pm1$.\
Or on a d’une part ${\operatorname{Tr}}(MS_0(MN)^{-2k}) = {\operatorname{Tr}}(S_0(MN)^{-2k}M) = 0$ puisque $(MN)^{-2k}M$ est symétrique, et d’autre part ${\operatorname{Det}}(MS_0) = -1$ puisque ${\operatorname{Det}}(M) = -1$. Et comme on a de plus ${\operatorname{Det}}((MN)^{2k}) = 1$, le déterminant de la matrice $H_k$ est finalement nul. La non nullité de $H_k$ est claire, puisque la matrice $-S_0$ n’est ni dans $\Gamma$ ni dans $\Gamma^{-1}$.

\[Sdet\] Pour toute matrice $C \in M_2({\mathbb R})$, on a $CS_0{\, {}^t \! {C}} = {\operatorname{Det}}(C)S_0$.

Vérification facile.

\[Hk3\] Pour k assez grand, la matrice $H_k$ s’écrit $$H_k = F {T_{i}} \left(
        \begin{array}{cc}
        0 &0\\
        0 &e
        \end{array}
        \right) {T_{j}} G$$ où $i$ et $j$ sont des entiers supérieurs ou égaux à 2, $F$ et $G$ sont des matrices de $\Gamma$ et $e$ est un entier supérieur ou égal à $1$.

Quitte à prendre $k$ supérieur ou égal à 3, la matrice $N(MN)^{2k-1}$ a tous ses coefficients supérieurs ou égaux à $3$ (le quatrième nombre de Fibonacci) qui est strictement supérieur à $1$. Et donc si l’on pose $\left(
        \begin{array}{cc}
        a &b\\
        c &d
        \end{array}
        \right) = N(MN)^{2k-1}$, alors on a les inégalités strictes $0 < a < b < d$ et $a < c < d$. Les mêmes inégalités mais larges sont alors satisfaites pour la matrice $S_0 + N(MN)^{2k-1}$, et elles le sont donc encore pour la matrice $H_k = M(S_0 + N(MN)^{2k-1})$\
(i.e. si $\left(
        \begin{array}{cc}
        a' &b'\\
        c' &d'
        \end{array}
        \right) = H_k$, alors on a $0 \leq a' \leq b' \leq d'$ et $a' \leq c' \leq d'$).\
D’après la proposition \[H-&gt;Gamma\], la matrice $H_k$ s’écrit alors $H_k = P \left(
        \begin{array}{cc}
        0 &0\\
        0 &e
        \end{array}
        \right) Q$ pour des matrices $P, Q$ dans $\Gamma$ et un entier $e \geq 1$. On a ensuite $$H_{k+2} = M(S_0 + N(MN)^{2k+3}) = MNMNM(S_0 + N(MN)^{2k-1})MNMN$$ ce qui donne $H_{k+2} = MNMNH_kMNMN$. Les relations données dans la proposition \[H-&gt;Gamma\] permettent alors d’obtenir $H_{k+2}$ de la forme annoncée (c’est-à-dire avec $i \geq 2$ et $j \geq 2$), puisque $MNMN \in \Gamma\backslash \{ I_2, {T_{1}} \}$.

On fixe $k$ assez grand et $F,G, i, j$ et $e$ pour avoir $H_k = F {T_{i}} \left(
    \begin{array}{cc}
    0 &0\\
    0 &e
    \end{array}
    \right) {T_{j}} G$ comme dans le lemme \[Hk3\]. Introduisons les matrices suivantes $$B = \left\{
              \begin{array}{ll}
                {\, {}^t \! {G}}{T_{(j-1, 1, e-1, j)}}G & \quad \mathrm{si}\quad {\operatorname{Det}}(G) = 1 \\
                                {\, {}^t \! {G}}{T_{(j, e-1, 1, j-1)}}G & \quad \mathrm{si}\quad {\operatorname{Det}}(G) = -1 \\
                              \end{array}
            \right.$$ $$C = \left\{
              \begin{array}{ll}
                F{T_{(i-1, 1, e-1, i)}}{\, {}^t \! {F}} & \quad \mathrm{si}\quad {\operatorname{Det}}(F) = 1 \\
                                F{T_{(i, e-1, 1, i-1)}}{\, {}^t \! {F}} & \quad \mathrm{si}\quad {\operatorname{Det}}(F) = -1 \\
                              \end{array}
            \right.$$

1.  Les matrices $B$ et $C$ sont dans $\Gamma$.

2.  Chaque matrice $B$ et $C$ s’écrit sous la forme $N - S_0$, où $N$ est une matrice symétrique de rang 1.

<!-- -->

1.  Si $e > 1$, les matrices $B$ et $C$ sont clairement dans $\Gamma$, et si $e = 1$, l’égalité ${T_{(a, 0, b)}} = {T_{a+b}}$, pour des entiers $a$ et $b$, montre que $B$ et $C$ sont encore dans $\Gamma$.

2.  Pour $k \geq 1$, la matrice ${T_{(k-1, 1, e-1, k)}} = \left(
                \begin{array}{cc}
                e &ek+1\\
                ek-1 &ek^2
                \end{array}
                \right)$ s’écrit sous la forme $N - S_0$ avec $N$ symétrique de rang 1. On a donc, pour une matrice $K$ de $\Gamma$, ${\, {}^t \! {K}}{T_{(k-1, 1, e-1, k)}}K = {\, {}^t \! {K}}NK - {\operatorname{Det}}(K)S_0$ d’après le lemme \[Sdet\], et la matrice ${\, {}^t \! {K}}NK$ est encore symétrique de rang 1. On obtient donc bien le résultat.

\[ltrH\] Pour toute matrice $A \in M_2({\mathbb R})$, on a les deux égalités $${\operatorname{Tr}}(BAC{\, {}^t \!\! A}) = ({\operatorname{Tr}}(H_kA))^2 - 2{\operatorname{Det}}(A),$$ $${\operatorname{discr}}(BAC{\, {}^t \!\! A}) = ({\operatorname{Tr}}(H_kA))^2(({\operatorname{Tr}}(H_kA))^2 - 4{\operatorname{Det}}(A)).$$

On peut écrire $B$ et $C$ sous la forme : $B = b_0{\, {}^t \! {b_0}} - S_0$ et $C = c_0{\, {}^t \! {c_0}} - S_0$ pour des vecteurs $b_0, c_0 \in M_{2,1}({\mathbb R})$ définis par $b_0 = {\, {}^t \! {G}}\left(
            \begin{array}{ll}
                \sqrt{e} \\
                j\sqrt{e}
            \end{array}
            \right)$ et $c_0 = F\left(
            \begin{array}{ll}
                \sqrt{e} \\
                i\sqrt{e}
            \end{array}
            \right)$. On a alors ${\operatorname{Tr}}(BAC{\, {}^t \!\! A}) = {\operatorname{Tr}}(b_0{\, {}^t \! {b_0}}Ac_0{\, {}^t \! {c_0}}{\, {}^t \!\! A}) + {\operatorname{Tr}}(S_0AS_0{\, {}^t \!\! A})$ (les deux termes ${\operatorname{Tr}}(S_0Ac_0{\, {}^t \! {c_0}}{\, {}^t \!\! A})$ et ${\operatorname{Tr}}(b_0{\, {}^t \! {b_0}}AS_0{\, {}^t \!\! A})$ sont nuls puisque les matrices $Ac_0{\, {}^t \! {c_0}}{\, {}^t \!\! A}$ et ${\, {}^t \!\! A}b_0{\, {}^t \! {b_0}}A$ sont symétriques). On a ensuite\
${\operatorname{Tr}}(b_0{\, {}^t \! {b_0}}Ac_0{\, {}^t \! {c_0}}{\, {}^t \!\! A}) = ({\, {}^t \! {b_0}}Ac_0)^2 = {\operatorname{Tr}}(c_0{\, {}^t \! {b_0}}A)^2$, et ${\operatorname{Tr}}(S_0AS_0{\, {}^t \!\! A}) = -2{\operatorname{Det}}(A)$. On vérifie que l’on a $c_0{\, {}^t \! {b_0}} = H_k$, et on a alors obtenue la première égalité.

La deuxième égalité s’en déduit alors facilement : $$\begin{aligned}
                {\operatorname{discr}}(BAC{\, {}^t \!\! A}) &= {\operatorname{Tr}}^2(BAC{\, {}^t \!\! A}) - 4{\operatorname{Det}}(BAC{\, {}^t \!\! A}) \\
                                    &= {\operatorname{Tr}}^4(H_kA) - 4{\operatorname{Tr}}^2(H_kA){\operatorname{Det}}(A) + (4 - 4) {\operatorname{Det}}^2(A) \\                                     &={\operatorname{Tr}}^2(H_kA)( {\operatorname{Tr}}^2(H_kA) - 4{\operatorname{Det}}(A) ) \\
            \end{aligned}$$

\[Hk2\] Pour tous entiers $n$ et $k$, on a ${\operatorname{Tr}}(H_k(MN)^n) = {\operatorname{Tr}}((MN)^{n+2k})$.

On a ${\operatorname{Tr}}(H_k(MN)^n) = {\operatorname{Tr}}(MS_0(MN)^n) + {\operatorname{Tr}}((MN)^{n+2k})$. Or, ${\operatorname{Tr}}(MS_0(MN)^n) = {\operatorname{Tr}}(S_0(MN)^nM) = 0$, parce que $(MN)^nM$ est symétrique.

Terminons maintenant la preuve du théorème \[MN2\]. On a $$\begin{aligned}
            {\operatorname{discr}}(B(MN)^nC(NM)^n) &= {\operatorname{Tr}}^2(H_k(MN)^n)({\operatorname{Tr}}^2(H_k(MN)^n) - 4{\operatorname{Det}}(MN)^n) \\
                                &={\operatorname{Tr}}^2((MN)^{n+2k})( {\operatorname{Tr}}^2((MN)^{n+2k}) - 4{\operatorname{Det}}(MN)^{n}) \\                                 &={\operatorname{Tr}}^2((MN)^{n+2k}){\operatorname{discr}}((MN)^{n+2k}) \\
        \end{aligned}$$ On vérifie que les matrices $B$ et $C$ sont bien dans $\Gamma_{2q+1}$ (voir sections \[suites2\] et \[exs\] pour plus de détails), et en explicitant les suites obtenues, on vérifie qu’elles sont non triviales (voir section \[exs\]). Ceci termine la preuve du théorème \[MN2\].

Fractions continues de la forme $[ \overline{ {\textsf{B}}{\textsf{A}}^n } ]$ {#suites1}
=============================================================================

Dans cette partie, nous expliquons pourquoi la construction précédente ne pouvait pas aboutir avec des suites de fractions continues de la forme $$[ \overline{ b_1, b_2, ... , b_k (a_1, a_2, ..., a_l)^n } ].$$ Nous montrons qu’il n’existe pas de suite non constante de fractions continues périodiques de la forme $ [ \overline{ {\textsf{B}}{\textsf{A}}^n } ] $ dans un corps quadratique donné, ce qui se formule matriciellement de la façon suivante :

\[prop-suites1\] Soit ${\mathbb Q}[\sqrt{\delta}]$ un corps quadratique réel, et soient $A$ et $B$ des matrices de $\Gamma$. Si pour tout $n$, le corps de $BA^n$ est ${\mathbb Q}[\sqrt{\delta}]$, alors la suite $BA^n$ est triviale (au sens de la définition \[def-triv\]).

On obtient même que les matrices $BA^n$ correspondent toutes à la même fraction continue périodique, puisque l’on va montrer qu’il existe une matrice $D \in M_2({\mathbb R})$ telle que pour tout $n$, $BA^n$ est une puissance de $D$.

Pour démontrer cette proposition, nous aurons besoin de quelques lemmes :\
Le lemme suivant permet de ramener le fait qu’une matrice soit dans un corps donné à une égalité de traces.

\[pell\] Soit $\delta$ entier non carré. Alors il existe une matrice $U$ dans $GL_{2}({\mathbb Z})$ telle que les solutions positives $x$ à l’équation de Pell-Fermat : $x^2 - \delta y^2 = \pm4$ sont exactement les ${\operatorname{Tr}}(U^n), n \in {\mathbb Z}$.

Ecrivons $\delta = k^2\delta'$ où $\delta'$ est sans facteur carré.

Supposons d’abord que $k=1$. Montrons que dans ce cas les solutions $x$ à l’équation de Pell-Fermat $x^2 - \delta y^2 = \pm4$ sont exactement les traces des unités (c’est-à-dire des entiers de norme $\pm1$) du corps ${\mathbb Q}[\sqrt{\delta'}]$.

Pour un réel quadratique $z = x' + y' \sqrt{\delta'}$, la trace vaut ${\operatorname{Tr}}(z) = 2x'$ et la norme vaut ${\operatorname{N}}(z) = {x'}^2 - \delta' {y'}^2$. On a donc $${\operatorname{Tr}}^2(z) - \delta' (2y')^2 = 4{\operatorname{N}}(z),$$ et donc la trace est solution $x$ de l’équation $x^2 - \delta' y^2 = \pm4$ si et seulement si $N(z) = \pm1$. On vérifie que si $N(z) = \pm1$, alors $z$ est un entier de ${\mathbb Q}[\sqrt{\delta'}]$ si et seulement si ${\operatorname{Tr}}(z)$ et $2y'$ sont des entiers, sachant que l’anneau des entiers est ${\mathbb Z}[\frac{\sqrt{\delta'}+1}{2}]$ si $\delta' \equiv 1$ (mod $4$) et est ${\mathbb Z}[\sqrt{\delta'}]$ si $\delta' \not\equiv 1$ (mod $4$). Ainsi, on obtient bien que les parties $x$ des solutions $(x,y)$ entières sont exactement les traces des unités. Or, le théorème des unités de Dirichlet nous donne l’existence d’une unité fondamentale $u \in O_{\delta'}^*$ dont les puissances engendrent, au signe près, le groupe des unités.

Soit $U$ la matrice de la multiplication par $u$ dans la base $\{1, u\}$. Alors $U \in GL_{2}({\mathbb Z})$, puisque $u$ est dans l’anneau d’entiers et son inverse aussi, et on a pour tout $n$, ${\operatorname{Tr}}(u^{n}) = {\operatorname{Tr}}(U^{n})$, d’où le résultat.

Si maintenant on ne fait plus d’hypothèse sur $k$, on remarque qu’un couple $(x,y)$ est solution de l’équation $x^2 - \delta y^2 = \pm 4$ si et seulement si $(x, ky)$ est solution de $x^2 - \delta' y^2 = \pm 4$ avec $x$ et $y$ entiers. Or, l’ensemble des unités $z = x' + y' \sqrt{\delta'}$ telles que $2y'$ est divisible par $k$ est un sous-groupe du groupe des unités. Donc il existe une certaine puissance de la matrice $U$ obtenue précédemment qui convient.

Le lemme suivant permettra de montrer (entre autres) que si les corps des matrices $BA^n$ sont tous les mêmes, alors la matrice $A$ a aussi le même corps.

\[infini-toujours\] Soit $n_0 \in {\mathbb Z}$, soient $A, B, C$ trois matrices de $M_2({\mathbb R})$, avec $A$ et $C$ ayant chacune des valeurs propres distinctes en module, et avec $C$ inversible, et soient $a$ et $b$ deux entiers. Si l’égalité ${\operatorname{Tr}}(BA^n) = {\operatorname{Tr}}(C^{an+b})$ est vraie pour tout $n \geq n_0$, alors les matrices $A$ et $C^a$ ont mêmes valeurs propres, et l’égalité a lieu pour tout $n \in {\mathbb Z}$.

Si l’on appelle $\lambda$ et $\overline{\lambda}$ les valeurs propres de $A$, avec ${|\overline{\lambda}|} < {|\lambda|}$, et $\mu$ et $\overline{\mu}$ les valeurs propres de $C$, avec ${|\overline{\mu}|} < {|\mu|}$, l’égalité des traces se réécrit : $ \alpha \lambda^n + \beta \overline{\lambda}^n = \mu^{an+b} + \overline{\mu}^{an+b} $ pour certains réels $\alpha$ et $\beta$ et pour tout entier $n \geq n_0$.

Regardons les termes dominants de part et d’autre. Si on avait $\alpha = 0$, on aurait $\overline{\lambda} = \mu^a$ et $\beta = \mu^b$, puis $\overline{\mu} = 0$, ce qui contredit l’inversibilité de $C$. On a donc $\alpha \neq 0$. On obtient donc $\lambda = \mu^a$ et $\alpha = \mu^b$, puis on obtient $\overline{\lambda} = \overline{\mu}^a$ et $\beta = \overline{\mu}^b$. Donc $A$ et $C$ ont mêmes valeurs propres et l’égalité a lieu pour tout $n \in {\mathbb Z}$.

D’après le lemme qui suit, les matrices $BA^n$ ont toutes pour corps ${\mathbb Q}[\sqrt{\delta}]$ dès qu’il existe deux entiers $i$ et $j$ tels que les matrices $BA^i$ et $BA^j$ ont pour corps ${\mathbb Q}[\sqrt{\delta}]$.

\[2-toujours\] Soient $A$ et $C$ des matrices positives ayant mêmes valeurs propres, et $B$ et $D$ des matrices de $M_2({\mathbb R})$ quelconques. Si la relation ${\operatorname{Tr}}(BA^n) = {\operatorname{Tr}}(DC^n)$ est vraie pour deux valeurs de $n$, alors elle est vraie pour tout $n \in {\mathbb Z}$.

Soient $\lambda$ et $\overline{\lambda}$ les deux valeurs propres distinctes de $A$ (et donc aussi de $C$). La relation ${\operatorname{Tr}}(BA^n) = {\operatorname{Tr}}(DC^n)$ se réécrit $\alpha \lambda^n + \beta \overline{\lambda}^n = 0$ pour des réels $\alpha$ et $\beta$ indépendants de $n$, puisque les coefficients de chacune des deux matrices $BA^n$ et $DC^n$ sont des combinaisons linéaires en $\lambda^n$ et $\overline{\lambda}^n$. Si la relation est vraie pour deux valeurs de $n$, on obtient alors un système de Cramer, donc $\alpha = \beta = 0$.

La suite de ce chapitre est consacrée à la preuve de la proposition \[prop-suites1\].

Supposons que l’on ait une suite de matrices $BA^n$ ayant toutes pour corps ${\mathbb Q}[\sqrt{\delta}]$, où $A$ et $B$ sont deux matrices positives et $\delta$ est un entier sans facteur carré. Il existe alors un entier $\alpha_n$ tel que le discriminant ${\operatorname{discr}}(BA^n) = {\operatorname{Tr}}(BA^n)^2 - 4{\operatorname{Det}}(BA^n)$ soit égal à $\delta \alpha_n^2$. Et donc ${\operatorname{Tr}}(BA^n)$ est solution $x$ de l’équation de Pell-Fermat $x^2 - \delta y^2 = 4{\operatorname{Det}}(BA^n)$. D’après le lemme  \[pell\], il existe donc une matrice $U \in GL_{2}({\mathbb Z})$ (indépendante de $n$) telle que pour tout $n$, il existe un entier $i_n$ tel que ${\operatorname{Tr}}(BA^n) = {\operatorname{Tr}}(U^{i_n})$, et on a alors aussi ${\operatorname{Det}}(BA^n) = {\operatorname{Det}}(U^{i_n})$ à partir d’un certain rang. On peut alors utiliser le lemme suivant :

\[arithm\] Soient $U$ une matrice de $GL_2({\mathbb Z})$ ayant des valeurs propres distinctes en module, $B \in M_2({\mathbb R})$ une matrice, et $A$ une matrice positive. Si $(i_n)$ est une suite d’entiers telles que pour tout $n$, ${\operatorname{Tr}}(BA^n) = {\operatorname{Tr}}(U^{i_n}) \neq 0$, alors, la suite $(i_n)$ est arithmétique.

Si l’on appelle $\lambda$ et $\mu$ les deux valeurs propres de la matrice positive $A$ (avec $\lambda > 1$ et ${|\mu|} < 1$), alors la trace de $BA^n$ s’écrit $ e\lambda^n + f\mu^n$ pour certains réels $e$ et $f$ indépendants de $n$, et on a ${\operatorname{Tr}}(U^{i_n}) = \alpha^{i_n} + \beta^{i_n}$, où $\alpha$ et $\beta$ sont les deux valeurs propres de la matrice $U$ (avec $\alpha$ la plus grande valeur propre de $U$ en module). En divisant par $\alpha^{i_n}$ de part et d’autre de l’égalité $e\lambda^n + f\mu^n = \alpha^{i_n} + \beta^{i_n}$, on obtient $\lim_{n \rightarrow \infty}{\cfrac{e\lambda^n}{\alpha^{i_n}}} = 1$. En prenant le $\log$, on obtient alors que $\lim_{n \rightarrow \infty}{i_n\ \log(\alpha) - n\ \log(\lambda) - \log(e)} = 0$. On a donc $i_n = an + b + \epsilon_n$, où $\lim_{n \rightarrow \infty}{\epsilon_n} = 0$, $a = \cfrac{\ \log(\lambda)}{\ \log(\alpha)}$ et $b = \cfrac{\ \log(e)}{\ \log(\alpha)}$. Et comme $i_n$ est entier, on a finalement $i_n = an + b$ à partir d’un certain rang. D’après le lemme  \[infini-toujours\], cela est alors vrai pour tout $n$, ce qui termine la preuve du lemme.

Dans ce dernier lemme $a$ et $b$ sont des entiers, puisque $i_0$ et $i_1$ sont entiers, et le lemme  \[infini-toujours\] donne que les matrices $A$ et $U^a$ ont mêmes valeurs propres. On obtient donc les égalités ${\operatorname{Tr}}(BA^n) = {\operatorname{Tr}}(U^{an+b})$ et ${\operatorname{Det}}(BA^n) = {\operatorname{Det}}(U^{an+b})$ pour tout $n$. L’égalité des traces nous donne que dans une base dans laquelle $A$ est diagonale, la matrice $B$ est de la forme $\left(
    \begin{array}{cc}
        \alpha^b &*\\
        * &\beta^b
    \end{array}
    \right)$ où $\alpha$ et $\beta$ sont les valeurs propres de $U$. L’égalité des déterminants ${\operatorname{Det}}(B) = {\operatorname{Det}}(U^b) = \alpha^b \beta^b$ implique alors que $B$ est trigonale dans la base de diagonalisation de A. Les matrices $A$ et $B$ sont à coefficients entiers et ont un espace propre en commun : elles sont donc simultanément diagonalisables, puisque l’on obtient le deuxième espace propre par l’élement non trivial de $Gal({\mathbb Q}[\sqrt{\delta}]/{\mathbb Q})$. Si l’on pose $D$ la matrice qui vaut $\left(
    \begin{array}{cc}
        \alpha &0\\
        0 &\beta
    \end{array}
    \right)$ dans la base de diagonalisation de $A$, on a $B = D^b$ et $A = D^a$, donc la suite $BA^n$ est triviale. Ceci termine la preuve de la proposition \[prop-suites1\].

Fractions continues de la forme $ [ \overline{ {\textsf{B}}{\textsf{A}}{\textsf{C}}{\, {}^t \! {\textsf{A}}}} ] $ {#BACtA}
=================================================================================================================

Dans ce chapitre, nous étudions les fractions continues périodiques correspondant aux matrices de la forme $BAC{\, {}^t \!\! A}$. Expérimentalement, de telles fractions continues périodiques apparaissent souvent, et nous allons tenter d’expliquer pourquoi, et en même temps généraliser et donner les réciproques de résultats qui permettent d’aboutir au théorème \[MN\].

Nous allons voir dans ce chapitre que l’on peut ramener l’étude des suites de matrices de la forme $BA^nC{\, {}^t \!\! A}^n$ (qui est faite dans le chapitre \[suites2\]) à l’étude de suites de la forme $HA^n$ pour certaines matrices $H$ non inversibles. On se ramène donc à des suites d’une forme semblable à celles qui ont étudiées dans le chapitre précédent.

\[lB+tB\] Soit $B$ une matrice de $GL_2({\mathbb Z})$. On a équivalence entre les deux points suivants :

1.  $B+{\, {}^t \! {B}}$ est de rang 1,

2.  Il existe une matrice $N$ symétrique de rang 1 telle que $B = N \pm S_0$,

où $S_0$ est la matrice définie dans le chapitre \[preuve\].\
De plus, si l’un de ces points est satisfait, alors on a ${\operatorname{Det}}(B) = 1$.

Si $B = \left(
    \begin{array}{cc}
    a &b\\
    c &d
    \end{array}
    \right)$, on a l’égalité $$0 = {\operatorname{Det}}(B+{\, {}^t \! {B}}) = 4ad-(b+c)^2 = 4{\operatorname{Det}}(B) - (b-c)^2.$$ Donc on obtient ${\operatorname{Det}}(B) = 1$ et $b-c = \pm 2$. Quitte à la transposer, la matrice $B$ peut donc s’écrire $B = \left(
    \begin{array}{cc}
    a &b'-1\\
    b'+1 &d
    \end{array}
    \right)$, avec $ad = b'^2$.

Clair.

La proposition qui suit généralise le lemme \[ltrH\].

\[FQ\] Soient $B$ et $C$ deux matrices de $GL_2({\mathbb Z})$. On a l’équivalence :

1.  Il existe une matrice $H \in {\mathbb M}_2({\mathbb R})$ de rang 1 et un réel $\lambda$ tels que pour toute matrice $A \in M_2({\mathbb R})$ on ait : ${\operatorname{Tr}}(BAC{\, {}^t \!\! A}) = {\operatorname{Tr}}^2(HA) + \lambda {\operatorname{Det}}(A)$.

2.  Les matrices $B+{\, {}^t \! {B}}$ et $C+{\, {}^t \! {C}}$ sont de rang $1$.

De plus, si l’un des points est satisfait, alors on a nécessairement $\lambda = \pm 2$, et on a l’égalité suivante pour toute matrice $A \in M_2({\mathbb R})$ : $${\operatorname{discr}}(BAC{\, {}^t \! {A}}) = {\operatorname{Tr}}^2(HA)({\operatorname{Tr}}^2(HA) \pm 4{\operatorname{Det}}(A)).$$

Tous les exemples connus de suites de fractions continues périodiques qui restent dans un corps quadratique donné ( voir par exemple [@mcmullen], [@wilson] et le chapitre \[exs\] ci-après ), correspondent à des suites de matrices de la forme $BA^nC{\, {}^t \!\! A}^n$ avec $B+{\, {}^t \! {B}}$ et $C+{\, {}^t \! {C}}$ de rang $1$. Nous ignorons si cela est toujours vrai.

L’expression du discriminant ${\operatorname{discr}}(BAC{\, {}^t \! {A}})$ donnée par la proposition \[FQ\], donne une factorisation par un carré. Cela est favorable à ce que le corps quadratique de la matrice $BAC{\, {}^t \!\! A}$ soit petit et explique donc un peu pourquoi l’on observe un certain nombre de fractions continues périodiques de cette forme.

Ecrivons les matrices $B$ et $C$ sous la forme : $B = B_0 + \beta S_0$ et $C = C_0 + \gamma S_0$, où $B_0$ et $C_0$ sont deux matrices symétriques de $M_2({\mathbb R})$, $\beta$ et $\gamma$ sont deux réels et $S_0$ est la matrice $\left( \begin{array}{cc} 0 & -1 \\ 1 & 0 \end{array} \right)$. On a alors ${\operatorname{Tr}}(S_0AC_0{\, {}^t \! {A}}) = {\operatorname{Tr}}(B_0AS_0{\, {}^t \! {A}}) = 0$ puisque les matrices $AC_0{\, {}^t \! {A}}$ et ${\, {}^t \! {A}}B_0A$ sont symétriques, et on a ${\operatorname{Tr}}(S_0AS_0{\, {}^t \! {A}}) = -2{\operatorname{Det}}(A)$. On obtient donc l’égalité ${\operatorname{Tr}}(BAC{\, {}^t \! {A}}) = {\operatorname{Tr}}(B_0AC_0{\, {}^t \! {A}}) - 2\beta\gamma {\operatorname{Det}}(A)$. On souhaite maintenant montrer que les matrices $B_0$ et $C_0$ sont chacune de rang 1. En évaluant la forme quadratique $A \mapsto {\operatorname{Tr}}(BAC{\, {}^t \! {A}})$ en $A = \left( \begin{array}{cc} x & y \\ 0 & 0 \end{array} \right)$, en $A = \left( \begin{array}{cc} 0 & 0 \\ x & y \end{array} \right)$, et en les transposées, on obtient à chaque fois des formes quadratiques en $x$ et $y$ qui doivent être des carrés, et qui ont à chaque fois pour matrice un multiple de $B_0$ ou de $C_0$. Ceci nous donne que les matrices $B_0$ et $C_0$ sont chacune des matrices de formes quadratiques carrées. Et ni la matrice $B_0$ ni la matrice $C_0$ ne peuvent être nulles puisque la matrice $H$ est non nulle. Donc les matrices $B_0$ et $C_0$ sont de rang $1$.

Si des matrices $B$ et $C$ de $GL_2({\mathbb Z})$ sont telles que $B+{\, {}^t \! {B}}$ et $C+{\, {}^t \! {C}}$ sont de rang $1$, d’après le lemme \[lB+tB\] on peut les écrire sous la forme $B = b_0{\, {}^t \! {b_0}} \pm S_0$ et $C = c_0{\, {}^t \! {c_0}} \pm S_0$ pour des vecteurs $b_0$ et $c_0$ de $M_{2,1}({\mathbb R})$. On a alors ${\operatorname{Tr}}(BAC{\, {}^t \!\! A}) = {\operatorname{Tr}}(b_0{\, {}^t \! {b_0}}Ac_0{\, {}^t \! {c_0}}{\, {}^t \!\! A}) \pm {\operatorname{Tr}}(S_0AS_0{\, {}^t \!\! A})$, puisque les deux termes ${\operatorname{Tr}}(S_0Ac_0{\, {}^t \! {c_0}}{\, {}^t \!\! A})$ et ${\operatorname{Tr}}(b_0{\, {}^t \! {b_0}}AS_0{\, {}^t \!\! A})$ sont nuls, étant donné que les matrices $Ac_0{\, {}^t \! {c_0}}{\, {}^t \!\! A}$ et ${\, {}^t \!\! A}b_0{\, {}^t \! {b_0}}A$ sont symétriques. On a ensuite ${\operatorname{Tr}}(b_0{\, {}^t \! {b_0}}Ac_0{\, {}^t \! {c_0}}{\, {}^t \!\! A}) = ({\, {}^t \! {b_0}}Ac_0)^2 = {\operatorname{Tr}}(c_0{\, {}^t \! {b_0}}A)^2$, et ${\operatorname{Tr}}(S_0AS_0{\, {}^t \!\! A}) = -2{\operatorname{Det}}(A)$, d’où le résultat avec $H := c_0{\, {}^t \! {b_0}}$.\
L’expression du discriminant annoncée se déduit facilement du point 1. : $$\begin{aligned}
        {\operatorname{discr}}(BAC{\, {}^t \!\! A}) &= {\operatorname{Tr}}^2(BAC{\, {}^t \!\! A}) - 4{\operatorname{Det}}(BAC{\, {}^t \!\! A}) \\
                            &= {\operatorname{Tr}}^4(HA) \pm 4{\operatorname{Tr}}^2(HA){\operatorname{Det}}(A) + 4 - 4{\operatorname{Det}}(BC) \\                             &={\operatorname{Tr}}^2(HA)( {\operatorname{Tr}}^2(HA) \pm 4{\operatorname{Det}}(A) ).
    \end{aligned}$$

\[rqFQ\] Dans la proposition \[FQ\], si $B$ est de la forme $b_0{\, {}^t \! {b_0}} + \epsilon_B S_0$ et $C$ est de la forme $c_0{\, {}^t \! {c_0}}+\epsilon_C S_0$ pour des vecteurs $b_0$ et $c_0$ de $M_{2,1}({\mathbb R})$ et des signes $\epsilon_B$ et $\epsilon_C$ de $\{ -1, 1 \}$, alors $\lambda$ vaut $-2\epsilon_B\epsilon_C$ et $H$ vaut (au signe près) $c_0{\, {}^t \! {b_0}}$ et ce sont les seules solutions.

La proposition suivante permet de déterminer toutes les matrices $B \in \Gamma$ telles que $B+{\, {}^t \! {B}}$ est de rang 1.

\[B+tB\] Soit $B \in \Gamma$. On a l’équivalence :

1.  $B+{\, {}^t \! {B}}$ est de rang 1,

2.  Il existe des entiers $k \geq 1$ et $n \geq 2$, et une matrice $F$ de $\Gamma$ tels que $B$ ou ${\, {}^t \! {B}}$ vaut $F{T_{(n-1, 1, k-1, n)}}{\, {}^t \! {F}}$.

La transposée d’une matrice positive est positive, et on a ${T_{(n, 1, 0, n+1)}} = {T_{(n, n+2)}}$, donc le deuxième point de la proposition \[B+tB\] entraîne automatiquement que $B$ est une matrice positive.

Vérification facile sachant que l’on a $${T_{(n-1, 1, k-1, n)}} = \left(
    \begin{array}{cc}
    k &kn+1\\
    kn-1 &kn^2
    \end{array}
    \right).$$

Quitte à transposer la matrice $B$, on peut l’écrire sous la forme : $\left(
    \begin{array}{ccc}
    a & b+1\\
    b-1 & c
    \end{array}
    \right)$ avec $ac = b^2$. On peut alors écrire les entiers $a$ et $c$ sous la forme : $a = zx^2$ et $c = z'y^2$ avec $z$ et $z'$ sans facteurs carrés. La condition $ac = b^2$ entraîne alors que $z = z'$ et $b = \pm xyz$. Comme la matrice $B$ est dans $\Gamma$, on peut donc écrire $$B = \left(
    \begin{array}{ccc}
    zx^2 &xyz+1\\
    xyz-1 &zy^2
    \end{array}
    \right), \quad \text{avec} \quad x,y,z \geq 1.$$ On peut supposer que la première matrice ${T_{i}}$ et la dernière matrice ${T_{j}}$ qui apparaissent dans la décomposition de $B$ en produit de matrices ${T_{k}}$, $k \geq 1$, sont distinctes. En effet, ni l’identité $I_2$ ni les matrices ${T_{i}}$, $i \geq 1$ ne sont de la forme $N \pm S_0$, avec $N$ matrice symétrique de rang 1.\
On a ensuite $i = {\left\lfloor  \cfrac{xyz-1}{zx^2}  \right\rfloor}$ et $j = {\left\lfloor  \cfrac{xyz+1}{zx^2}  \right\rfloor}$, puisque ${\operatorname{Det}}(B) = 1 > 0$ et $zx^2 > 0$. De plus, on a $i < j$ puisque l’on a $i \neq j$. Et on a les inégalités : $$izx^2 \leq xyz-1 < (i+1)zx^2,$$ $$jzx^2 \leq xyz+1 < (j+1)zx^2.$$ Donc en particulier on a $(j-i-1)zx^2 < 2$. On obtient alors deux cas : *Premier cas* : $x = z = 1$\
On a alors $B = \left(
    \begin{array}{ccc}
    1 &y+1\\
    y-1 &y^2
    \end{array}
    \right) = {T_{(y-1, y+1)}} = {T_{(y-1, 1, 0, y)}}$.

*Deuxième cas* : $xz \geq 2$ et j = i+1\
On a $y - \cfrac{1}{xz} < jx \leq y+ \cfrac{1}{xz}$, avec $xz \geq 2$ et comme $y$ et $jx$ sont des entiers, ceci entraîne que $y = jx$. Et donc finalement $$B = \left(
        \begin{array}{ccc}
            zx^2 &jzx^2+1\\
            jzx^2-1 &zj^2x^2
        \end{array}
        \right) \\
         =  {T_{(j-1, 1, zx^2-1, j)}}.$$

Le corollaire qui suit nous permet de connaître la matrice $H$ qui apparaît dans l’écriture ${\operatorname{Tr}}(BAC{\, {}^t \!\! A}) = {\operatorname{Tr}}^2(HA) \pm 2{\operatorname{Det}}(A)$ pour toute matrice $A \in M_2({\mathbb R})$, en fonction des décompositions des matrices positives $B$ et $C$ comme produits de matrices ${T_{k}}$, données par la proposition précédente.

Etant fixée une matrice $A$ positive de corps ${\mathbb Q}[\sqrt{\delta}]$, cela nous permet de ramener la recherche de matrices $B$ et $C$ telles que les rangs de $B+{\, {}^t \! {B}}$ et de $C+{\, {}^t \! {C}}$ sont 1, et telles que les corps des matrices $BA^nC{\, {}^t \!\! A}^n$ sont tous les mêmes, à la recherche des matrices $H$ de rang 1 telles que ${\operatorname{Tr}}^2(HA)({\operatorname{Tr}}^2(HA) \pm 4{\operatorname{Det}}(A))$ ( c’est-à-dire le discriminant de $BAC{\, {}^t \!\! A}$ ) soit de la forme $\delta\alpha^2$ pour $\alpha$ entier.

\[H\] Si l’on a $$\begin{array}{ccl}
                        B & = & M{T_{(m-1, 1, k-1, m)}} {\, {}^t \! {M}}, \\
        C & = & N{T_{(n-1, 1, l-1, n)}} {\, {}^t \! {N}},
    \end{array}$$ pour $n,m \geq 1$, $k,l \geq 0$ et $M, N \in GL_2({\mathbb Z})$, alors la matrice $H \in M_2({\mathbb R})$ telle que ${\operatorname{Tr}}(BAC{\, {}^t \!\! A}) = ({\operatorname{Tr}}(HA))^2 \pm 2{\operatorname{Det}}(A)$ pour toute matrice $A \in M_2({\mathbb R})$, s’écrit : $$H = N{T_{n}} \left(
    \begin{array}{cc}
    0 &0\\
    0 &\sqrt{kl}
    \end{array}
    \right) {T_{m}}{\, {}^t \! {M}}.$$

On peut se ramener à $M = N = I_2$, puisque si et , alors ${\operatorname{Tr}}(BAC{\, {}^t \!\! A}) = {\operatorname{Tr}}(B'({\, {}^t \! {M}}AN)C'{\, {}^t \! {({\, {}^t \! {M}}AN)}})$, et $A \mapsto {\, {}^t \! {M}}AN$ décrit $M_2({\mathbb R})$ quand $A$ décrit $M_2({\mathbb R})$ puisque $M$ et $N$ sont inversibles.\
La proposition \[FQ\] donne bien l’existence d’une matrice $H \in M_2({\mathbb R})$ telle que ${\operatorname{Tr}}(BAC{\, {}^t \!\! A}) = ({\operatorname{Tr}}(HA))^2 \pm 2{\operatorname{Det}}(A)$ pour toute matrice $A \in M_2({\mathbb R})$, et d’après la remarque \[rqFQ\] elle est uniquement déterminée au signe près, et vaut $H = \left(
    \begin{array}{cc}
    \sqrt{ae} &\sqrt{ah}\\
    \sqrt{ed} &\sqrt{hd}
    \end{array}
    \right)$ si $B = \left(
    \begin{array}{cc}
    a &*\\
    * &d
    \end{array}
    \right)$ et $C = \left(
    \begin{array}{cc}
    e &*\\
    * &h
    \end{array}
    \right)$. Or, $B$ vaut $\left(
    \begin{array}{cc}
    k & mk+1\\
    mk-1 & km^2
    \end{array}
    \right)$, et $C$ vaut $\left(
    \begin{array}{cc}
    l & nl+1\\
    nl-1 & ln^2
    \end{array}
    \right)$, d’où le résultat.

Soit $\delta$ un entier sans facteur carré, soit $A$ une matrice positive, soient $B$ et $C$ des matrices de $\Gamma$ telles que $B+{\, {}^t \! {B}}$ et $C+{\, {}^t \! {C}}$ sont de rang $1$, et soit $H$ la matrice donnée dans la proposition précédente.\
On a l’équivalence:

1.  Le corps de $BAC{\, {}^t \!\! A}$ ou de $BA{\, {}^t \! {C}}{\, {}^t \!\! A}$ est ${\mathbb Q}[\sqrt{\delta}]$.

2.  L’entier $\cfrac{1}{\sqrt{s}} {\operatorname{Tr}}(HA)$ est solution $x$ d’une équation de Pell-Fermat $s x^2 - t y^2 = \pm 4$, pour des entiers $s$ et $t$ tels que $\cfrac{1}{\sqrt{s}} H \in M_2({\mathbb Z})$ et tels que le produit $st$ soit de la forme $\delta k^2$.

En particulier, il suffit que ${\operatorname{Tr}}(HA)$ soit solution $x$ entière de l’équation $x^2 - \delta y^2 = \pm 4$ pour que le corps de $BAC{\, {}^t \!\! A}$ ou de $BA{\, {}^t \! {C}}{\, {}^t \!\! A}$ soit ${\mathbb Q}[\sqrt{\delta}]$.

Il est facile de déterminer dans ce corollaire si c’est $BAC{\, {}^t \!\! A}$ ou bien $BA{\, {}^t \! {C}}{\, {}^t \!\! A}$ dont le corps est ${\mathbb Q}[\sqrt{\delta}]$. Supposons que $B$ et $C$ s’écrivent respectivement $N_B+\epsilon_BS_0$ et $N_C+\epsilon_CS_0$ pour des matrices $N_B$ et $N_C$ symétriques de rang $1$.

-   Si l’entier $\cfrac{1}{\sqrt{s}} {\operatorname{Tr}}(HA)$ est solution $x$ de l’équation de Pell-Fermat $s x^2 - t y^2 = 4\epsilon_B\epsilon_C{\operatorname{Det}}(A)$, alors la matrice $BAC{\, {}^t \!\! A}$ a pour corps ${\mathbb Q}[\sqrt{\delta}]$.

-   Si l’entier $\cfrac{1}{\sqrt{s}} {\operatorname{Tr}}(HA)$ est solution $x$ de l’équation de Pell-Fermat $s x^2 - t y^2 = -4\epsilon_B\epsilon_C{\operatorname{Det}}(A)$, alors la matrice $BA{\, {}^t \! {C}}{\, {}^t \!\! A}$ a pour corps ${\mathbb Q}[\sqrt{\delta}]$.

Dans la suite, nous nous intéressons surtout au cas particulier où ${\operatorname{Tr}}(HA)$ est solution $x$ entière de l’équation $x^2 - \delta y^2 = \pm 4$. Le cas général est plus compliqué, car les ensembles de solutions des équations de Pell-Fermat plus générales $s x^2 - t y^2 = \pm 4$ n’ont pas une structure aussi simple que pour l’équation classique où $s=1$. On retombe quand même sur une équation de Pell-Fermat classique dans le cas où $s = \delta$ (voir les suites de type Wilson à la fin du chapitre \[suites2\]).

On a pour toute matrice $A \in M_2({\mathbb R})$, ${\operatorname{Tr}}(BAC{\, {}^t \!\! A}) = {\operatorname{Tr}}(HA)^2 \pm 4{\operatorname{Det}}(A)$, et on peut choisir le signe devant le terme $4{\operatorname{Det}}(A)$ quitte à transposer $C$. On a alors ${\operatorname{discr}}(BAC{\, {}^t \!\! A}) = {\operatorname{Tr}}^2(HA)({\operatorname{Tr}}^2(HA) \pm 4{\operatorname{Det}}(A)) = s x^2 (s x^2 \pm 4)$ où $x = \cfrac{1}{\sqrt{s}} {\operatorname{Tr}}(HA)$. Le corps de $BAC{\, {}^t \!\! A}$ est donc ${\mathbb Q}[\sqrt{\delta}]$ si et seulement si $s x^2 (s x^2 \pm 4)$ est de la forme $\delta\alpha^2$, si et seulement si $s x^2 - t \alpha^2 = \mp 4$ pour un entier $t$ tel que $st$ est de la forme $\delta k^2$.

\[maconj\] Dans tout corps quadratique réel, il existe une infinité de fractions continues périodiques de la forme $ [ \overline{ 2,1,1,1,{\textsf{A}},2,1,1,1,{\, {}^t \! {\textsf{A}}}} ] $ ou de la forme $ [ \overline{ 2,1,1,1,{\textsf{A}},1,1,1,2,{\, {}^t \! {\textsf{A}}}} ] $ formées seulement des entiers 1 et 2.

Ici, ${\textsf{A}}$ est un motif $a_1, a_2, ... a_k$, avec $a_i \in \{1,2\}$, et ${\, {}^t \! {\textsf{A}}}$ est le motif miroir.

Pour obtenir cette conjecture, il suffirait, étant donné un entier $\delta$ non carré, de trouver une infinité de matrices A dans $\Gamma_2$ telles que ${\operatorname{Tr}}(HA)$ soit solution $x$ entière d’une équation de Pell-Fermat $x^2-\delta y^2 = \pm 4$, où $H$ est la matrice $\left(
    \begin{array}{cc}
    2 &4\\
    4 &8
    \end{array}
    \right)$.

La conjecture \[conjMcMullen\] de McMullen revient à trouver, pour tout $\delta$ non carré, une infinité de matrices $A$ dans $\Gamma_2$ telles que ${\operatorname{Tr}}(A)$ est solution $x$ de l’équation de Pell-Fermat $x^2-\delta y^2 = 4{\operatorname{Det}}(A)$.

La conjecture \[maconj\] se ramène donc approximativement à la conjecture \[conjMcMullen\] dans laquelle on aurait remplacé la $trace$ par la forme linéaire $A \mapsto {\operatorname{Tr}}(HA)$.\
Il est malheureusement impossible de recommencer tel quel ce procédé qui nous a permis de passer de la trace à la forme linéaire $A \mapsto {\operatorname{Tr}}(HA)$ : Si l’on a ${\operatorname{Tr}}(HBAC {\, {}^t \!\! A}D) = (g(A))^2 + \lambda {\operatorname{Det}}(A)$ pour toute matrice $A \in M_2({\mathbb R})$, alors on a $\lambda = 0$, quelles que soient les matrices $B, C, D \in GL_2({\mathbb Z})$ et $g \in M_2({\mathbb R})^*$, et donc cela ne donne plus de factorisation du discriminant par un carré.

La conjecture \[maconj\] est presque conséquence de celle de Zaremba avec une borne $2$. Voir section \[s\_zaremba\] pour plus de détails.

Fractions continues de la forme $[ \overline{ {\textsf{B}}{\textsf{A}}^n{\textsf{C}}{\, {}^t \! {\textsf{A}}}^n } ]$ {#suites2}
====================================================================================================================

Dans ce chapitre, nous donnons une façon de construire des suites de fractions continues périodiques qui sont dans un corps quadratique donné, et qui correspondent à des suites de matrices de la forme $BA^nC{\, {}^t \!\! A}^n$ avec $B+{\, {}^t \! {B}}$ et $C+{\, {}^t \! {C}}$ de rang $1$.

Hypothèse H entière
-------------------

On supposera que $B$ et $C$ sont deux matrices de $\Gamma$ telles que $B+{\, {}^t \! {B}}$ et $C+{\, {}^t \! {C}}$ sont de rang $1$. Et on supposera que la matrice $H$ donnée par le corollaire \[H\] (pour ces matrices $B$ et $C$) est à coefficients entiers.\
La proposition suivante justifie que pour une matrice positive $A$ fixée on cherche à obtenir une relation de la forme ${\operatorname{Tr}}(HA^n) = {\operatorname{Tr}}(A^{n+k})$ pour obtenir une suite de matrices $BA^nC{\, {}^t \!\! A}^n$ qui ont toutes le même corps. Dans le cas où $A$ est une matrice donnée par le lemme \[pell\], et sous l’hypothèse $H$ entière, cela est nécessaire.

\[Hunit\] Soit ${\mathbb Q}[\sqrt{\delta}]$ un corps quadratique réel. Sous l’hypothèse $H$ entière les deux assertions suivantes sont équivalentes:

1.  Pour tout $n \in {\mathbb Z}$, le corps de $BA^nC{\, {}^t \!\! A}^n$ ou bien de $BA^n{\, {}^t \! {C}}{\, {}^t \!\! A}^n$ est ${\mathbb Q}[\sqrt{\delta}]$, \[Hunit1\]

2.  Il existe une matrice $U \in GL_2({\mathbb Z})$ de corps ${\mathbb Q}[\sqrt{\delta}]$ et deux entiers $a$ et $b$ tels que ${\operatorname{Tr}}(HA^n) = {\operatorname{Tr}}(U^{an+b})$ pour tout entier $n \in {\mathbb Z}$. \[Hunit2\]

Et le corps de $A$ est alors nécessairement ${\mathbb Q}[\sqrt{\delta}]$.

\[rqHunit\] Supposons que l’on ait $B = N_B+\epsilon_BS_0$ et $C = N_C+\epsilon_CS_0$, pour des matrices $N_B$ et $N_C$ symétriques de rang $1$, et pour des $\epsilon_B, \epsilon_C \in \{ -1, 1\}$. Si l’on a ${\operatorname{Tr}}(HA^n) = {\operatorname{Tr}}(U^{an+b})$ pour tout entier $n \in {\mathbb Z}$, comme dans la proposition \[Hunit\], alors

-   la matrice $BA^nC{\, {}^t \!\! A}^n$ a pour corps ${\mathbb Q}[\sqrt{\delta}]$ si $\epsilon_B\epsilon_C = {\operatorname{Det}}(U^b)$,

-   la matrice $BA^n{\, {}^t \! {C}}{\, {}^t \!\! A}^n$ a pour corps ${\mathbb Q}[\sqrt{\delta}]$ sinon,

pour tout entier n.

$\underline{\Longleftarrow}$ En utilisant la proposition \[FQ\], on obtient que $${\operatorname{discr}}(BA^nC{\, {}^t \!\! A}^n) = {\operatorname{Tr}}^2(HA^n)({\operatorname{Tr}}^2(HA^n) + 4 \epsilon)$$ pour un $\epsilon \in \{-1, 1\}$, et on peut choisir $\epsilon$ comme l’on veut quitte à transposer $C$.

L’entier ${\operatorname{Tr}}(U^{an+b})$ est solution $x$ d’une équation de Pell-Fermat $x^2-\delta y^2 = \pm4$. En effet, on a d’une part que le discriminant de $U^{an+b}$ est de la forme ${\operatorname{discr}}(U^{an+b}) = \delta y^2$ puisque le corps de $U$ est ${\mathbb Q}[\sqrt{\delta}]$, et on a d’autre part les égalités ${\operatorname{discr}}(U^{an+b}) = {\operatorname{Tr}}(U^{an+b})^2 - 4{\operatorname{Det}}(U^{an+b})$, et ${\operatorname{Det}}(U^{an+b}) = \pm 1$.

On obtient donc, quitte à transposer $C$, que ${\operatorname{discr}}(BA^nC{\, {}^t \!\! A}^n)$ est de la forme $\delta z^2$, donc que le corps de $BA^nC{\, {}^t \!\! A}^n$ est ${\mathbb Q}[\sqrt{\delta}]$.

$\underline{\Longrightarrow}$ Pour démontrer cette implication, on reprend les choses qui ont été faites pour étudier les suites de la forme $AB^n$ (voir chapitre \[suites1\]). Soit $U$ la matrice donnée par le lemme \[pell\]. On a que ${\operatorname{Tr}}(HA^n)$ est solution $x$ d’une équation de Pell-Fermat $x^2-\delta y^2 = \pm 4$, donc d’après le lemme \[pell\], il existe une suite d’entiers $(i_n)$ telle que pour tout $n$, on ait ${\operatorname{Tr}}(HA^n) = {\operatorname{Tr}}(U^{i_n})$. On est alors exactement dans la situation du lemme \[arithm\], et on obtient alors que la suite $(i_n)$ est arithmétique : il existe donc deux entiers $a$ et $b$ tels que pour tout $n$, $i_n = an+b$. D’après le lemme \[infini-toujours\], on a de plus que les matrices $A$ et $U^a$ sont semblables (i.e. ont mêmes valeurs propres), donc le corps de $A$ est ${\mathbb Q}[\sqrt{\delta}]$.

La proposition suivante permet de ramener la recherche de matrices non inversibles et à coefficients entiers $H$ telles que ${\operatorname{Tr}}(HA)$ est solution $x$ entière de l’équation de Pell-Fermat $x^2-\delta y^2 = \pm4$ ($A$ étant fixée), à la recherche de matrices $S$ vérifiant certaines propriétés plus simples :

\[HS\] Soit $A$ une matrice positive, et $b$ un entier. Les assertions suivantes sont équivalentes :

1.  Il existe une matrice $H \in M_2({\mathbb Z})$ de rang 1, telle que pour tout $n \in {\mathbb Z}$, $${\operatorname{Tr}}(HA^n) = {\operatorname{Tr}}(A^{n+b}).$$

2.  Il existe une matrice $S \in GL_2({\mathbb Z})$ telle que $${\operatorname{Det}}(S) = -{\operatorname{Det}}(A^b), \ {\operatorname{Tr}}(S) = 0 \  \mathrm{et} \  {\operatorname{Tr}}(SA) = 0.$$

$\underline{\Longrightarrow}$ Soit $S = H - A^b$. On a alors bien ${\operatorname{Tr}}(S) = 0$ et ${\operatorname{Tr}}(SA) = 0$.\
Montrons que $S \in GL_2({\mathbb Z})$. Si l’on diagonalise $A$, on voit que la condition $${\operatorname{Tr}}(HA^n) = {\operatorname{Tr}}(A^{n+b})$$ pour tout entier $n \in {\mathbb Z}$, entraîne que dans la base de diagonalisation, $H$ est de la forme : $\left(
    \begin{array}{cc}
    \lambda^b &*\\
    * &\bar{\lambda}^b
    \end{array}
    \right)$, où $\lambda$ et $\bar{\lambda}$ sont les deux valeurs propres de $A$. Comme $H$ est non inversible, on obtient l’égalité des déterminants ${\operatorname{Det}}(S) = -{\operatorname{Det}}(A^b)$. Et comme $S$ est à coefficients entiers, on a bien $S \in GL_2({\mathbb Z})$.

$\underline{\Longleftarrow}$ Les égalités ${\operatorname{Tr}}(S) = 0$ et ${\operatorname{Tr}}(SA) = 0$ entraînent d’après le lemme \[2-toujours\], l’égalité ${\operatorname{Tr}}(SA^n) = 0$ pour tout entier $n$. Et par la formule \[fm\] (page ) on a $${\operatorname{Det}}(S + A^b) = {\operatorname{Det}}(S) + {\operatorname{Det}}(A^b) + {\operatorname{Tr}}(S{A^b}^{\dagger}),$$ où $M^{\dagger} = {\operatorname{Det}}(M)M^{-1}$. Or on a ${\operatorname{Tr}}(SA^{-b}) = 0$ et ${\operatorname{Det}}(S) = -{\operatorname{Det}}(A^b)$, donc $S + A^b$ est de déterminant 0. Finalement $H = S + A^b$ convient.

\[S-&gt;suite\] Soit $A$ une matrice positive, et soit $S$ une matrice de $GL_2({\mathbb Z})$ vérifiant les conditions ${\operatorname{Tr}}(S) = {\operatorname{Tr}}(SA) = 0$ et aussi ${\operatorname{Det}}(S) = -1$ si ${\operatorname{Det}}(A) = 1$. Alors il existe deux matrices $B$ et $C$ de $\Gamma$ telles que les rangs de $B+{\, {}^t \! {B}}$ et de $C+{\, {}^t \! {C}}$ sont 1, et telles que les corps des matrices $BA^nC{\, {}^t \!\! A}^n$ sont tous les mêmes.

L’existence d’une telle matrice $S$ nous donne, par la proposition \[HS\] l’existence d’une matrice $H \in M_2({\mathbb Z})$ non inversible telle que pour tout entier $n$, ${\operatorname{Tr}}(HA^n) = {\operatorname{Tr}}(A^{n+k})$ (pour un $k$ pair si ${\operatorname{Det}}(S) = {\operatorname{Det}}(A) = -1$, $k$ impair si ${\operatorname{Det}}(S) = 1$ et $k$ quelconque sinon). Quitte à prendre $k$ assez grand, on peut supposer que les inégalités $0 \leq a < b \leq d$ et $a < c \leq d$ sont satisfaites, où $\left(
    \begin{array}{cc}
    a &b\\
    c &d
    \end{array}
    \right) = H$, et donc la proposition \[H-&gt;Gamma\] nous donne que H s’écrit : $H = X \left(
    \begin{array}{cc}
    0 &0\\
    0 &e
    \end{array}
    \right) Y$, avec $X, Y \in \Gamma$, $e \geq 1$. Et comme on a $a < b$ et $a < c$, on obtient que $X$ et $Y$ sont chacun dans $\Gamma\backslash \{ I_2, {T_{1}} \}$. On peut donc utiliser les relations données dans la proposition \[H-&gt;Gamma\], pour se ramener à $X$ et $Y$ de la forme : $X = X'{T_{i}}$ et $Y = {T_{j}}Y'$, avec $i,j \geq 2$ (et on a bien $e \geq 1$). D’après le corollaire \[H\], il existe donc deux matrices positives $B$ et $C$ telles que les rangs de $B+{\, {}^t \! {B}}$ et de $C+{\, {}^t \! {C}}$ sont $1$ et telles que pour toute matrice $M \in M_2({\mathbb R})$ on ait ${\operatorname{Tr}}(BMC{\, {}^t \! {M}}) = ({\operatorname{Tr}}(HM))^2 - 2{\operatorname{Det}}(MA^{k})$. On a alors ${\operatorname{discr}}(BA^nC{\, {}^t \!\! A}^n) = {\operatorname{Tr}}^2(A^{n+k})({\operatorname{Tr}}^2(A^{n+k}) - 4{\operatorname{Det}}(A^{n+k})) = {\operatorname{Tr}}^2(A^{n+k}){\operatorname{discr}}(A^{n+k})$, donc pour tout $n$, le corps de $BA^nC{\, {}^t \!\! A}^n$ est le corps de $A$.

Soient $A, B$ et $C$ trois matrices de $\Gamma$. Sous les trois hypothèses

1.  que $B+{\, {}^t \! {B}}$ et $C+{\, {}^t \! {C}}$ sont de rang $1$,

2.  que la matrice $H$ donnée par la proposition \[B+tB\] et le corollaire \[H\] est entière,

3.  que l’on peut prendre $U=A$ dans l’égalité ${\operatorname{Tr}}(HA^n) = {\operatorname{Tr}}(U^{an+b})$ donnée par la proposition \[Hunit\],

ceci fournit de manière exhaustive les suites de matrices $BA^nC{\, {}^t \!\! A}^n$ qui ont toutes le même corps.

La dernière hypothèse est automatiquement satisfaite si $A$ est une matrice donnée par le lemme \[pell\] (par exemple si $A = {T_{1}}$), et la première hypothèse est vérifiée pour tous les exemples connus. Il reste des suites infinies à étudier en retirant l’hypothèse $H$ entière.

A l’aide de ce corollaire \[S-&gt;suite\], on peut redémontrer rapidement le théorème \[MN2\] :

Quitte à tout transposer, on peut supposer que c’est $N$ qui est de déterminant $-1$. La matrice $S := \left(
    \begin{array}{cc}
    0 &-1\\
    1 &0
    \end{array}
    \right) N$ vérifie alors ${\operatorname{Tr}}(S) = {\operatorname{Tr}}(SMN) = 0$ (parce que $NMN$ est symétrique), ${\operatorname{Det}}(S) = -1$ et $S \in GL_2({\mathbb Z})$, donc le corollaire \[S-&gt;suite\] permet de conclure.

Voici maintenant une preuve plus longue, mais qui fait apparaître naturellement la condition sur la matrice $A$ pour que l’on ait une suite $BA^nC{\, {}^t \!\! A}^n$ de matrices ayant toutes pour corps le corps de $A$.

Étant fixée une matrice positive $A$, on cherche une matrice $S$ qui vérifie les hypothèses du corollaire \[S-&gt;suite\]. Les condition ${\operatorname{Tr}}(S) = {\operatorname{Tr}}(SA) = 0$ imposent de chercher $S$ sous la forme : $S = \left(
    \begin{array}{cc}
    x &y\\
    \cfrac{x(d-a)-cy}{b} &-x
    \end{array}
    \right)$ où $A = \left(
    \begin{array}{cc}
    a &b\\
    c &d
    \end{array}
    \right)$, et on doit avoir ${\operatorname{Det}}(S) = \pm 1$, ce qui nous donne l’équation de Pell-Fermat : $$(2bx + (d-a)y)^2 - {\operatorname{discr}}(A)y^2 = \pm 4b^2$$

On va maintenant montrer que l’on peut trouver $S$ qui s’exprime simplement en fonction de $A^n$. Si l’on définit les suites $(u_n)$ et $(v_n)$ par : $${

[ll]{} u\_0 = 1$ et $u\_[n+1]{} = au\_n + bcv\_n\
v\_0 = 0$ et $v\_[n+1]{} = u\_n + dv\_n\

.$$ alors on a $A^n = \left(
    \begin{array}{cc}
    u_n &bv_n\\
    cv_n &u_n+(d-a)v_n
    \end{array}
    \right)$, et comme on a ${\operatorname{Det}}(A^n) = \pm 1$, on obtient : $$(2u_n + (d-a)v_n)^2 - {\operatorname{discr}}(A)v_n^2 = \pm 4$$

On voit donc que $(x,y) = (u_n, bv_n)$ fournit une solution. La dernière chose à vérifier est que la matrice $S$ trouvée est à coefficients entiers. Or, cela est le cas si et seulement si $b$ divise $d-a$, puisque $b$ divise $y$ et $b$ est premier à $x$. Or, les matrices $A \in \Gamma$ qui vérifient cette relation de divisibilité sont exactement les matrices de la forme ${T_{k}}M$ avec $k \geq 1$ et $M \in \Gamma$ symétrique. Ainsi on a bien démontré le théorème \[MN2\]. Et le théorème \[MN\] lui est équivalent (voir remarque \[rem\_MN2\]).

Exemples {#exs}
========

Dans ce chapitre, nous décrivons précisément les suites de fractions continues périodiques que donne la preuve du théorème \[MN\], et nous donnons des exemples, que nous vérifions directement.\
Etant donnés une matrice $A$ positive fixée, un entier $k$ et une matrice $H$ non inversible telle que pour tout $n$, ${\operatorname{Tr}}(HA^n) = {\operatorname{Tr}}(A^{n+k})$, le corollaire \[H\] et les propositions \[H-&gt;Gamma\] et \[FQ\] permettent de trouver toutes les matrices $B$ et $C$ telles que $$\text{ pour toute matrice } M \in M_2({\mathbb R}), {\operatorname{Tr}}(BMC{\, {}^t \! {M}}) = {\operatorname{Tr}}(HM)^2 \pm 2 {\operatorname{Det}}(M).$$ Cela donne alors une suite de matrices $BA^nC{\, {}^t \!\! A}^n$ ayant toutes le même corps.

On peut déterminer explicitement quelles sont les matrices $H$ qui sont données par la proposition \[HS\], à partir des matrices $S$ choisies ci-dessus dans la preuve du théorème, pour $N = {T_{i}}$. En prenant $A = M{T_{i}}$ pour $M \in \Gamma$ symétrique, $b=2$ et $S = S_0{T_{i}}$ dans la proposition \[HS\], on a $H = S_0{T_{i}} + M{T_{i}}M{T_{i}}$, donc on obtient : $$H = M({\operatorname{Det}}(M)S_0 + {T_{i}})M{T_{i}}
= \left\{ \begin{array}{cl}
    MRM{T_{i}} & \text{si} \quad {\operatorname{Det}}(M) = 1 \\
    M{\, {}^t \! {R}}M{T_{i}} & \text{si} \quad {\operatorname{Det}}(M) = -1
 \end{array} \right.$$ où $R := \left(
        \begin{array}{cc}
            0 &0\\
            2 &i\\
        \end{array}
        \right)$.

Et l’on peut expliciter la décomposition de la matrice $R$ donnée par la proposition \[H-&gt;Gamma\] :

  -------------------------------------------------- ----------------
  $R = \left(                                        si $i$ pair,
          \begin{array}{cc}                          
              0 &0\\                                 
              0 &2\\                                 
          \end{array}                                
          \right) {T_{\frac{i}{2}}} \quad$           

  $R = \left(                                        si $i$ impair.
          \begin{array}{cc}                          
              0 &0\\                                 
              0 &1\\                                 
          \end{array}                                
          \right){T_{2}}{T_{\frac{i-1}{2}}} \quad$   
  -------------------------------------------------- ----------------

On choisit alors des matrices $B$ et $C$ de $\Gamma$ qui correspondent, par le corollaire \[H\], aux matrices $H$ de rang 1 ci-dessus. Par exemple, si ${\operatorname{Det}}(M) = 1$, si $i$ est pair, et si $M = {T_{j }}S{T_{ j}}$ pour une matrice symétrique $S$ de $\Gamma$, on peut prendre : $$\begin{tabular}{lll}
        $B = {T_{(i, j )}}S{T_{(j, i/2-1, 1, 1, i/2, j )}}S{T_{ (j, i)}}$, \\
        $C = {T_{j}}S{T_{(j-1, 1, 1, j )}}S{T_{ j}}$.
                    \end{tabular}.$$

On obtient finalement les suites de fractions continues périodiques suivantes :

\[suitesijMj\] Soit ${\textsf{M}} = (a_1, a_2, ... , a_2, a_1)$ un uplet symétrique d’entiers strictement positifs et soient $i$ et $j$ deux entiers strictement positifs.

Si $i$ est pair, alors pour tout entier $n$, $$[ \overline{ i/2-1, 1, 1, i/2, i^n, i-1, 1, 1, i, i^n } ] \in {\mathbb Q}[\sqrt{i^2+4}]$$ $$[ \overline{ i/2-1,1,1,i/2,(j,i)^n,j-1,1,1,j,(i,j)^n } ] \in {\mathbb Q}[\sqrt{(ij)^2+4ij}]$$ $$[ \overline{ i/2-1, 1, 1, i/2, (j, {\textsf{M}}, j, i)^n, j, {\textsf{M}}, j-1, 1, 1, j, {\textsf{M}}, j, (i, j , {\textsf{M}}, j)^n } ]$$ $$\in {\mathbb Q}[\sqrt{{\operatorname{discr}}({T_{(j, a_1, a_2, ..., a_2, a_1, j, i)}})}].$$ Et si $i$ est impair, alors pour tout $n$, $$[ \overline{ (i-1)/2, 1, 3, (i-1)/2, i^n, i+1, i-1, i^n } ] \in {\mathbb Q}[\sqrt{i^2+4}]$$ $$[ \overline{ (i-1)/2, 1, 3, (i-1)/2, (j, i)^n, j+1, j-1, (i, j)^n } ] \in {\mathbb Q}[\sqrt{(ij)^2+4ij}]$$ $$[ \overline{ (i-1)/2, 1, 3, (i-1)/2, (j, {\textsf{M}}, j, i)^n, j, {\textsf{M}}, j+1, j-1, {\textsf{M}}, j, (i, j , {\textsf{M}}, j)^n } ]$$ $$\in {\mathbb Q}[\sqrt{{\operatorname{discr}}({T_{(j, a_1, a_2, ..., a_2, a_1, j, i)}})}].$$ Et l’on obtient de vraies fractions continues périodiques même s’il y a des entiers nuls, en utilisant la relation ${T_{(i, 0, j)}} = {T_{i+j}}$.

Ici, $i^n$ signifie que l’entier $i$ est répété $n$ fois, et de même $( j,{\textsf{M}}, j, i )^n$ signifie que le motif $ j, a_1, a_2, ... , a_2, a_1, j, i $ est répétée $n$ fois.

En choisissant dans la proposition précédente $i =2$, $j=2$ et ${\textsf{M}} = (1,1,1,1,2,1,1,1,1,1,2,1,1,1,1)$, on obtient pour tout entier $n$ la fraction continue périodique $$[ \overline{ 1, 1, 1, 2, ({\textsf{M}},2,2,2)^n, {\textsf{M}}, 3, 1, 1, 2, {\textsf{M}}, (2, 2, 2, {\textsf{M}})^n } ] \in {\mathbb Q}[\sqrt{2}]$$ de longueur $36n+38$, et n’ayant que des $1$ et des $2$, à l’exception d’un $3$.

La proposition \[suitesijMj\] donne la suite de fractions continues périodiques : $$[ \overline{0,1,1,1,(2,{\textsf{M}},2,2)^n,2,{\textsf{M}},1,1,1,2,{\textsf{M}},2,(2,2,{\textsf{M}},2)^n} ]$$ qui devient par permutation circulaire et décalage des puissances : $$[ \overline{1,1,1,2,({\textsf{M}},2,2,2)^n,{\textsf{M}},2,0,1,1,1,2,{\textsf{M}},(2,2,2,{\textsf{M}})^n} ]$$ et on obtient enfin la suite annoncée en utilisant la relation ${T_{(2, 0, 1)}} = {T_{3}}$ (ce qui revient à remplacer le motif 2,0,1 par 3).\
Il suffit alors de vérifier que le corps de la matrice $A = {T_{(2, 2, 2, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1)}}$ est ${\mathbb Q}[\sqrt{2}]$. On a $A = \left( \begin{array}{cc} 7918 & 12929 \\ 19159 & 31284 \end{array} \right)$, donc ${\operatorname{discr}}(A) = 1 536 796 800 = 2 \times 27 720^2$.

Il est possible de réécrire matriciellement sous une forme plus simple les suites de fractions continues données dans la proposition \[suitesijMj\] :\
Le corps de la matrice $S_1(M{T_{i}})^nS_2(M{T_{i}})^n$ est ${\mathbb Q}[\sqrt{{\operatorname{discr}}(M{T_{i}})}]$,\
pour toute matrice symétrique $M$, pour tout entier $i \geq 1$, et pour tout entier $n$, où $S_1$ et $S_2$ sont deux symétries de $GL_2({\mathbb Z})$, données par

$$\left\{\begin{array}{ll}
            S_1 = {{T_{i}}}^{-1}{T_{i/2-1}}{T_{1}}{T_{1}}{T_{i/2}} = \left(
            \begin{array}{cc}
                -i-1 & -i^2/2-i\\
                2  & i+1\\
            \end{array}
            \right) \\
            S_2 = {T_{i}}^{-1}{T_{j}}^{-1}{T_{j-1}}{T_{1}}{T_{1}} = \left(
            \begin{array}{cc}
                1 &2+i\\
                0 &-1\\
            \end{array}
            \right)
            \end{array}\right\}
            \text{si $i$ est pair},$$

$$\left\{\begin{array}{ll}
            S_1 = {T_{i}}^{-1}{T_{(i-1)/2}}{T_{1}}{T_{3}}{T_{(i-1)/2}} = \left(
            \begin{array}{cc}
                -2i+1 & -i^2+i\\
                4 & 2i-1\\
            \end{array}
            \right) \\
            S_2 = {T_{i}}^{-1}{T_{j}}^{-1}{T_{j+1}}{T_{j-1}}{T_{j}}^{-1} = \left(
            \begin{array}{cc}
                -1 &1-i\\
                0 &1\\
            \end{array}
            \right)
            \end{array}\right\} \text{sinon},$$ où $j$ est un entier quelconque.

La proposition suivante nous donne l’existence, dans tout corps quadratique réel, d’une infinité de fractions continues périodiques qui n’utilisent que trois entiers différents.

\[suite-1-2-s\] Soit $\delta$ un entier non carré. Alors il existe un entier $s \geq 1$ tel que pour tout entier $n$, $$[ \overline{ 2,1,1,1, (s, 1,1,2,1,1)^n, s,1,2,1,1,1,1,s, (1,1,2,1,1,s)^n } ] \in {\mathbb Q}[\sqrt{\delta}].$$

Pour tout corps quadratique ${\mathbb Q}[\sqrt{\delta}]$, il existe un réel $m_\delta$ et une infinité de fractions continues périodiques $[ \overline{ a_0, a_1, ..., a_n } ]  \in {\mathbb Q}[\sqrt{\delta}] $ avec $1 \leq a_i \leq m_{\delta}$.

Voici des exemples de suites de fractions continues qui ne comportent que les entiers 1 et 2 et qui restent dans un corps quadratique donné :

\[suite-7\] Pour tout entier $n$, la fraction continue périodique suivante est dans ${\mathbb Q}[\sqrt{7}]$ : $$[ \overline{ 2,1,1,1, (1,1,1,1,1,1,1,2,1,2)^n, 1,1,1,1,2,1, (2,1,2,1,1,1,1,1,1,1)^n } ].$$

\[suite-sym\] Pour tout uplet symétrique d’entiers ${\textsf{S}} = (a_1, a_2, ... , a_2, a_1)$, et pour tout entier $n$, la fraction continue périodique $$[ \overline{ 2,1,1,1, ({\textsf{S}}, 1,1,2,1,1)^n,{\textsf{S}},1,2,1,1,1,1,{\textsf{S}}, (1,1,2,1,1,{\textsf{S}})^n } ]$$ est dans ${\mathbb Q}[\sqrt{{\operatorname{discr}}({T_{(a_1, a_2, ..., a_2, a_1, 1, 1, 2, 1, 1)}})}]$.

En particulier en choisissant ${\textsf{S}}=1^{n-5}$ (c’est-à-dire l’entier 1 répété $n-5$ fois), on a des suites de fractions continues périodiques formées seulement des entiers $1$ et $2$ dans ${\mathbb Q}[\sqrt{f_n f_{n+2}}]$, pour tout $n \geq 3$, où $(f_n)_{n \in {\mathbb N}}$ est la suite de Fibonnacci, définie par $f_0 = 0$, $f_1 = 1$ et pour tout entier n positif ou nul $f_{n+2} = f_{n+1}+f_{n}$. Cela nous donne une infinité de corps quadratiques d’après le lemme suivant :

L’ensemble des corps quadratiques ${\mathbb Q}[\sqrt{f_nf_{n+2}}]$ est infini.

Il est bien connu que pour tout $n$, les entiers $f_n$ et $f_{n+2}$ sont premiers entre eux. Montrons que pour tout nombre premier $p$, il existe un entier $n \geq 1$ tel que $p$ divise $f_n$. La matrice ${T_{1}}^n$ s’écrit : ${T_{1}}^n = \left(
            \begin{array}{cc}
                f_{n-1} & f_n\\
                f_n & f_{n+1}\\
            \end{array}
            \right)$, et si l’on note $o$ l’ordre du groupe fini multiplicatif $GL_2({\mathbb Z}/{p{\mathbb Z}})$, on a ${T_{1}}^o \equiv I_2$ (mod $p$), donc $f_o$ est divisible par $p$. Utilisons alors la propriété suivante des nombres de Fibonacci :

Soit $p$ un nombre premier impair, et soit $n \geq 1$ un entier. Si $q = p^k$ est la plus grande puissance de $p$ divisant $f_n$, avec $k\geq 1$, alors $pq$ est la plus grande puissance de $p$ divisant $f_{pn}$.

Comme $f_{n+1} = f_n + f_{n-1}$, on a ${T_{1}}^n \equiv cI_2$ (mod $q$) pour $c = f_{n-1}$. On peut donc écrire ${T_{1}}^n = cI_2 + qA$, pour une matrice $A \in M_2({\mathbb Z})$. On a alors $${T_{1}}^{pn} = (cI_2 + qA)^p = \sum_{i=0}^{p}{ \binom{p}{i} c^i(qA)^{p-i}} \equiv c^pI_2 + pc^{p-1}qA \quad (\mathrm{mod} \  p^2q)$$ puisque $p^2q$ divise $\binom{p}{i} c^i(qA)^{p-i}$ dès que $i<p-1$. Donc on obtient $f_{np} \equiv pc^{p-1}f_n$ (mod $p^2q$), et comme $c$ est premier à $p$, cela donne bien que la plus grande puissance de $p$ divisant $f_{np}$ est $qp$.

Ce dernier lemme permet d’obtenir, pour tout nombre premier $p$ impair, un entier $n$ pour lequel $p$ divise le facteur sans carré de $f_n$ et donc aussi le facteur sans carré de $f_nf_{n+2}$. On en déduit que l’ensembles des corps quadratiques ${\mathbb Q}[\sqrt{f_nf_{n+2}}]$ est infini.

La proposition \[suite-sym\] est une conséquence immédiate de la proposition \[suitesijMj\], mais voici une vérification directe :

  Soient $S \in \Gamma$ symétrique, $A = S {T_{(1, 1, 2, 1, 1)}}$, $B = {T_{(2, 1, 1, 1)}}$ et $C = S{T_{(1, 2, 1, 1, 1, 1)}}S$. Soit alors $H = S{T_{1}}H_0$, la matrice donnée par le corollaire \[H\], où $H_0 = {T_{2}} \left(
    \begin{array}{cc}
    0 & 0\\
    0 & 2
    \end{array}
    \right) {T_{2}} = \left(
    \begin{array}{cc}
    2 &4\\
    4 &8
    \end{array}
    \right)$.

Pour obtenir le résultat, il suffit de montrer que ${\operatorname{Tr}}({T_{1}}H_0M) = {\operatorname{Tr}}({T_{(1, 1, 2, 1, 1)}}M)$, pour toute matrice $M$ symétrique. En effet, en prenant $M = (S{T_{(1, 1, 2, 1, 1)}})^nS$, on obtient alors ${\operatorname{Tr}}(HA^n) = {\operatorname{Tr}}(A^{n+1})$ qui donne bien le résultat d’après la proposition \[FQ\] : $$\begin{aligned}
        {\operatorname{discr}}(BA^nC{\, {}^t \! {A}}^n) &= {\operatorname{Tr}}^2(HA^n)({\operatorname{Tr}}^2(HA^n) + 4{\operatorname{Det}}(S){\operatorname{Det}}(A^n)) \\
                            &= {\operatorname{Tr}}^2(HA)({\operatorname{Tr}}^2(A^{n+1}) - 4{\operatorname{Det}}(A^{n+1})) \\
                            &= {\operatorname{Tr}}^2(HA){\operatorname{discr}}(A^{n+1}).
    \end{aligned}$$ Le signe $+{\operatorname{Det}}(S)$ qui apparaît devant le terme ${\operatorname{Det}}(A^n)$ dans la première des égalités ci-dessus est dû au fait que si $B$ et $C$ sont respectivement de la forme $N_B+\epsilon_B S_0$ et $N_C+\epsilon_C S_0$ pour des matrices $N_B$ et $N_C$ symétriques de rang $1$, alors $\epsilon_B \epsilon_C = -{\operatorname{Det}}(S)$ (voir la remarque \[rqFQ\]).

Or, l’égalité ${\operatorname{Tr}}({T_{1}}H_0M) = {\operatorname{Tr}}({T_{(1, 1, 2, 1, 1)}}M)$ pour toute matrice $M$ symétrique découle simplement de la relation ${T_{1}} \left(
    \begin{array}{cc}
    2 &4\\
    4 &8
    \end{array}
    \right) - {T_{(1, 1, 2, 1, 1)}} = \left(
    \begin{array}{cc}
    0 &1\\
    -1 &0
    \end{array}
    \right)$ et du lemme \[tr-sym\].

On a à nouveau une suite de la forme $BA^nC{\, {}^t \! {A}}^n$ avec cette fois $A = {T_{(1, 1, 1, 1, 1, 1, 1, 2, 1, 2)}}$, $B = {T_{(2, 1, 1, 1)}}$ et $C = {T_{(1, 1, 1, 1, 2, 1)}}$. On démontre pour tout $n$ l’égalité suivante : $${\operatorname{Tr}}(H({T_{(1, 1, 1, 1, 1, 1, 1, 2, 1, 2)}})^n) = {\operatorname{Tr}}(({T_{(1, 1, 1, 4)}})^{2n+1})$$ où $H = {T_{(1, 2)}} \left(
    \begin{array}{cc}
    0 & 0\\
    0 & 2
    \end{array}
    \right) {T_{2}} = \left(
    \begin{array}{cc}
    4 &8\\
    6 &12
    \end{array}
    \right).$

Le corps de la matrice ${T_{(1, 1, 1, 4)}} = \left(
    \begin{array}{cc}
    2 &9\\
    3 &14
    \end{array}
    \right)$ est bien ${\mathbb Q}[\sqrt{7}]$, donc cela donnera bien le résultat, d’après la proposition \[Hunit\] et la remarque \[rqHunit\], et parce-qu’on est dans le cas où $B$ et $C$ sont toutes les deux des matrices de la forme $N + S_0$, avec $N$ matrice symétrique de rang 1, et où ${\operatorname{Det}}({T_{(1, 1, 1, 4)}}) = 1$. D’après le lemme \[2-toujours\], comme ${T_{(1, 1, 1, 1, 1, 1, 1, 2, 1, 2)}} = \left(
    \begin{array}{cc}
    47 & 128\\
    76 & 207
    \end{array}
    \right)$ et $({T_{(1, 1, 1, 4)}})^2 = \left(
    \begin{array}{cc}
    31 &144\\
    48 &223
    \end{array}
    \right)$ ont mêmes valeurs propres (car mêmes traces et mêmes déterminants), il suffit de démontrer cette égalité pour $n=0$ et $n = 1$. Pour $n = 0$, on a ${\operatorname{Tr}}(H) =  16 = {\operatorname{Tr}}({T_{(1, 1, 1, 4)}})$. Pour $n = 1$, on a ${\operatorname{Tr}}(H{T_{(1, 1, 1, 1, 1, 1, 1, 2, 1, 2)}}) = 4048 = {\operatorname{Tr}}(({T_{(1, 1, 1, 4)}})^3)$.

Il suffit de démontrer qu’étant donné un entier $\delta$ non carré, il existe un entier $s \geq 1$ tel que le corps de la matrice ${T_{(1, 1, 2, 1, 1, s)}}$ est ${\mathbb Q}[\sqrt{\delta}]$ (c’est ensuite un cas particulier de la proposition \[suite-sym\]). Or, on a ${\operatorname{discr}}({T_{(1, 1, 2, 1, 1, s)}}) = 48(s+1)(3s+4)$. Donc il suffit de prendre $s = 3y^2\delta-1$ où $(x,y)$ est une solution à l’équation de Pell-Fermat $x^2-9\delta y^2 = 1$.

Suites de type Wilson {#suites-wilson}
---------------------

On a vu comment l’on pouvait trouver des suites de fractions continues périodiques en cherchant les matrices $H$ non inversibles du corollaire \[H\] à coefficients entiers. Cela revient à chercher ${\operatorname{Tr}}(HA)$ comme solution $x$ entière de l’équation de Pell-Fermat $x^2-\delta y^2 = \pm 4$. Un autre cas intéressant est celui où $H$ est de la forme $\sqrt{\delta}H'$, avec $H'$ entière, et où $\delta$ est le discriminant de la matrice $A$. On doit alors chercher ${\operatorname{Tr}}(H'A)$ comme solution $y$ (et non plus $x$) de la même équation de Pell-Fermat, puisque l’on a alors ${\operatorname{discr}}(BAC{\, {}^t \!\! A}) = \delta ({\operatorname{Tr}}(H'A))^2(\delta ({\operatorname{Tr}}(H'A))^2 \pm 4)$, que l’on veut de la forme $\delta x^2$.

Wilson donne des suites qui rentrent dans ce cadre (voir [@wilson]), comme par exemple :\
$$[ \overline{ (s(s+4)-1), 1, (s, 1)^n, s+2, (s, 1)^n, s+1 } ] \in {\mathbb Q}[\sqrt{s(s+4)}]$$ que l’on peut réécrire avec des entiers plus petits (en choisissant d’autres matrices $B$ et $C$ pour la même matrice $H$ grâce au corollaire \[H\]) :\
$$[ \overline{ s, 1, s-1, s+1, (1, s)^n, 1, s+1, s+3, 1, (s, 1)^n } ] \in {\mathbb Q}[\sqrt{s(s+4)}]$$

Cependant, il sera impossible d’obtenir des suites uniformément bornées avec une borne indépendante de $\delta$ avec des suites de ce type, puisque si l’on a $H = P \left(
\begin{array}{cc}
0 &0\\
0 &d
\end{array}
\right)Q$ avec $P, Q \in \Gamma$, alors la proposition \[B+tB\] et le corollaire \[H\] montrent que l’on a nécessairement au moins un facteur ${T_{i}}$ avec $i > \sqrt{\delta} - 1$ dans la décomposition de l’une des matrices $B$ ou $C$.

Réels quasi-palindromiques {#rqp}
--------------------------

À la vue du théorème \[MN\], on peut se demander quels sont les réels quasi-palindromiques, c’est-à-dire les réels qui ont un développement en fraction continue périodique quasi-palindromique. La proposition suivante, répond à la question :

Soit $x \in {\mathbb Q}[\sqrt{\delta}]$. On a équivalence entre :

1.  $x$ est quasi-palindromique,

2.  ${\operatorname{Tr}}(x) = {\left\lfloor x \right\rfloor}$ et $x > 1$,

3.  ${\operatorname{Tr}}(x) \in {\mathbb Z}$, $x > 1$ et $-1 < \overline{x} < 0$.

On peut démontrer ce résultat en utilisant un lemme de É. Galois sur le miroir d’une fraction continue périodique (voir paragraphe 6, p. 83 dans [@perron]). Les réels $\sqrt{\delta}+{\left\lfloor \sqrt{\delta} \right\rfloor}$ sont donc des exemples de réels palindromiques. Le résultat classique suivant donne une borne optimale sur le développement de ces réels :

Soit $\delta$ un entier positif sans facteur carré. Alors les coefficients du développement en fraction continue du réel $\sqrt{\delta}+{\left\lfloor \sqrt{\delta} \right\rfloor}$ sont majorés par $2{\left\lfloor \sqrt{\delta} \right\rfloor}$.

Si l’on applique le théorème \[MN\] avec ce réel $\sqrt{\delta}+{\left\lfloor \sqrt{\delta} \right\rfloor}$, on obtient donc une infinité de fractions continues périodiques uniformément bornées par $4{\left\lfloor \sqrt{\delta} \right\rfloor}+1$ dans le corps ${\mathbb Q}[\sqrt{\delta}]$. Cela améliore le résultat de Wilson, puisque la borne qu’il obtient est seulement en $O(\delta)$.

Conjecture de Zaremba {#s_zaremba}
=====================

Dans cet article, nous nous sommes intéressé au problème de majorer les coefficients de fractions continues périodiques. Voici une question similaire à propos des fractions continues finies :

\[conj\_zaremba\] Il existe une constante $m$ telle que pour tout entier $q \geq 1$, il existe un entier $p$ premier à $q$ tel que l’on ait $$\frac{p}{q} = [a_0, a_1, a_2, \dots ]$$ où les entiers $a_i$ sont entre $1$ et $m$.

La conjecture semble vraie pour $m = 5$. Elle semble même vraie pour $m = 2$, mais à condition d’exclure un nombre fini de valeurs de $q$.

Des travaux récents de J. Bourgain et A. Kontorovich vont dans le sens de cette conjecture (voir [@bk]). Plus précisément, ils démontrent que l’ensemble des entiers $q$ qui vérifient la conjecture est de densité $1$ dans ${\mathbb N}$, pour la borne $m=50$.

Nous allons montrer que cette conjecture de Zaremba sur les développements en fractions continues de rationnels implique la conjecture \[conjM\] sur les développements en fractions continues périodiques d’après le résultat nouveau suivant :

\[z\_mcm\] Soient $a$, $b$, $c$ et $\delta$ des entiers strictement positifs tels que

-   $b$ et $c$ sont solution de l’équation de Pell-Fermat : $c^2 - \delta b^2 = \pm 1$,

-   $a$ et $c$ sont premiers entre eux et $a < c$.

Alors on a l’une des égalités $$\frac{c-a + b \sqrt{\delta}}{c} = [\overline{1,1,a_1-1, a_2, a_3, \dots, a_{n-1}, a_n, 1, 1, a_n - 1, a_{n-1}, a_{n-2}, \dots, a_2, a_1}]$$ ou $$\frac{c-a + b \sqrt{\delta}}{c} = [\overline{1,1,a_1-1, a_2, a_3, \dots, a_{n-1}, a_n - 1, 1, 1, a_n, a_{n-1}, a_{n-2}, \dots, a_2, a_1}],$$ où $[0,a_1, a_2, \dots, a_{n-1}, a_n]$ est le développement en fraction continue du rationnel $\frac{a}{c}$.

Si l’on a des entiers nuls dans la fraction continue donnée par ce théorème (c’est le cas si $a_1 = 1$ ou $a_n = 1$), il suffit de remplacer chaque triplet $x, 0, y$ par $x+y$ pour obtenir une vraie fraction continue. Remarquons aussi que les entiers $\delta$ qui vérifient les hypothèses du théorème ne peuvent pas être carrés.

Soit $m$ la constante donnée par la conjecture de Zaremba, et soit $\delta$ un entier non carré. L’équation de Pell-Fermat $c^2 - \delta b^2 = 1$ admet alors une infinité de solutions $(b, c)$. Pour chaque entier $c$ assez grand d’un tel couple solution, on choisit alors un numérateur $p$, donné par la conjecture de Zaremba, tel que le développement en fraction continue du rationnel $\frac{p}{c}$ ne s’écrive qu’avec des entiers entre $1$ et $m$. Si l’on choisit pour $a$ le reste de la division de $p$ par $c$, alors le théorème \[z\_mcm\] nous donne une fraction continue périodique bornée par $m+1$ et dans le corps ${\mathbb Q}[\sqrt{\delta}]$. On obtient bien une infinité de fractions continues périodiques dans un même corps ${\mathbb Q}[\sqrt{\delta}]$, puisque pour deux rationnels $\frac{a}{c}$ distincts, le théorème donne deux fractions continues périodiques distinctes.

Remarquons que les fractions continues données par le théorème s’écrivent matriciellement sous la forme $$B A C {\, {}^t \!\! A},$$ où $A := {T_{(a_1, a_2, ..., a_n)}}$ est la matrice correspondant au développement du rationnel $\frac{c}{a}$, $B := {T_{(1,1, a_1-1)}} {{T_{a_1}}}^{-1}$ et $C := \left\{ \begin{array}{l}
                                            {{T_{(1,1, a_n-1)}}} {{T_{a_n}}}^{-1} \\
                                            \text{ ou } \\
                                            {{T_{a_n}}}^{-1} {T_{(a_n-1,1,1)}}
                                        \end{array} \right.$.

Un rapide calcul donne $B = \begin{pmatrix}
                                0 & 1 \\
                                -1 & 2
                            \end{pmatrix}$ et $C = B$ ou ${\, {}^t \! {B}}$. Nous sommes donc dans le cadre de la proposition \[FQ\], avec $H := \begin{pmatrix}
                                                                0 & 0 \\
                                                                0 & 2
                                                            \end{pmatrix}$, ce qui nous donne le discriminant $${\operatorname{discr}}(B A C {\, {}^t \!\! A}) = {\operatorname{Tr}}^2(HA)({\operatorname{Tr}}^2(HA) \pm 4).$$ Or, la matrice $A$ peut s’écrire sous la forme $A = \begin{pmatrix}
                                                u & a \\
                                                v & c
                                            \end{pmatrix}$, pour des entiers $u$ et $v$, puisque c’est la matrice correspondant au développement en fraction continue du rationnel irreductible $\frac{c}{a}$. On a donc ${\operatorname{Tr}}(HA) = 2c$, et donc ${\operatorname{discr}}(B A C {\, {}^t \!\! A}) = 4c^2 (4 c^2 \pm 4)$. En choisissant le signe, quitte à choisir $C = B$ ou $C = {\, {}^t \! {B}}$, on a donc finalement $${\operatorname{discr}}(B A C {\, {}^t \!\! A}) = 16 c^2 b^2 \delta,$$ puisque $(b,c)$ est solution de l’équation de Pell-Fermat $c^2 - \delta b^2 = \pm 1$. Ainsi, le corps de la matrice $B A C {\, {}^t \!\! A}$ est bien ${\mathbb Q}[\sqrt{\delta}]$ comme annoncé, quitte à transposer $C$.

Pour vérifier l’égalité annoncée, on vérifie que le réel quadratique $x := \frac{c-a + b\sqrt{\delta}}{c}$ correspond (par la proposition \[carGamma\]) à la matrice $$B A C {\, {}^t \! {A}} = \begin{pmatrix}
                            2ac \pm 1 & 2c^2 \\
                            4ac - 2a^2 \pm2 & 4c^2 -2ac \pm1
                        \end{pmatrix}$$ c’est-à-dire que le vecteur $\begin{pmatrix} 1 \\ x \end{pmatrix}$ est bien un vecteur propre.

Grâce au théorème \[z\_mcm\], pour obtenir la conjecture \[conjMcMullen\] de McMullen, il suffit de démontrer la variante suivante de la conjecture de Zaremba, où l’on impose en plus les premiers et le dernier entiers du développement en fraction continue.

Il existe un entier $q_0$ tel que pour tout entier $q \geq q_0$, il existe un entier $p$ premier à $q$ tel que l’on ait $$\frac{p}{q} = [a_0, a_1, a_2, \dots, a_{n-1}, a_n]$$ où les entiers $a_i$ valent chacun $1$ ou $2$, et avec de plus les conditions $a_1 = 2$ et $a_n = 2$.

\[r\_conjMcM\] C’est en cherchant, par ordinateur, des fractions continues de la forme donnée par cette conjecture que nous sommes parvenu à vérifier la conjecture \[conj12\] pour tous les corps quadratiques réels ${\mathbb Q}[\sqrt{\delta}]$ pour $\delta < 127$, en utilisant le théorème \[z\_mcm\] ci-dessus.

En utilisant le résultat de Bourgain et Kontorovich (voir [@bk]) sur la conjecture de Zaremba, nous obtenons le résultat suivant :

\[thm\_ibk\] Soit ${\mathcal D}\subseteq {\mathbb N}$ l’ensemble des entiers $\delta$ sans facteurs carrés vérifiant la conjecture \[mcmullen1\] pour la borne $m=51$, c’est-à-dire tels que le corps quadratique ${\mathbb Q}[\sqrt{\delta}]$ contienne une fraction continue périodique bornée par $51$. Alors on a $$\# ({\mathcal D}\cap \llbracket  1,N  \rrbracket) \geq \frac{\sqrt{N}}{C},$$ pour une constante $C > 0$ et pour tout entier $N$ assez grand.

Ce corollaire se déduit facilement des deux lemmes suivants :

L’ensemble des entiers $n$ tels que le corps ${\mathbb Q}[\sqrt{n^2-1}]$ contienne une fraction continue périodique bornée par $51$ a pour densité $1$ dans l’ensemble des entiers naturels.

Soit $n$ un entier vérifiant la conjecture de Zaremba pour la borne $50$, c’est-à-dire tel qu’il existe un numérateur $p < n$ tel que le rationnel $\frac{p}{n}$ soit irréductible et ait un développement en fraction continue borné par $50$. D’après Bourgain et Kontorovich (voir [@bk]), l’ensemble de ces entiers $n$ est de densité $1$ dans ${\mathbb N}$.

Or, le couple $(n, 1)$ est une solution évidente de l’équation de Pell-Fermat $$x^2 - (n^2-1) y^2 = 1.$$ Le théorème \[z\_mcm\] s’applique donc, et on obtient que le réel quadratique $$\frac{p + \sqrt{n^2-1}}{n} \quad \in {\mathbb Q}[\sqrt{n^2-1}]$$ a un développement en fraction continue borné par $51$.

On a un résultat similaire avec les corps ${\mathbb Q}[\sqrt{n^2+1}]$.

L’ensemble des entiers $n$ tels que $n^2-1$ soit sans facteur carré a une densité strictement positive dans ${\mathbb N}$. C’est-à-dire que l’on a $$        \liminf_{x \to \infty} \frac{1}{x} \# \{ n < x | n^2-1 \text{ sans facteur carré } \} > 0.$$

Soit ${\mathcal A}_d := \{n < x | n^2-1 \text{ est divisible par } d^2 \}.$ On a alors $$\liminf_{x \to \infty} \frac{1}{x} \# \{ n < x | n^2-1 \text{ sans facteur carré } \} \geq 1 - \limsup_{x \to \infty} \frac{1}{x} \sum_{\substack{p  \leq \sqrt{x} \\ p \text{ premier}}} \#A_p.$$ Or, on a $$\# A_p \leq 2{\left\lceil \frac{x}{p^2} \right\rceil} \leq 2 + \frac{2x}{p^2},$$ et donc $$\limsup_{x \to \infty} \frac{1}{x} \sum_{\substack{p  \leq \sqrt{x} \\ p \text{ premier}}} \#A_p \leq  \limsup_{x \to \infty} \frac{2}{\sqrt{x}} + \sum_{p \text{ premier}} \frac{2}{p^2} < 1.$$

Les deux lemmes précédents permettent de dire que l’ensemble suivant a une densité strictement positive $$\begin{aligned}
        {\mathcal A}:= \{ n | & n^2-1 \text{ est sans facteur carré et } \\
                & {\mathbb Q}[\sqrt{n^2-1}] \text{ contient une fraction continue périodique bornée par } 51 \}.
    \end{aligned}$$ On a donc finalement $$\# ({\mathcal D}\cap \llbracket  1,N  \rrbracket) \geq \# ({\mathcal A}\cap \llbracket  1, {\left\lfloor \sqrt{N+1} \right\rfloor}  \rrbracket) \geq \frac{\sqrt{N}}{C},$$ pour une constante $C > 0$ et pour tout entier $N$ assez grand.

[WWW99]{} J. Bourgain & A. Kontorovich, *On Zaremba’s conjecture*, arXiv:1107.3776v1 \[math.NT\], 2011. Y. Bugeaud, *Approximation by algebraic numbers*, Cambridge Tracts in Mathematics, **160**, Cambridge University Press, 2004. G. Hardy & E. Wright *An introduction to the theory of numbers*, Oxford Mathematics, 2008. O. Jenkinson & M. Pollicott, *Computing the dimension of dynamically defined sets I: $E_2$ and bounded continued fractions*, Erg. Theo. Dyn. Syst., **21**, p. 1429-1445, 2001. Curtis T. McMullen, *Uniformly Diophantine numbers in a fixed real quadratic field*, Compositio Math., **145**, 04, p. 827-844, 2009. O. Perron, *Die Lehre von den Kettenbrüchen*, B.G. Teubner, 1913. W. Schmidt *Diophantine approximation*, Lecture Note in Maths, **785**, Springer, 1980. S.M.J. Wilson, *Limit points in the Lagrange spectrum of a quadratic field*, Bull. S.M.F, **108**, p. 137-141, 1980.
