From 636281b174ccf40375ad31cd15dba284af90bb45 Mon Sep 17 00:00:00 2001 From: oskar Date: Thu, 16 Apr 2026 17:55:36 +0200 Subject: [PATCH] MacBookPro.lan 2026-4-16:17:55:35 --- désintégration audioactive.md | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) 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. +