module_systemes.mws

Informatique

Algebre linéaire

Systèmes linéaires

  1.  En Maple , la résolution d'un système linéaire n'est qu'un cas particulier de la syntaxe très générale de l'instruction de resolution d'équation(s), solve . Le package linalg  n'est même pas nécessaire ici. Consulter l' aide  pour voir comment formuler un tel système, et comment sont obtenues les solutions.
 
2.  On va effectuer nos tests sur le système (S) des quatre équations suivantes :

ì y+z+m*t = a    (1)

ø   z+t+m*x = b    (2)

ö   t+x+m*y = c    (3)

 î x+y+m*z = d    (4)

 où le paramètre m appartient à R .

     (a)  Définir (S) en Maple  (il sera pratique de le nommer).

>    S:=

     (b)  Faire résoudre (S) par Maple . Observer que la solution obtenue correspond au cas de Cramer. Identifier les valeurs du paramètre m  pour lequel le système n'est pas de Cramer. (Il pourra être utile de demander les solutions sous forme factorisée.) Confirmer ceci par le calcul et la factorisation du déterminant du système.

>   

>   

>   

     (c)  Donner à m  l'une des valeurs telles que (S) ne soit pas de Cramer. Que répond Maple  si l'on tente de résoudre (S) directement dans ce cas ? Que penser de cette réponse ?

>   

>   

     (d)  Lorsque (S) n'est pas de Cramer, c'est qu'il y a une relation entre ses premiers membres. Identifier la relation correspondant à la valeur de m  choisie. Donner à d  la valeur (fonction de a , b , c ) pour que les seconds membres vérifient aussi cette relation puis refaire la résolution de (S). Peut-on déduire de la forme des solutions le rang de (S) pour cette valeur de m  ?

>   

>   

     (e)  Recommencer pour l'autre valeur particulière de  m .

>   

>