MacBookPro.lan 2026-4-30:21:2:11
This commit is contained in:
@@ -126,4 +126,8 @@ Summary
|
||||
\pitchfork
|
||||
\operatorname{#}
|
||||
\upgamma
|
||||
\Upgamma
|
||||
\Upgamma
|
||||
\fCenter
|
||||
\fcolorbox{#}{#}{#}
|
||||
\symbfcal{#}
|
||||
\mathbfcal{#}
|
||||
@@ -266,7 +266,7 @@ header-auto-numbering:
|
||||
> La fin d'une chaîne finit toujours par atteindre l'un de ces cycles :
|
||||
> ![[ attachments/désintégration audioactive théorème de la fin cycles.excalidraw|950]]
|
||||
>
|
||||
> > [!démonstration]- Démonstration
|
||||
> > [!démonstration]+ Démonstration
|
||||
> > - Une chaîne se terminant par $1$ apparaîtra nécessairement dans cette suite de dérivations (en effet, tous les cas de chaîne finissant par $1$ y sont présents) :
|
||||
> > $1^{\geq 3}] \longrightarrow \underbrace{(\neq 2)^{X}1^{1}]}_{\mathclap{\text{plus général que }(\geq 3)^{X}1^{1}]}} \longrightarrow (\neq 2)^{X}1^{2}] \longrightarrow (\neq 2)^{X}2^{1}1^{1}] \longrightarrow \underbrace{2^{X\neq 2}1^{2}]}_{\mathclap{\text{fin de }(\neq 2)^{X}1^{1}2^{1}1^{2}]}} \longrightarrow 2^{2}1^{1}] \longrightarrow 2^{2}1^{2}] \longrightarrow 2^{3}1^{1}]$
|
||||
> > Ce qui montre que toute chaîne se terminant par $1$ finit par atteindre une chaîne se terminant par $2^{3}1^{1}]$.
|
||||
@@ -284,6 +284,7 @@ header-auto-numbering:
|
||||
> > - $2\cdot \color{#FCD600}1113122113322113111221131221]$
|
||||
> > - $2 \cdot 311311222\cdot \overbracket{\color{#FCD600}12}^{\mathclap{[1^{1}X^{1}}}\color{#FCD600}322211331222113112211]$
|
||||
> > - $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 111312211312111312 \cdot 31121123\cdot 221112\cdot {\color{#FCD600}13211322211312113211}$
|
||||
> >
|
||||
> > Ce qui montre bien que toute chaîne qui termine par $1$ finit par atteindre le cycle $(1)$.
|
||||
> >
|
||||
|
||||
Reference in New Issue
Block a user