device-56.home 2026-3-29:17:1:5

désintégration audioactive.md

@@ -97,7 +97,7 @@ header-auto-numbering:
 ^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=12,225,373,331|p.185]]
->  - Aucun chiffre $\geq 4$ ne peut apparaître au jour 2 ou ensuite.
+>  - Aucun chiffre $\geq 4$ ne peut apparaître au jour 2 ou ensuite (sauf conservation d'un chiffre qui était déjà présent).
 >  - 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
@@ -121,8 +121,14 @@ header-auto-numbering:
 > >  - Si $R$ commence par $1$
 > >      - c $[1^{1}]$ impossible car ne peut pas être dérivé
 > >      - p $[1^{1}X^{1} \longleftarrow [X^{1}(n \neq X) \leftarrow [(n \neq X)^{X}$
-> >      - $[1^{1}X^{2}$ se divise en plusieurs cas :
-> >          - $[1^{1}X]$
+> >      - down $[1^{1}X^{2}$ se divise en plusieurs cas, le seul possible étant $[1^{1}2^{2}$
+> >          - right $[1^{1}1^{2} = [1^{3}$ que l'on traitera plus tard
+> >          - p $[1^{1}2^{2} \longleftarrow [2^{1}X^{2} \longleftarrow [X^{2}n^{X}$
+> >          - c $[1^{1}3^{2} \longleftarrow [3^{1}X^{3}$ impossible car de la forme $,ax,bx,$ ([[désintégration audioactive#^thm-jour-1|théorème du jour 1]])
+> >          - c $[1^{1}(n\geq 4)^{2} \longleftarrow [n^{1}X^{n\geq 4}$ impossible au [[désintégration audioactive#^thm-jour-1|jour 1]]
+> >      - c $[1^{1}X^{3}$ impossible car de la forme $,aX,bX,$ ([[désintégration audioactive#^thm-jour-1|théorème du jour 1]])
+> >      - c $[1^{1}X^{n\geq 4}$  impossible puisque $X^{n\geq 4}$ est impossible dès
+> >
 > > ![[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=186&rect=12,345,377,408|p.186]]