diff --git a/désintégration audioactive.md b/désintégration audioactive.md index 6b7f6c8b..7a112af2 100644 --- a/désintégration audioactive.md +++ b/désintégration audioactive.md @@ -416,12 +416,17 @@ Conway leur donne des noms d'éléments (de l'hydrogène à l'uranium, ce qui fa ## Théorèmes - > [!proposition]+ Théorème chimique > 1. les descendents de chacun des 92 éléments sont des composés de ces éléments > Autrement dit : $\forall A \text{ élément},\quad A \longrightarrow X_1\cdot X_2\cdot \cdots \quad \text{ où }X_1,X_2,\dots \text{ sont des éléments}$ -> 2. Tous les déscendants suffisament âgés de chacun des éléments (autres que l'Hydrogène $22$) contiennent simultanément les 92 éléments. +> 2. Tous les descendants suffisament âgés de chacun des éléments (autres que l'Hydrogène $22$) contiennent simultanément les 92 éléments. > Autrement dit : $\forall A \text{ élément},\quad \exists n\in \mathbb{N},\quad A \longrightarrow^{(n)} X \quad \text{où } X \text{ contient tous les 92 éléments}$ +> 3. Les descendants de toutes les chaînes autres que $[\;]$ et $[22]$ finissent par contenir les 92 éléments simultanément. +> +> > [!démonstration]- Démonstration +> > 1. Cela est montré par la table des éléments donnée plus haut. Le lecteur sceptique pourra vérifier la correction des dérivations. +> > 2. +