]> AND Private Git Repository - hdrcouchot.git/blobdiff - annexePreuveGrayEquilibre.tex
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
fin relecture sylvaine
[hdrcouchot.git] / annexePreuveGrayEquilibre.tex
index 2d351e7f92767f20d4faa92a299d0ce64a4ebe8e..6d050b46c3f5a4714542684c52b28710356ae216 100644 (file)
@@ -55,7 +55,7 @@ Tout d'abord, l'entier $r$ est pair puisque $r_{\mathsf{N}}$ est un multiple de
 $ r_{\mathsf{N}}= 2^{\mathsf{N}} - q_{\mathsf{N}}.2\mathsf{N}= 2(2^{\mathsf{N}-1} - q_{\mathsf{N}}.\mathsf{N})$. 
 Ensuite,  $a_{\mathsf{N}}$ vaut $\frac{2^{\mathsf{N}}-r_{\mathsf{N}}}{\mathsf{N}}$.
 Ainsi
 $ r_{\mathsf{N}}= 2^{\mathsf{N}} - q_{\mathsf{N}}.2\mathsf{N}= 2(2^{\mathsf{N}-1} - q_{\mathsf{N}}.\mathsf{N})$. 
 Ensuite,  $a_{\mathsf{N}}$ vaut $\frac{2^{\mathsf{N}}-r_{\mathsf{N}}}{\mathsf{N}}$.
 Ainsi
-$d_{\mathsf{N}}$ vaut $r_{\mathsf{N}}/2$ est est donc un entier positif tel que  
+$d_{\mathsf{N}}$ vaut $r_{\mathsf{N}}/2$. C'est donc un entier positif tel que  
 $0 \le d_{\mathsf{N}} <\mathsf{N}$.
 La preuve pour  $c_{\mathsf{N}}$ est évidente.
 
 $0 \le d_{\mathsf{N}} <\mathsf{N}$.
 La preuve pour  $c_{\mathsf{N}}$ est évidente.