From c5ffa837734b312c24d6f56658c4d8ce3def25c8 Mon Sep 17 00:00:00 2001 From: oskar Date: Wed, 8 Apr 2026 19:05:08 +0200 Subject: [PATCH] MacBookPro.lan 2026-4-8:19:5:7 --- désintégration audioactive.md | 1 + 1 file changed, 1 insertion(+) 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]$ > > - > > -