diff --git a/désintégration audioactive.md b/désintégration audioactive.md index 138e65c4..4a50673a 100644 --- a/désintégration audioactive.md +++ b/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]$ > > - > > -