oskar/cours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

device-56.home 2026-3-30:1:7:13

Browse Source
This commit is contained in:
oskar
2026-03-30 01:07:13 +02:00
parent 47ef3598ad
commit 9462c5ad97
5 changed files with 327 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
désintégration audioactive.md
View File

@@ -189,14 +189,21 @@ header-auto-numbering:
> > - $[1^{1}2^{2}$
> > - $[1^{2}2^{\leq 3}$
> > - $[1^{3}X^{1}$ ou, plus généralement $[1^{3}$
> > - $[1^{3}2^{2}$
> > - $[1^{3}2^{2}$ ou, plus généralement $[1^{3}$
> > - $[2^{1}X^{\leq 2}$
> > - $[2^{3}$
> > - $[3^{1}X^{1}$
> > - $[3^{1}(\leq 2)^{\leq 3}$ qui peut être de l'une des formes :
> > - $[3^{1}$
> > - $[3^{1}X^{1}$ que l'on restreint à $[3^{1}(\neq 1)^{1}$ pour que les cas soient bien disjoints
> > - $[3^{1}(\leq 2)^{2}$
> > - $[3^{2}(\leq 2)^{\leq 3}$ qui est l'une de ces deux possibilités :
> > - $[3^{1}1^{\leq 3}$
> > - $[3^{1}2^{\leq 3}$
> > De là, on observe que toutes les possibilités convergent vers l'un des cycles donnés :
> > ![[demo_théorème_du_début.excalidraw]]
> >
> > ![[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]]
> > Par ailleurs, si $R$ commence par $[22$ :
> > - si $R = [22]$ la preuve est trivialle
> > - sinon on considère un $R'$ tel que $R = [22 \cdot R'$, et on utilise l'argument précédent pour montrer que $R'$ arrive sur le cycle $[1^{1}X^{1} \longrightarrow [1^{3} \longrightarrow [3^{1}X^{\neq 3}$
> > [[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|schéma original de Conway p.186]]