From 1f03ab4f0bd156bd9bd39ba41af098da01fbcfa6 Mon Sep 17 00:00:00 2001 From: oskar Date: Sun, 29 Mar 2026 18:31:05 +0200 Subject: [PATCH] device-56.home 2026-3-29:18:31:5 --- désintégration audioactive.md | 32 +++++++++++++++++++------------- 1 file changed, 19 insertions(+), 13 deletions(-) diff --git a/désintégration audioactive.md b/désintégration audioactive.md index 0f9227d5..2d1e31b4 100644 --- a/désintégration audioactive.md +++ b/désintégration audioactive.md @@ -119,19 +119,25 @@ header-auto-numbering: > > Explorons les valeurs possibles de $R$ en supposant que $R$ est âgée de 2 jours ou plus, et ne commence pas par $2^{2}$. > > Eliminons à chaque fois les valeurs impossibles (notamment en utilisant les théorèmes [[désintégration audioactive#^thm-jour-1|du jour 1]] et [[désintégration audioactive#^thm-jour-2|du jour 2]]) : > > - 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}$ -> > - 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 le [[désintégration audioactive#^thm-jour-1|jour 1]] -> > - right $[1^{2}1^{1} = [1^{3}$ -> > - c $[1^{2}1^{\geq2} = [1^{\geq 4}$ impossible -> > - $[1^{2}2^{1}$ -> > +> > - Si $R$ commence par $1^{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}$ +> > - 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 le [[désintégration audioactive#^thm-jour-1|jour 1]] +> > - Si $R$ commence par $1^{2}$ +> > - right $[1^{2}1^{1} = [1^{3}$ +> > - c $[1^{2}1^{\geq2} = [1^{\geq 4}$ impossible +> > - p $[1^{2}2^{1} \longleftarrow [1^{1}X^{2} \longleftarrow [X^{1}n^{X}$ +> > - p $[1^{2}2^{2} \longleftarrow [1^{1}2^{2} \longleftarrow [2^{1}X^{2}$ +> > - p $[1^{2}2^{3} \longleftarrow [1^{1}2^{2}X^{2} \longleftarrow [2^{1}X^{2}n^{X}$ +> > - c $[1^{2}2^{\geq 4}$ impossible +> > - c $[1^{2}3^{n \geq 1} \longleftarrow [1^{1}n^{3}$ impossible car $,1X,XX,$ est impossible +> > > > ![[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]]