next up previous contents index
suivant: Reste chinois pour des monter: Les entiers (et les précédent: Résolution de au+bv=c :   Table des matières   Index


Reste chinois : ichinrem, ichrem

ichinrem([a,p],[b,q]) ou ichrem([a,p],[b,q]) désigne une liste formée de deux entiers :
le premier est un nombre x vérifiant :
x=a mod p et x=b mod q et
le second est égal à lcm(p,q).
Il existe toujours une solution x si p et q sont premiers entre eux, et toutes les solutions sont alors congrues modulo p*q
Exemples :
Trouver les solutions de :

$\displaystyle \tt\left \{ \begin{array}{rl} x=&3 (\bmod 5)\\
x=&9 (\bmod 13) \end{array}\right.$

On tape :
ichinrem([3,5],[9,13])
ou on tape :
ichrem([3,5],[9,13])
On obtient :
[-17,65]
ce qui veut dire que x=-17 (mod 65)
On peut aussi taper :
ichrem(3%5,9%13)
On obtient :
-17%65
Trouver les solutions de :

$\displaystyle \tt\left \{ \begin{array}{rl} x=&3 (\bmod 5)\\
x=&4 (\bmod 7) \\
x=&1 (\bmod 9)\end{array}\right.$

On tape :
ichinrem([3,5],[4,7])
ou on tape :
ichrem([3,5],[4,7])
On obtient :
[-17,35]
puis on tape
ichinrem([1,9],[-17,35])
ou on tape :
ichrem([1,9],[-2,30])
On obtient :
[-17,315]
ce qui veut dire que x=-17 (mod 315) On peut aussi taper directement :
ichinrem([3%5,4%7,1%9])
On obtient :
-17%315
Remarque
Lorsqu'on cherche à résoudre :

$\displaystyle \tt\left \{ \begin{array}{rl} a=&3 (\bmod 5)\\
a=&4 (\bmod 7) \\
a=&1 (\bmod 9) \end{array}\right.$

et

$\displaystyle \tt\left \{ \begin{array}{rl} b=&1 (\bmod 5)\\
b=&2 (\bmod 7) \\
b=&3 (\bmod 9) \end{array}\right.$

On tape :
ichrem((3x+1)%5,(4x+2)%7,(x+3)%9)
On obtient :
(-17x+156)%315
ce qui veut dire que a=-17 (mod 315) ei que b=156 (mod 315).
next up previous contents index
suivant: Reste chinois pour des monter: Les entiers (et les précédent: Résolution de au+bv=c :   Table des matières   Index
Documentation de giac écrite par Renée De Graeve