MacBookPro.lan 2026-5-1:1:2:12

This commit is contained in:
oskar
2026-05-01 01:02:12 +02:00
parent 9f84066674
commit abdc3b042d
+13 -2
View File
@@ -274,18 +274,29 @@ header-auto-numbering:
> > - $\underbrace{(\neq 2)222}_{\hspace{-13ex}\mathrlap{\text{Par le thm. du jour 2}}}1]$ > > - $\underbrace{(\neq 2)222}_{\hspace{-13ex}\mathrlap{\text{Par le thm. du jour 2}}}1]$
> > - $3211]$ > > - $3211]$
> > - $31221]$ > > - $31221]$
31221
> > - $3112211]$ > > - $3112211]$
3112211
> > - $3212221]$ > > - $3212221]$
3212221
> > - $312113211]$ > > - $312113211]$
312113211
> > - $3111221131221]$ > > - $3111221131221]$
3111221131221
> > - $\underbrace{(\neq 3)33}_{\hspace{-5em}\mathrlap{\text{Par le thm. du jour 2}}}1222113112211]$ > > - $\underbrace{(\neq 3)33}_{\hspace{-5em}\mathrlap{\text{Par le thm. du jour 2}}}1222113112211]$
331222113112211
> > - $2\cdot \underbrace{\overbracket{\color{#FCD600}311}^{\mathclap{[3^{1}X^{\neq 3}}}\color{#FCD600}322113212221]}_{\text{cycle }(1)}$ > > - $2\cdot \underbrace{\overbracket{\color{#FCD600}311}^{\mathclap{[3^{1}X^{\neq 3}}}\color{#FCD600}322113212221]}_{\text{cycle }(1)}$
2311322113212221
> > - $2\cdot \color{#FCD600}13211322211312113211]$ > > - $2\cdot \color{#FCD600}13211322211312113211]$
213211322211312113211
> > - $2\cdot \color{#FCD600}1113122113322113111221131221]$ > > - $2\cdot \color{#FCD600}1113122113322113111221131221]$
21113122113322113111221131221
> > - $2 \cdot 311311222\cdot \overbracket{\color{#FCD600}12}^{\mathclap{[1^{1}X^{1}}}\color{#FCD600}322211331222113112211]$ > > - $2 \cdot 311311222\cdot \overbracket{\color{#FCD600}12}^{\mathclap{[1^{1}X^{1}}}\color{#FCD600}322211331222113112211]$
231131122212322211331222113112211
> > - $2\cdot 1321132132\cdot \overbracket{111}^{[1^{3}}2133\cdot \overbracket{2212}^{\mathclap{[2^{2}1^{1}X^{1}}}\cdot \underbrace{\overbracket{\color{#FCD600}311}^{\mathclap{[3^{1}X^{\neq 3}}}\color{#FCD600}322113212221]}_{\text{cycle } (1)}$ > > - $2\cdot 1321132132\cdot \overbracket{111}^{[1^{3}}2133\cdot \overbracket{2212}^{\mathclap{[2^{2}1^{1}X^{1}}}\cdot \underbrace{\overbracket{\color{#FCD600}311}^{\mathclap{[3^{1}X^{\neq 3}}}\color{#FCD600}322113212221]}_{\text{cycle } (1)}$
> > - $2132113213211121332212311322113212221$ 2132113213211121332212311322113212221
> > - $$ > > - $2\cdot 111312211312111312\cdot \overbracket{311}^{\mathclap{[3^{1}X^{\neq 3}}}2112\cdot \overbracket{3\cdot \underbracket{22}_{\mathclap{}}}^{\mathclap{[3^{1}X^{\neq 3}}} 111213211322211312113211$
> > > >
> > Ce qui montre bien que toute chaîne qui termine par $1$ finit par atteindre le cycle $(1)$. > > Ce qui montre bien que toute chaîne qui termine par $1$ finit par atteindre le cycle $(1)$.
> > > >