INFO TEST 5 10 janvier 2017

                           INFO  TEST  5   du mardi 10 janvier 2017        TS      Spé maths.

   EXERCICE 

                 Candidats ayant suivi l'enseignement de spécialité.

    On pourra utiliser le résultat suivant dans la partie B:

     <<  Soit m,n,p des entiers relatifs avec m non nul.

    Si  m divise le produit np et que le plus grand commun diviseur de m et n est 1 alors m divise p   >>

        Les parties A , B  et C sont indépendantes.

     Partie A          (  diviseurs )

         1.  On pose:   a = n + 1   et  b = n    où  n un entier naturel non nul quelconque.

            a. Calculer a − b. 

                On a :      a − b = n + 1 −  n  = 1

                 Conclusion :   a − b = 1

            b. Si un entier naturel, non nul, d divise a et b alors que peut-on dire de d ?

                 Si un entier naturel, non nul, d divise a et b alors d diviserait  a − b  

                Donc d  diviserait 1.

                 Conclusion:   d serait 1

            c. Quel est donc le plus grand commun diviseur de a et b ?

               Le plus grand commun diviseur de a et b ne peut être que  d = 1.

                 Conclusion: le plus grand commun diviseur de a et b est 1

        2. Soit   A = 2 n 3  + 5 n2  + 4 n + 1    et   B = 2 n2  + n  

                  où  n un entier naturel non nul quelconque.

           a. Montrer que 2 n + 1  divise A et B.  ( On pourra poser la division de A par 2 n + 1.)

              • On a :  B = n (  2 n + 1 )

                 2 n + 1 n'est pas nul car n est un entier naturel.

                Conclusion: 2 n + 1 divise B.

               •  On peut poser la division de A par 2 n + 1.

                      Tigre1

                 Il vient   A = ( 2 n + 1 ) ( n2 + 2 n + 1 )   

                   2 n + 1 n'est pas nul car n est un entier naturel.

                   Conclusion: 2 n + 1 divise A.

           b.  n peut-il diviser A ? n divise-t-il  B ?

               n qui est un entier non nul.

               Il divise déjà  2 n3 + 5 n2 + 4 n    car   2 n3 + 5 n2 + 4 n = n (  2 n2 + 5 n + 4  )  .

               Donc il divise A ssi il divise la différence A − (  2 n3 + 5 n2 + 4 n  )

                  Or    A − (  2 n3 + 5 n2 + 4 n  ) = 1

                 Donc n  divise A quand il divise  1.

                 Conclusion: Ce n'est possible que si n = 1

           c. Donner les formes factorisées de A et B.

                On vu que :   B = n ( 2 n + 1 )

                De plus : A = ( n2 + 2 n + 1 ) ( 2 n + 1 )     Mais   n2 + 2 n × 1 + 12 = ( n + 1 )2

              Ainsi :    A = ( n + 1 )2 ( 2 n + 1 )

      Partie B     (   congruences   )

        Pour chacune des trois affirmations suivantes indiquer ( en justifiant )

        si elle est vraie ou fausse.

        Soit n un entier relatif.

       1.       n ≡ 1  [ 5 ]   ⇒    n + 47  1 + 47  [ 5 ]

              REPONSE:

                On part de :  ∃ k ∈     /     n = 1 + 5 k 

               Donc :   ∃ k ∈     /     n + 47 = 1 + 47 + 5 k  

                 ( sachant qu'on a le droit d'ajouter 47 aux deux membres d'une égalité)

             c-à-d     n + 47  1 + 47  [ 5 ]

              Conclusion: L'implication est avérée.

   ( Ainsi on voit qu'on a le droit d'ajouter un même entier relatif aux deux membres d'une congruence )

       2.       (   n ≡ 1  [ 5 ]  et  n ≡ 3  [ 4 ]   )  (  n − 11 ≡ 0  [ 5 ]   et  n − 11 ≡ 0  [ 4 ]  )

              REPONSE:

                   On part de   n ≡ 1  [ 5 ]  et  n ≡ 3  [ 4 ]

      Donc:       n − 11 ≡ 1 − 11  [ 5 ]   et    n − 11 ≡ 3  − 11  [ 4 ]  

               (  sachant qu'on peut ajouter − 11  aux deux membres des congruences )

        c-à-d           n − 11 ≡  − 10  [ 5 ]   et    n − 11 ≡  − 8  [ 4 ]  

        c-à-d            n − 11 ≡ 0  [ 5 ]   et  n − 11 ≡ 0  [ 4 ]  

             sachant que  − 10  est un multiple de 5 et  − 8  est un multiple de 4

              Conclusion: Le résultat est avéré.

       3.       (   n ≡ 1  [ 5 ]  et  n ≡ 3  [ 4 ]   ) (  ∃ k ∈     /     n = 11 + 20 k )

             REPONSE:

             On part de   n ≡ 1  [ 5 ]  et  n ≡ 3  [ 4 ]

             D'après la question précédente, cela implique que    n − 11 ≡ 0  [ 5 ]   et  n − 11 ≡ 0  [ 4 ]  

             Donc:      ∃ k ∈     /    n − 11 =  5 k    et   4 divise n − 11

           Comme 4 divise 5 k  et que le plus grand diviseur commun de 4 et 5 est 1 ,

           on a 4 qui divise k.

              Ainsi:     ∃ k ' ∈     /   k  = 4 k '

            On peut dire :   ∃ k ' ∈      /    n − 11 = 5  × 4 k '

             c-à-d       ∃ k ' ∈    /    n − 11 = 20 k '

             c-à-d      n  ≡ 11  [ 20 ]

                Conclusion : L'implication est avérée.

     Partie C        ( graphes probabilistes  )

           Un automate peut se trouver dans deux états A ou B.

          A chaque seconde, il peut, soit rester où il se trouve, soit en changer,

          avec des probabilités données par le graphe probabiliste ci-dessous.

          Pour tout entier naturel n , on note an la probabilité que l'automate se trouve

         dans l'état A après n secondes et bn la probabilité que l'automate

         se trouve dans l'état B après n secondes.

          Au départ l'automate est dans l'état B.

            Lyon45

        On considère l'algorithme suivant:

        Lyon46

     Pour chacune des deux affirmations suivantes indiquer ( en justifiant )

     si elle est vraie ou fausse.

           1. En sortie, cet algorithme affiche les valeurs de a10 et b10 .

               REPONSE :       NON

                    a prend la valeur 0,8 a + 0,3 b est faux.

                   Il faudrait mettre:   

                     a prend la valeur 0,3 a + 0,8 b

            En effet d'après le graphe probabilite donné la matrice de transition est :

                    Marseil22  

               Soit  Pn = (   an     bn )   l'état après n secondes. ( ATTENTION: Pn est une matrice ligne )  

              et       Pn + 1 = (   an + 1     bn + 1 )  

           On a donc:         Pn + 1 =   Pn M     ( ATTENTION:  Pn est à gauche de M )

                     c-à-d              

                 Marseil23

             Ainsi :     a doit prendre la valeur 0,3 a + 0,8 b   dans l'algorithme.

                          Ce qui n'est pas le cas.

         2. Après 4 secondes, l'automate a autant de chances d'être dans

               l'état A que d'être dans l'état B.

             REPONSE:     Il faut regarder si a4 = b4   = 0,5

              sans tenir compte de l'algorithme proposé puisqu'il est faux

          On sait :

             ( a4   b4  )  = ( a0     b0   )  M4  

            Ici    a0   = 0      b0  = 1

            On a : 

                               Toulon21

             Conclusion: OUI

                                         ----------------------------------------