|⫦||⫦|(n=1 → n=x: [(a(rₙ))i])=( Aₙ₌₁(r)=a(rₙ₌₁→ₙ₌ₓ);
Aₙ₊₁(r)=|a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(a(rₙ₌₁→ₙ₌ₓ))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(a(rₙ₌₁→ₙ₌ₓ))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋) ;
⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|Aₙ₌₁(r)/10|)⌋+1)⌋;
Aₙ₊₂(r)=|a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log( |a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log( |a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋) = |a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log( Aₙ₊₁(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log( |Aₙ₊₁(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋);
⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|Aₙ₊₁(r)/10|)⌋+1)⌋;
Aₙ₊₃(r)=|a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋) = | a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log( Aₙ₊₂(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₊₂(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋);
⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|Aₙ₊₂(r)/10|)⌋+1)⌋;
Aₙ₊₄(r)= |a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)| ⫲ |a(rₙ₊₂)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)| ⫲ |a(rₙ₊₂)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋) = |a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₊₃(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₊₃(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋) ;
⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|Aₙ₊₃(r)/10|)⌋+1)⌋;
Aₙ₊₅(r)=|a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)| ⫲ |a(rₙ₊₂)| ⫲ |a(rₙ₊₃)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)| ⫲ |a(rₙ₊₂)| ⫲ |a(rₙ₊₃)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)=|a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₊₄(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₊₄(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋);
⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|Aₙ₊₄(r)/10|)⌋+1)⌋;
Aₙ₊₆(r)=|a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)| ⫲ |a(rₙ₊₂)| ⫲ |a(rₙ₊₃)| ⫲ |a(rₙ₊₄)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)| ⫲ |a(rₙ₊₂)| ⫲ |a(rₙ₊₃)| ⫲ |a(rₙ₊₄)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)=|a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₊₅(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₊₅(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋);
⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|Aₙ₊₅(r)/10|)⌋+1)⌋;
Aₙ₊₇(r)=|a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log( |a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)| ⫲ |a(rₙ₊₂)| ⫲ |a(rₙ₊₃)| ⫲ |a(rₙ₊₄)| ⫲ |a(rₙ₊₅)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log( |a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)| ⫲ |a(rₙ₊₂)| ⫲ |a(rₙ₊₃)| ⫲ |a(rₙ₊₄)| ⫲ |a(rₙ₊₅)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋ )=|a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log( Aₙ₊₆(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log( Aₙ₊₆(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋ );
⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|Aₙ₊₆(r)/10|)⌋+1)⌋;
Aₙ₊₈(r)=|a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)| ⫲ |a(rₙ₊₂)| ⫲ |a(rₙ₊₃)| ⫲ |a(rₙ₊₄)| ⫲ |a(rₙ₊₅)|⫲ |a(rₙ₊₆)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ⫲ |a(rₙ₊₁)| ⫲ |a(rₙ₊₂)| ⫲ |a(rₙ₊₃)| ⫲ |a(rₙ₊₄)| ⫲ |a(rₙ₊₅)|⫲ |a(rₙ₊₆)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)=|a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₊₇(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₊₇(r))-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋ ;
⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|Aₙ₊₇(r)/10|)⌋+1)⌋; ….
Aₙ₌ₓ(r)= |a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁→ₙ₌ₓ)| ⫲ a(rₙ₌₁)| ∣∣ |a(rₙ₊₁)| ∣∣ |a(rₙ₊₂)| ∣∣ |a(rₙ₊₃)| ∣∣ |a(rₙ₊₄)| ∣∣ |a(rₙ₊₅)| ∣∣ |a(rₙ₊₆)|…|a(rₙ₌ₓ₋₂)| )-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log( |a(rₙ₌₁→ₙ₌ₓ)| ⫲ |a(rₙ₌₁)| ∣∣ |a(rₙ₊₁)| ∣∣ |a(rₙ₊₂)| ∣∣ |a(rₙ₊₃)| ∣∣ |a(rₙ₊₄)| ∣∣ |a(rₙ₊₅)| ∣∣ |a(rₙ₊₆)|…|a(rₙ₌ₓ₋₂)|)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)= |a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₌ₓ₋₁)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₌ₓ₋₁)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)=x;
⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|Aₙ₌ₓ₋₁(r)/10|)⌋+1)⌋=|a(rₙ₌ₓ)| ∣∣ |a(rₙ₌₁→ₙ₌ₓ)|;
Aₙ₌ₓ₊₁(r)= |a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁)| ∣∣ |a(rₙ₊₁)| ∣∣ |a(rₙ₊₂)| ∣∣ |a(rₙ₊₃)| ∣∣ |a(rₙ₊₄)| ∣∣ |a(rₙ₊₅)| ∣∣ |a(rₙ₊₆)|…|a(rₙ₌ₓ₋₁)| )-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(|a(rₙ₌₁)| ∣∣ |a(rₙ₊₁)| ∣∣ |a(rₙ₊₂)| ∣∣ |a(rₙ₊₃)| ∣∣ |a(rₙ₊₄)| ∣∣ |a(rₙ₊₅)| ∣∣ |a(rₙ₊₆)|…|a(rₙ₌ₓ₋₁)| )-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋) = |a(rₙ₌₁→ₙ₌ₓ)|-⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₌ₓ)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)⌋*10^(⌊log(|a(rₙ₌₁→ₙ₌ₓ)|)⌋+⌊Log(Aₙ₌ₓ)-1⌋+1-⌊Log(a(rₙ₌₁→ₙ₌ₓ))⌋)=0 ;
⌊|a(rₙ₌₁→ₙ₌ₓ)|/10^(⌊log(|Aₙ₌ₓ(r)/10|)⌋+1)⌋= |a(rₙ₌₁→ₙ₌ₓ)| ) )
Nous écrivons donc ensuite l’expression algébrique numériquement calculable de l’opération de l’ouroborosuite récurrente de déconcaténation double gauche que nous définissons tout d’abord comme suit:
Laisser un commentaire