MacBookPro.lan 2026-4-8:19:5:7

désintégration audioactive.md

@@ -263,6 +263,7 @@ header-auto-numbering:
 > >    $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}]$.
 > >    De là, en dérivant cette fin plusieurs fois, on obtient successivement :
+> >      - $\underbrace{(\neq 2)222}_{\hspace{-13ex}\mathrlap{\text{Par le thm. du jour 2}}}1]$
 > >      - 
 > >  -