diff --git a/désintégration audioactive.md b/désintégration audioactive.md index 9e9fa8c6..0b73d428 100644 --- a/désintégration audioactive.md +++ b/désintégration audioactive.md @@ -75,7 +75,7 @@ author: > 2. $x^{\geq 4}$ > 3. $x^{3}y^{3}$ > -> n'apparaîssent pas dans les chaînes agées d'un jour. +> n'apparaîssent pas dans les chaînes agées d'un jour ou plus. > > [!démonstration]- Démonstration > > 1. $,ax,bx,$ > > - ! ce premier morceau à un parsing donné @@ -94,14 +94,18 @@ author: > > Cela montre bien qu'aucune de ces formes ne peut exister après dérivation. ^thm-jour-1 -> [!proposition]+ Théorème du jour 2 – [[sources/1 - articles/Open problems in communication and computation (Cover, T. M., 1938-, Gopinath, B) (z-library.sk, 1lib.sk, z-lib.sk).pdf#page=185&rect=13,189,371,331|p.185]] -> Aucun chiffre $\geq 4$ ne peut apparaître au jour 2 ou ensuite. -> Un morceau $3 X 3$ (en particulier $3^{3}$) ne peut pas apparaître dans aucune chaîne âgée d'au moins 2 jours. +> [!proposition]+ Théorème du jour 2 – [[sources/1 - articles/Open problems in communication and computation (Cover, T. M., 1938-, Gopinath, B) (z-library.sk, 1lib.sk, z-lib.sk).pdf#page=185&rect=12,225,373,331|p.185]] +> - Aucun chiffre $\geq 4$ ne peut apparaître au jour 2 ou ensuite. +> - Un morceau $3 X 3$ (en particulier $3^{3}$) ne peut pas apparaître dans aucune chaîne âgée d'au moins 2 jours. +> > > [!démonstration]- Démonstration > > Un chiffre $\geq 4$ devrait venir d'un $x^{\geq 4}$, on on sait par le [[désintégration audioactive#^thm-jour-1|Théorème du jour 1]] qu'un tel $x^{\geq 4}$ ne peut pas apparaître, ce qui montre bien qu'un chiffre $\geq 4$ ne peut pas apparaître après le jour 2 -> > - i un chiffre $k>1$ quelconque peut apparaître +> > - i un chiffre $k>1$ quelconque peut apparaître au jour 1 si la chaîne de départ contient $,x^{k},$ puisque $,x^{k}, \to ,kx,$ +> > Un morceau $3X 3$ doit être parsé $,3x,3y,$ ^thm-jour-2 +$[3,x 3,y]$ + ## Tableau des éléments ![[sources/1 - articles/Open problems in communication and computation (Cover, T. M., 1938-, Gopinath, B) (z-library.sk, 1lib.sk, z-lib.sk).pdf#page=183&rect=15,26,369,536&color=note|(John Horton Conway, 1987)]]