X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/d4e1bfa4290a182013268daf63d78c1f4fce5b55..ab1271f8b9509a86f3434c2389be47fe3a1c4d04:/annexePreuveGrayEquilibre.tex?ds=inline diff --git a/annexePreuveGrayEquilibre.tex b/annexePreuveGrayEquilibre.tex index 2d351e7..6d050b4 100644 --- a/annexePreuveGrayEquilibre.tex +++ b/annexePreuveGrayEquilibre.tex @@ -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 -$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.